Programming languages and software engineering
Publication
Modular Verification of Static Class Invariants
Video
Accomplishing Successful Software Engineering Research in Universities
The panel from the 2005 Microsoft Research Faculty Summit provides a forum for discussion on the challenges of conducting research in the area of software engineering. Discussions include successful research techniques within the university environment…
Publication
Embedded Interpreters
Publication
Play to Test
Publication
Deciding Validity in a Spatial Logic for Trees
Tool
SXM: C# Software Transactional Memory
Software Transactional Memory (STM) is an API for multithreaded computation in which shared data is synchronized without using locks. Threads synchronize by means of memory transactions, short-lived computations that either commit (take effect) or abort…
Video
A Framework for Runtime Verification of Concurrent Programs
This talk is about the VYRD project, a verification framework for concurrent programs that combines ideas from model checking and testing. In Norse mythology, the three Vyrd sisters weave together the threads of fate. In…
Tool
SharpSAT Managed Code Benchmark
SharpSATbench is a CLI managed-code benchmark based on a clause-based satisfiability solver where the logic formula is written in Conjunctive Normal Form. SharpSATbench is compute-intensive, requiring a moderate-sized heap. There are 10,900 lines of code…