Publication
Programming languages & software engineering
Building programming languages, tools, and software engineering techniques that make software more reliable, secure, and productive.
Outil
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…
Publication
On the Race of Worms, Alerts and Patches
Publication
Coupon Replication Systems
Publication