David R. Lester

Publication Activity (10 Years)

Years Active: 1987-2018
Publications (10 Years): 8

Top Topics

Execution Engine

Garbage Collection

Computational Neuroscience

Top Venues

Frontiers Neuroinformatics

Publications

Mantas Mikaitis, David R. Lester, Delong Shang, Steve B. Furber, Gengting Liu, Jim D. Garside, Stefan Scholze, Sebastian Höppner, Andreas Dixius
Approximate Fixed-Point Elementary Function Accelerator for the SpiNNaker-2 Neuromorphic Chip. ARITH (2018)
Inga Blundell, Romain Brette, Thomas A. Cleland, Thomas G. Close, Daniel Coca, Andrew P. Davison, Sandra Diaz-Pier, Carlos Fernandez Musoles, Padraig Gleeson, Dan F. M. Goodman, Michael L. Hines, Michael W. Hopkins, Pramod S. Kumbhar, David R. Lester, Bóris Marin, Abigail Morrison, Eric Müller, Thomas Nowotny, Alexander Peyser, Dimitri Plotnikov, Paul Richmond, Andrew Rowley, Bernhard Rumpe, Marcel Stimberg, Alan B. Stokes, Adam R. Tomkins, Guido Trensch, Michael Marmaduke Woodman, Jochen Martin Eppler
Code Generation in Computational Neuroscience: A Review of Tools and Techniques. Frontiers Neuroinformatics 12 (2018)
Andrew G. D. Rowley, Christian Y. A. Brenninkmeijer, Simon Davidson, Donal Fellows, Andrew Gait, David R. Lester, Luis A. Plana, Oliver Rhodes, Alan B. Stokes, Steve B. Furber
SpiNNTools: The Execution Engine for the SpiNNaker Platform. CoRR (2018)
Sebastian Höppner, Yexin Yan, Bernhard Vogginger, Andreas Dixius, Johannes Partzsch, Felix Neumärker, Stephan Hartmann, Stefan Schiefer, Stefan Scholze, Georg Ellguth, Love Cederstroem, Matthias Eberlein, Christian Mayr, Steve Temple, Luis A. Plana, Jim D. Garside, Simon Davidson, David R. Lester, Steve B. Furber
Dynamic voltage and frequency scaling for neuromorphic many-core systems. ISCAS (2017)
Sebastian Höppner, Yexin Yan, Bernhard Vogginger, Andreas Dixius, Johannes Partzsch, Prateek Joshi, Felix Neumärker, Stephan Hartmann, Stefan Schiefer, Stefan Scholze, Georg Ellguth, Love Cederstroem, Matthias Eberlein, Christian Mayr, Steve Temple, Luis A. Plana, Jim D. Garside, Simon Davidson, David R. Lester, Steve B. Furber
Live demonstration: Dynamic voltage and frequency scaling for neuromorphic many-core systems. ISCAS (2017)
Mantas Mikaitis, David R. Lester
Brewing the first ever automatic memory management utility for SpiNNaker: Real-time garbage collection for STDP simulations. IJCNN (2017)
Johannes Partzsch, Sebastian Höppner, Matthias Eberlein, René Schüffny, Christian Mayr, David R. Lester, Steve B. Furber
A fixed point exponential function accelerator for a neuromorphic many-core system. ISCAS (2017)
Alexander D. Rast, Alan B. Stokes, Sergio Davies, Samantha V. Adams, Himanshu Akolkar, David R. Lester, Chiara Bartolozzi, Angelo Cangelosi, Steve B. Furber
Transport-Independent Protocols for Universal AER Communications. ICONIP (4) (2015)
Alexander D. Rast, Johannes Partzsch, Christian Mayr, Johannes Schemmel, Stefan Hartmann, Luis A. Plana, Steve Temple, David R. Lester, René Schüffny, Steve B. Furber
A location-independent direct link neuromorphic interface. IJCNN (2013)
Steve B. Furber, David R. Lester, Luis A. Plana, Jim D. Garside, Eustace Painkras, Steve Temple, Andrew D. Brown
Overview of the SpiNNaker System Architecture. IEEE Trans. Computers 62 (12) (2013)
Javier Navaridas, Steve B. Furber, Jim D. Garside, Xin Jin, Mukaram M. Khan, David R. Lester, Mikel Luján, José Miguel-Alonso, Eustace Painkras, Cameron Patterson, Luis A. Plana, Alexander D. Rast, Dominic Richards, Yebin Shi, Steve Temple, Jian Wu, Shufan Yang
SpiNNaker: Fault tolerance in a power- and area- constrained large-scale neuromimetic architecture. Parallel Comput. 39 (11) (2013)
Eustace Painkras, Luis A. Plana, Jim D. Garside, Steve Temple, Francesco Galluppi, Cameron Patterson, David R. Lester, Andrew D. Brown, Steve B. Furber
SpiNNaker: A 1-W 18-Core System-on-Chip for Massively-Parallel Neural Network Simulation. IEEE J. Solid State Circuits 48 (8) (2013)
David R. Lester
The world's shortest correct exact real arithmetic program? Inf. Comput. 216 (2012)
David R. Lester, Steve B. Furber
SpiNNaker: Distributed Computer Engineering for Neuromorphics. WIRN (2011)
Alexander D. Rast, Francesco Galluppi, Sergio Davies, Luis A. Plana, Cameron Patterson, Thomas Sharp, David R. Lester, Steve B. Furber
Concurrent heterogeneous neural model simulation on real-time neuromimetic hardware. Neural Networks 24 (9) (2011)
Dominic Richards, David R. Lester
A monadic approach to automated reasoning for Bluespec SystemVerilog. Innov. Syst. Softw. Eng. 7 (2) (2011)
Andrew D. Brown, Jeffrey S. Reeve, Stephen B. Furber, David R. Lester
Processing with a million cores. PARCO (2011)
Andrew M. Webb, Sergio Davies, David R. Lester
Spiking Neural PID Controllers. ICONIP (3) (2011)
Andrew D. Brown, Steve B. 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)
Mohammed A. Abutheraa, David R. Lester
Machine-efficient Chebyshev approximation for exact arithmetic: their use with first-order ordinary differential equations. SpringSim (2010)
Dominic Richards, David R. Lester
A Prototype Embedding of Bluespec SystemVerilog in the PVS Theorem Prover. NASA Formal Methods (2010)
Marc Daumas, David R. Lester, Érik Martin-Dorel, Annick Truffert
Improved bound for stochastic formal correctness of numerical algorithms. Innov. Syst. Softw. Eng. 6 (3) (2010)
Sergio Davies, Cameron Patterson, Francesco Galluppi, Alexander D. Rast, David R. Lester, Steve B. Furber
Interfacing Real-Time Spiking I/O with the SpiNNaker Neuromimetic Architecture. Aust. J. Intell. Inf. Process. Syst. 11 (1) (2010)
Marc Daumas, David R. Lester, César A. Muñoz
Verified Real Number Calculations: A Library for Interval Arithmetic. IEEE Trans. Computers 58 (2) (2009)
Marc Daumas, Érik Martin-Dorel, David R. Lester, Annick Truffert
Stochastic Formal Methods for Hybrid Systems. NASA Formal Methods (2009)
Andrew D. Brown, David R. Lester, Luis A. Plana, Steve B. Furber, Peter R. Wilson
SpiNNaker: The Design Automation Problem. ICONIP (2) (2008)
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)
David R. Lester
Real Number Calculations and Theorem Proving. TPHOLs (2008)
Marc Daumas, David R. Lester, César A. Muñoz
Verified Real Number Calculations: A Library for Interval Arithmetic CoRR (2007)
Marc Daumas, David R. Lester
Stochastic Formal Methods: An Application to Accuracy of Numeric Software. HICSS (2007)
Jeremy Gibbons, David R. Lester, Richard S. Bird
Functional Pearl: Enumerating the rationals. J. Funct. Program. 16 (3) (2006)
Marc Daumas, David R. Lester
Stochastic Formal Methods: An application to accuracy of numeric software CoRR (2006)
Marc Daumas, David R. Lester
Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors CoRR (2006)
César A. Muñoz, David R. Lester
Real Number Calculations and Theorem Proving. TPHOLs (2005)
David R. Lester
Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic. Numerical Software with Result Verification (2003)
David R. Lester, Paul Gowland
Using PVS to validate the algorithms of an exact arithmetic. Theor. Comput. Sci. 291 (2) (2003)
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) (2002)
David R. Lester
Effective Continued Fractions. IEEE Symposium on Computer Arithmetic (2001)
Paul Gowland, David R. Lester
A Survey of Exact Arithmetic Implementations. CCA (2000)
David R. Lester, Sava Mintchev
Inducing Students to Induct. FPLE (1995)
David R. Lester
Exact Statistics and Continued Fractions. J. Univers. Comput. Sci. 1 (7) (1995)
Sava Mintchev, David R. Lester
The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving. HOA (1995)
David R. Lester, Sava Mintchev
Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages. CSL (1994)
David R. Lester
Distributed Garbage Collection of Cyclic Structures. Functional Programming (1993)
David R. Lester, Geoffrey L. Burn
An Executable Specification of the HDG-Machine. Int. J. High Speed Comput. 5 (3) (1993)
Simon L. Peyton Jones, David R. Lester
A Modular Fully-lazy Lambda Lifter in HASKELL. Softw. Pract. Exp. 21 (5) (1991)
David R. Lester
Vuillemin's Exact Real Arithmetic. Functional Programming (1991)
Hugh Kingdon, David R. Lester, Geoffrey L. Burn
The HDG-Machine: A Highly Distributed Graph-Reducer for a Transputer Network. Comput. J. 34 (4) (1991)
David R. Lester
Stacklessness: Compiling Recursion for a Distributed Architecture. FPCA (1989)
David R. Lester
An Efficient Distributed Collection Algorithm. PARLE (1) (1989)
David R. Lester
The G-machine as a representation of stack semantics. FPCA (1987)