Dr David Lester - publications

2011

• Dominic Richards and David Lester. A monadic approach to automated reasoning for Bluespec SystemVerilog. Innovations in Systems and Software Engineering. 2011 March; 7(2): 85-89. eScholarID:138761 | DOI:10.1007/s11334-011-0149-0
• Concurrent heterogeneous neural model simulation on real-time neuromimetic hardware. Alexander Rast, Francesco Galluppi, Sergio Davies, Luis Plana, Cameron Patterson, Thomas Sharp, David Lester, Steve Furber. Neural Networks - Multi-Scale, Multi-Modal Neural Modeling and Simulation. 2011 November; 24(9): 961-978. eScholarID:138768 | DOI:10.1016/j.neunet.2011.06.014
• Andrew Webb, Sergio Davies and David Lester. Spiking Neural PID Controllers. Lecture Notes in Computer Science, 2011, Volume 7064/2011. Berlin / Heidelberg: Springer: 2011: 259-267. eScholarID:138757 | DOI:10.1007/978-3-642-24965-5_28

2010

• Sergio Davies, Cameron Patterson, Francesco Galluppi, Alexander D. Rast, David Lester, and Steve B. Furber. Interfacing Real-Time Spiking I/O with the SpiNNaker neuromimetic architecture. Proceedings 17th International Conference, ICONIP 2010. Australia: 2010: 7-11. eScholarID:106361
• D.Richards ; D. Lester. A Prototype Embedding of Bluespec SystemVerilog in the PVS Theorem Prover. Proceedings of the Second NASA Formal Methods Symposium (NFM 2010), NASA/CP-2010-216215. 2010: -. eScholarID:106367
• Andrew Brown, Steve Furber, Jeff Reeve, Peter Wilson, Mark Zwolinski, John Chad, Luis Plana, David Lester. A communication infrastructure for a million processor machine. Proc. of the ACM International Conference on Computing Frontiers. New York: ACM: 2010: 75-76. eScholarID:106358 | DOI:10.1145/1787275.1787290
• Marc Daumas, David Lester, Érik Martin-Dorel and Annick Truffert. Improved bound for stochastic formal correctness of numerical algorithms. Innovations in Systems and Software Engineering. 2010; 6 / 2010(3): 173-179. eScholarID:106392 | DOI:10.1007/s11334-010-0128-x

2009

