My Papers
From SarahWiki
Contents |
In Review
S. Thompson, M. D. Davies and K Gundy-Burlet, Compositional Verification for Discovering Failures in Adaptive Flight Control Systems, Submitted to AIAA Infotech 2010
2009
B. Glass, S. Thompson, S. Hanagud, S. Statham, J. Cohen and P. Lee, Planetary Drill Prototype Testing at an Impact Structure Palaeo-Hydrothermal Site, in Lunar and Planetary Institute Science Conference Abstracts, Vol. 40, pp. 2197, March 2009
2008
G. Brat and S. Thompson, Verification of C++ Flight Software with the MCP Model Checker, IEEE Aerospace Conference, Big Sky, March 2008
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)
S. Thompson and A. Mycroft, Dynamic Testing and Automatic Repair of Reconfigurable Wiring Harnesses, Final rept. 29 Nov 2005-29 Jan 07, Accession Number ADA463036, Defense Technical Information Center
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.
- Brian Glass, NASA Ames
- Misty D. Davies, NASA Ames
- Karen Gundy-Burlet, NASA Ames
- Pascal Lee, Mars Institute
- Shannon Statham, Georgia Tech
- Joanna Cohen, Honeybee Robotics Inc.
Notes
† Winner of best paper prize
