Java concurrency
David Gay, Intel Research Berkeley with Phil Levis, Vlado Handziski, Jonathan Hui, Jan-Hinrich Hauer, Ben Greenstein, Martin Turon, Kevin Klues, Cory Sharp,
Indic threads pune12-typesafe stack software development on the jvm
The Java Content Repository
Concurrency patterns
Rustv2
Effective Static Deadlock Detection Mayur Naik, Chang-Seo Park, Koushik Sen and David Gay ICSE’09 Presented by Alex Kogan 27.04.2014.
An Case for an Interleaving Constrained Shared-Memory Multi-Processor Jie Yu and Satish Narayanasamy University of Michigan.
Research Heaven, West Virginia 1 Static Analysis of Software for Autonomous Spacecrafts Supratik Mukhopadhyay [email protected] Research Heaven, West.
1 In-Situ Model Checking of MPI Parallel Programs Ganesh Gopalakrishnan Joint work with Salman Pervez, Michael DeLisi Sarvani Vakkalanka, Subodh Sharma,
Learning from Mistakes – Real World Concurrency Bug Characteristics
Model Checking of Robotic Control Systems