Eclipse
Formal Versus Agile: Survival of the Fittest? (Paul Boca)
Binary-Level Tools for Floating-Point Correctness Analysis Michael Lam LLNL Summer Intern 2011 Bronis de Supinski, Mentor.
1 Episode III in our multiprocessing miniseries. Relaxed memory models. What I really wanted here was an elephant with sunglasses relaxing On a beach,
Constraint-based Invariant Inference over Predicate Abstraction Sumit Gulwani Ramarathnam Venkatesan Microsoft Research, Redmond Saurabh Srivastava University.
The "Big Data" Ecosystem at LinkedIn
Mp207sn Ca Repository
Annotations in PHP - ConFoo 2013
Annotations in PHP: They Exist
08 advanced techniques
Program structure
Abs int tutorial