David R. Lester

The University of Manchester

	2012
j12		David R. Lester: The world's shortest correct exact real arithmetic program? Inf. Comput. 216: 39-46 (2012)
	2011
j11		Dominic Richards, David R. Lester: A monadic approach to automated reasoning for Bluespec SystemVerilog. ISSE 7(2): 85-95 (2011)
j10		Alexander D. Rast, Francesco Galluppi, Sergio Davies, Luis A. 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)
c21		Andrew Webb, Sergio Davies, David R. Lester: Spiking Neural PID Controllers. ICONIP (3) 2011: 259-267
c20		David R. Lester, Steve Furber: SpiNNaker: Distributed Computer Engineering for Neuromorphics. WIRN 2011: 324-331
	2010
j9		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)
c19		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
c18		Dominic Richards, David R. Lester: A Prototype Embedding of Bluespec SystemVerilog in the PVS Theorem Prover. NASA Formal Methods 2010: 139-148
c17		Mohammed A. Abutheraa, David R. Lester: Machine-efficient Chebyshev approximation for exact arithmetic: their use with first-order ordinary differential equations. SpringSim 2010: 84
	2009
j8		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)
c16		Marc Daumas, Érik Martin-Dorel, David R. Lester, Annick Truffert: Stochastic Formal Methods for Hybrid Systems. NASA Formal Methods 2009: 136-145
	2008
c15		Andrew D. Brown, David R. Lester, Luis A. Plana, Steve Furber, Peter R. Wilson: SpiNNaker: The Design Automation Problem. ICONIP (2) 2008: 1049-1056
c14		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
c13		David R. Lester: Real Number Calculations and Theorem Proving. TPHOLs 2008: 215-229
	2007
c12		Marc Daumas, David R. Lester: Stochastic Formal Methods: An Application to Accuracy of Numeric Software. HICSS 2007: 262
i3		Marc Daumas, David R. Lester, César Muñoz: Verified Real Number Calculations: A Library for Interval Arithmetic. CoRR abs/0708.3721 (2007)
	2006
j7		Jeremy Gibbons, David R. Lester, Richard S. Bird: Functional Pearl: Enumerating the rationals. J. Funct. Program. 16(3): 281-291 (2006)
i2		Marc Daumas, David R. Lester: Stochastic Formal Methods: An application to accuracy of numeric software. CoRR abs/cs/0606101 (2006)
i1		Marc Daumas, David R. Lester: Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors. CoRR abs/cs/0610110 (2006)
	2005
c11		César Muñoz, David R. Lester: Real Number Calculations and Theorem Proving. TPHOLs 2005: 195-210
	2003
j6		David R. Lester, Paul Gowland: Using PVS to validate the algorithms of an exact arithmetic. Theor. Comput. Sci. 291(2): 203-218 (2003)
c10		David R. Lester: Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic. Numerical Software with Result Verification 2003: 259-273
	2002
j5		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
c9		David R. Lester: Effective Continued Fractions. IEEE Symposium on Computer Arithmetic 2001: 163-
	2000
c8		Paul Gowland, David R. Lester: A Survey of Exact Arithmetic Implementations. CCA 2000: 30-47
	1995
j4		David R. Lester: Exact Statistics and Continued Fractions. J. UCS 1(7): 504-513 (1995)
c7		David R. Lester, Sava Mintchev: Inducing Students to Induct. FPLE 1995: 159-177
c6		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
	1994
c5		David R. Lester, Sava Mintchev: Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages. CSL 1994: 369-381
	1993
j3		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
j2		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)
j1		Simon L. Peyton Jones, David R. Lester: A Modular Fully-lazy Lambda Lifter in HASKELL. Softw., Pract. Exper. 21(5): 479-506 (1991)
c4		David R. Lester: Vuillemin's Exact Real Arithmetic. Functional Programming 1991: 225-238
	1989
c3		David R. Lester: Stacklessness: Compiling Recursion for a Distributed Architecture. FPCA 1989: 116-128
c2		David R. Lester: An Efficient Distributed Collection Algorithm. PARLE (1) 1989: 207-223
	1987
c1		David R. Lester: The G-machine as a representation of stack semantics. FPCA 1987: 46-59

Coauthor Index

Colors in the list of coauthors

Last update Thu May 23 00:47:54 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page