Programming languages and software engineering
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…
Video
F#: Putting the Fun into Functional Programming
Microsoft researchers discuss F# and the many usage sceniaros made available from the application. F# brings safe, succinct, efficient and expressive functional programming language on the .NET platform. It is a simple and pragmatic language,…
Publication
Multiplexing of Partially Ordered Events
Publication