Research
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
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…
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…
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…
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…
