Ben Simner

Look, I can website, too!

Computer Scientist at the University of Cambridge, UK. Researching tools and techniques for testing low-level software, architectural multiprocessor semantics, and verification of concurrent programs, as part of the REMS project.

Keywords: Programming Languages & Semantics ∙ Computer Architecture ∙ Systems ∙ Concurrency ∙ Testing ∙ Verification

Publications

See publications for other publications, a complete BibTeX compatible bibliography, and copies of presentations.