David R. Lester

The University of Manchester

	2011
33		Andrew Webb, Sergio Davies, David R. Lester: Spiking Neural PID Controllers. ICONIP (3) 2011: 259-267
32		David R. Lester, Steve Furber: SpiNNaker: Distributed Computer Engineering for Neuromorphics. WIRN 2011: 324-331
31		Dominic Richards, David R. Lester: A monadic approach to automated reasoning for Bluespec SystemVerilog. ISSE 7(2): 85-95 (2011)
30		Alexander D. Rast, Francesco Galluppi, Sergio Davies, Luis Plana, Cameron Patterson, Thomas Sharp, David R. Lester, Steve Furber: Concurrent heterogeneous neural model simulation on real-time neuromimetic hardware. Neural Networks 24(9): 961-978 (2011)
	2010
29		Andrew D. Brown, Steve Furber, Jeff S. Reeve, Peter R. Wilson, Mark Zwolinski, John E. Chad, Luis A. Plana, David R. Lester: A communication infrastructure for a million processor machine. Conf. Computing Frontiers 2010: 75-76
28		Mohammed A. Abutheraa, David R. Lester: Machine-efficient Chebyshev approximation for exact arithmetic: their use with first-order ordinary differential equations. SpringSim 2010: 84
27		Marc Daumas, David R. Lester, Érik Martin-Dorel, Annick Truffert: Improved bound for stochastic formal correctness of numerical algorithms. ISSE 6(3): 173-179 (2010)
	2009
26		Marc Daumas, David R. Lester, César Muñoz: Verified Real Number Calculations: A Library for Interval Arithmetic. IEEE Trans. Computers 58(2): 226-237 (2009)
	2008
25		Andrew D. Brown, David R. Lester, Luis A. Plana, Steve Furber, Peter R. Wilson: SpiNNaker: The Design Automation Problem. ICONIP (2) 2008: 1049-1056
24		Muhammad Mukaram Khan, David R. Lester, Luis A. Plana, Alexander D. Rast, Xin Jin, Eustace Painkras, Stephen B. Furber: SpiNNaker: Mapping neural networks onto a massively-parallel chip multiprocessor. IJCNN 2008: 2849-2856
23		David R. Lester: Real Number Calculations and Theorem Proving. TPHOLs 2008: 215-229
	2007
22		Marc Daumas, David R. Lester: Stochastic Formal Methods: An Application to Accuracy of Numeric Software. HICSS 2007: 262
21		Marc Daumas, David R. Lester, César Muñoz: Verified Real Number Calculations: A Library for Interval Arithmetic CoRR abs/0708.3721: (2007)
	2006
20		Marc Daumas, David R. Lester: Stochastic Formal Methods: An application to accuracy of numeric software CoRR abs/cs/0606101: (2006)
19		Marc Daumas, David R. Lester: Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors CoRR abs/cs/0610110: (2006)
18		Jeremy Gibbons, David R. Lester, Richard S. Bird: Functional Pearl: Enumerating the rationals. J. Funct. Program. 16(3): 281-291 (2006)
	2005
17		César Muñoz, David R. Lester: Real Number Calculations and Theorem Proving. TPHOLs 2005: 195-210
	2003
16		David R. Lester: Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic. Numerical Software with Result Verification 2003: 259-273
15		David R. Lester, Paul Gowland: Using PVS to validate the algorithms of an exact arithmetic. Theor. Comput. Sci. 291(2): 203-218 (2003)
	2002
14		David R. Lester, Scott Chambers, Heoi Lee Lu: A constructive algorithm for finding the exact roots of polynomials with computable real coefficients. Theor. Comput. Sci. 279(1-2): 51-64 (2002)
	2001
13		David R. Lester: Effective Continued Fractions. IEEE Symposium on Computer Arithmetic 2001: 163-
	2000
12		Paul Gowland, David R. Lester: A Survey of Exact Arithmetic Implementations. CCA 2000: 30-47
	1995
11		David R. Lester, Sava Mintchev: Inducing Students to Induct. FPLE 1995: 159-177
10		Sava Mintchev, David R. Lester: The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving. HOA 1995: 144-162
9		David R. Lester: Exact Statistics and Continued Fractions. J. UCS 1(7): 504-513 (1995)
	1994
8		David R. Lester, Sava Mintchev: Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages. CSL 1994: 369-381
	1993
7		David R. Lester, Geoffrey L. Burn: An Executable Specification of the HDG-Machine. International Journal of High Speed Computing 5(3): 327-378 (1993)
	1991
6		David R. Lester: Vuillemin's Exact Real Arithmetic. Functional Programming 1991: 225-238
5		Hugh Kingdon, David R. Lester, Geoffrey L. Burn: The HDG-Machine: A Highly Distributed Graph-Reducer for a Transputer Network. Comput. J. 34(4): 290-301 (1991)
4		Simon L. Peyton Jones, David R. Lester: A Modular Fully-lazy Lambda Lifter in HASKELL. Softw., Pract. Exper. 21(5): 479-506 (1991)
	1989
3		David R. Lester: Stacklessness: Compiling Recursion for a Distributed Architecture. FPCA 1989: 116-128
2		David R. Lester: An Efficient Distributed Collection Algorithm. PARLE (1) 1989: 207-223
	1987
1		David R. Lester: The G-machine as a representation of stack semantics. FPCA 1987: 46-59

Coauthor Index

1	Mohammed A. Abutheraa	[28]
2	Richard S. Bird	[18]
3	Andrew D. Brown	[25] [29]
4	Geoffrey L. Burn	[5] [7]
5	John E. Chad	[29]
6	Scott Chambers	[14]
7	Marc Daumas	[19] [20] [21] [22] [26] [27]
8	Sergio Davies	[30] [33]
9	Stephen B. Furber (Steve Furber)	[24] [25] [29] [30] [32]
10	Francesco Galluppi	[30]
11	Jeremy Gibbons	[18]
12	Paul Gowland	[12] [15]
13	Xin Jin	[24]
14	Simon L. Peyton Jones	[4]
15	Muhammad Mukaram Khan	[24]
16	Hugh Kingdon	[5]
17	Heoi Lee Lu	[14]
18	Érik Martin-Dorel	[27]
19	Sava Mintchev	[8] [10] [11]
20	César Muñoz	[17] [21] [26]
21	Eustace Painkras	[24]
22	Cameron Patterson	[30]
23	Luis Plana	[30]
24	Luis A. Plana	[24] [25] [29]
25	Alexander D. Rast	[24] [30]
26	Jeff S. Reeve	[29]
27	Dominic Richards	[31]
28	Thomas Sharp	[30]
29	Annick Truffert	[27]
30	Andrew Webb	[33]
31	Peter R. Wilson	[25] [29]
32	Mark Zwolinski	[29]

Colors in the list of coauthors

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page