My Papers
From SarahWiki
Contents |
2008
G. Brat and S. Thompson, Verification of C++ Flight Software with the MCP Model Checker, IEEE Aerospace Conference, Big Sky, March 2008, To Appear
2007
S. Thompson, Self-Healing Approaches for FPGAs and Wiring Manifolds, 1st Air Force Research Laboratory Reconfigurable Systems Workshop, Albuquerque, February 2007 (Restricted pending security clearance for publication)
2006
S. Thompson and A. Mycroft, Abstract Interpretation of Combinational Asynchronous Circuits (Extended Version), Science of Computer Programming (2006), doi:10.1016/j.scico.2006.03.007, Elsevier Science [Final Draft]
S. Thompson and A. Mycroft, Self-Healing Reconfigurable Manifolds, In Proc. DCC'06, Vienna, March 2006 [Abstract][Full Text] (An extended version of the paper appears as Chapter 6 of my PhD thesis)
S. Thompson and A. Mycroft, Bit-Level Partial Evaluation of Synchronous Circuits, In Proc. ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM '06) Charleston, South Carolina, January 9-10, 2006 [Full Text]
2005
S. Thompson and A. Mycroft, G. Brat and A. Venet, Automatic In-Flight Repair of FPGA Cosmic Ray Damage, Proc. 1st Disruption in Space Symposium, Marseille, July, 2005 [Full Text]
S. Thompson and A. Mycroft, Abstract Interpretation in Space: SET Immunity of Majority Voting Logic, Proc. APPSEM II Workshop, Frauenchiemsee, Germany, September 2005 [Full Text]
2004
S. Thompson and A. Mycroft, Sliding Window Logic Simulation, 15th UK Asynchronous Forum, Cambridge, January, 2004 [Extended Abstract]
S. Thompson and A. Mycroft, Statically Analysing the Dynamic Behaviour of Asynchronous Circuits by Abstract Interpretation, PREP 2004, Hatfield, UK, 2004 † [Extended Abstract]
S. Thompson and A. Mycroft, Abstract Interpretation of Combinational Asynchronous Circuits, In Proc. 11th International Symposium on Static Analysis (SAS 2004), R. Giacobazzi, ed., LNCS 3148, Springer Verlag, August, 2004 [Proceedings][Preprint of Extended Journal Version]
Theses
S. Thompson, Hardware Compilation as an Alternative Computation Architecture, M.Sc Thesis, University of Teesside, August 1991
S. Thompson, On the Application of Program Analysis and Transformation to High Reliability Electronics, Ph.D Thesis, St Edmund's College, University of Cambridge, April 2006 [Final Draft][Tech Report]
Manuscripts
S. Thompson, A Non-Clausal QBF Solver for Hardware Verification, Manuscript [Abstract]
Co-Authors
- Alan Mycroft, Computer Laboratory, University of Cambridge
- Guillaume Brat, Robust Software Engineering Group, Intelligent Systems Division, NASA Ames
- Arnaud Venet, Kestrel Technology
- Karl Schimpf, Google Inc.
Notes
† Winner of best paper prize
