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