• Mohammed Abutheraa, David Lester1. High-Accuracy Machine-Efficient Chebyshev Approximation: an Application to Spectral Methods for Sobolev Spaces. Communications to SIMAI Congress. 2009; 3: 225-236. eScholarID:106489 | DOI:10.1685/CSC09225
• Andrew Brown, David Lester, Luis Plana, Steve Furber and Peter Wilson. SpiNNaker: The Design Automation Problem. Lecture Notes in Computer Science, 2009, Volume 5507/2009, 1049-1056. Berlin / Heidelberg: Springer Berlin / Heidelberg: 2009: 1049-1056. eScholarID:106365 | DOI: 10.1007/978-3-642-03040-6_127
• D.Lester; M.Daumas; E. Martin-Dorel; A.Truffert. Stochastic formal correctness of numerical algorithms. First NASA Formal Methods Symposium (NFM09), p136{145, April 2009.: 2009: 136-145. eScholarID:106375
• Daumas M, Lester D, Muñoz C. Verified Real Number Calculations: A Library for Interval Arithmetic. IEEE Trans. Computers. 2009; 58(2): 226-237. eScholarID:1h364 | DOI:10.1109/TC.2008.213

2008

• Mohammed A. Abutheraa and David Lester. Exact numeric solutions of non-linear PDEs: an application of machine efficient Chebyshev methods. 2008: -. eScholarID:106566
• Mohammed A. Abutheraa and David Lester. Machine-Efficient Chebyshev Approximation for Standard Statistical Distribution Functions. 2008: 9-10. eScholarID:106579
• Khan, M M, D R Lester, L A Plana, A Rast, X Jin, E Painkras, S B Furber, and Ieee Ieee. SpiNNaker: Mapping Neural Networks onto a Massively-Parallel Chip Multiprocessor. International Joint Conference on Neural Networks. Ieee: 2008: 2849-2856. eScholarID:2f58
• Lester, D R. Real number calculations and theorem proving - Validation and use of an exact arithmetic. 21st International Conference on Theorem Proving in Higher Order Logics. Springer-Verlag Berlin: 2008: 215-229. eScholarID:2f47
• Lester, David R. Real Number Calculations and Theorem Proving. TPHOLs. Springer: 2008: 215-229. eScholarID:2h788 | DOI:10.1007/978-3-540-71067-7_19

2007

• David R Lester. Topology in PVS: continuous mathematics with applications. Proc. AFM '07 the second workshop on Automated formal methods. New York: ACM: 2007: 11-20. eScholarID:106417 | DOI:10.1145/1345169.1345171
• Abutheraa, M A, and D Lester. Computable Function Representations Using Effective Chebyshev Polynomial. Conference of the World-Academy-of-Science-Engineering-and-Technology. World Acad Sci, Eng & Tech-Waset: 2007: 103-109. eScholarID:2f201
• Daumas, Marc, and David Lester. Stochastic Formal Methods: An Application to Accuracy of Numeric Software. HICSS. IEEE Computer Society: 2007: 262. eScholarID:2h777
• Daumas M, Lester D, Muñoz C. Verified Real Number Calculations: A Library for Interval Arithmetic. CoRR. 2007; abs/0708.3721: eScholarID:1h365

2006

• Jeremy Gibbons; David Lester; Richard Bird. Enumerating the Rationals. Journal of Functional Programming. 2006 March; 16(3): 281-291. eScholarID:106447 | DOI:10.1017/S0956796806005880
• Daumas M, Lester D. Stochastic Formal Methods: An application to accuracy of numeric software. CoRR. 2006; abs/cs/0606101: eScholarID:1h366
• Gibbons J, Lester D, Bird R. Functional Pearl: Enumerating the rationals. J. Funct. Program. 2006; 16(3): 281-291. eScholarID:1h368 | DOI:10.1017/S0956796806005880

2005

• Muñoz, César, and David Lester. Real Number Calculations and Theorem Proving. TPHOLs. Springer: 2005: 195-210. eScholarID:2h778 | DOI:10.1007/11541868_13

2003

• Lester, David. Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic. Numerical Software with Result Verification. Springer: 2003: 259-273. eScholarID:2h779
• Lester D, Gowland P. Using PVS to validate the algorithms of an exact arithmetic. Theor. Comput. Sci. 2003; 291(2): 203-218. eScholarID:1h369

2002

• Lester D, Chambers S, Lu H. A constructive algorithm for finding the exact roots of polynomials with computable real coefficients. Theor. Comput. Sci. 2002; 279(1-2): 51-64. eScholarID:1h370 | DOI:10.1016/S0304-3975(00)00426-6

2001

• LESTER DR. Effective Continued Fractions. Proceedings 15th IEEE Symposium on Computer Arithmetic. 2001: 8. eScholarID:2a791 | DOI:10.1109/ARITH.2001.930116

1995

• Lester D. Exact Statistics and Continued Fractions. J. UCS. 1995; 1(7): 504-513. eScholarID:1h371
• Lester, David, and Sava Mintchev. Inducing Students to Induct. FPLE. Springer: 1995: 159-177. eScholarID:2h782
• Mintchev, Sava, and David Lester. The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving. HOA. Springer: 1995: 144-162. eScholarID:2h783

1994

• Lester, David, and Sava Mintchev. Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages. CSL. Springer: 1994: 369-381. eScholarID:2h784 | DOI:10.1007/BFb0022269

1993

• Lester D, Burn G. An Executable Specification of the HDG-Machine. International Journal of High Speed Computing. 1993; 5(3): 327-378. eScholarID:1h373 | DOI:10.1142/S0129053393000153

1991

• Jones S, Lester D. A Modular Fully-lazy Lambda Lifter in HASKELL. Softw., Pract. Exper. 1991; 21(5): 479-506. eScholarID:1h372
• Kingdon H, Lester D, Burn G. The HDG-Machine: A Highly Distributed Graph-Reducer for a Transputer Network. Comput. J. 1991; 34(4): 290-301. eScholarID:1h374
• Lester, David R. Vuillemin's Exact Real Arithmetic. Functional Programming. Springer: 1991: 225-238. eScholarID:2h789

1989

• Lester, David R. An Efficient Distributed Collection Algorithm. PARLE (1). Springer: 1989: 207-223. eScholarID:2h791
• Lester, David R. Stacklessness: Compiling Recursion for a Distributed Architecture. FPCA. 1989: 116-128. eScholarID:2h790

1987

• Lester, David. The G-machine as a representation of stack semantics. FPCA. Springer: 1987: 46-59. eScholarID:2h785