Active Bibliography

A Primer on Separation Logic (and Automatic Program Verification and Analysis) – Peter W. O’hearn
5 Verifying Generics and Delegates – Kasper Svendsen, Lars Birkedal, Matthew Parkinson
14 Implicit Dynamic Frames – Jan Smans, Bart Jacobs, Frank Piessens - 2011
FOOTPRINTS IN LOCAL REASONING – unknown authors - 903
9 Footprints in Local Reasoning – Mohammad Raza
3 Capsules and Separation – Jean-baptiste Jeannin, Dexter Kozen
2 A Formal Semantics for Isorecursive and Equirecursive State Abstractions – Alexander J. Summers, Sophia Drossopoulou
1 Specification and Verification of Multithreaded Object-Oriented Programs with Separation Logic – Clément Hurlin - 2009
Specification and Verification of Multithreaded Object-Oriented Programs with Separation Logic – Universite De Nice-sophia Antipolis, Docteur En Sciences, Thèse Dirigée Par Marieke Huisman, Ii Résumé - 2009
2 Separation and Data Refinement – Ivana Mijajlović - 2007
Explanation by refinement and linearisability of two non-blocking shared-variable communication algorithms – Richard Bornat, Hasan Amjad
35 Modular fine-grained concurrency verification – Viktor Vafeiadis
Automatic Parellelization and . . . – Clément Hurlin - 2009
6 Dependent types for JavaScript – Ravi Chugh, David Herman, Ranjit Jhala
3 Semantics and Types for Objects with First-Class Member Names – Joe Gibbs Politz, Arjun Guha, Shriram Krishnamurthi
ADsafety -- Type-Based Verification . . . – Joe Gibbs Politz , Spiridon Aristides Eliopoulos, Arjun Guha, Shriram Krishnamurthi
4 Modeling the HTML DOM and Browser API in Static Analysis of JavaScript Web Applications – Simon Holm Jensen, Magnus Madsen, Anders Møller
9 Run-Time Enforcement of Secure JavaScript Subsets – Sergio Maffeis, John C. Mitchell, Ankur Taly
21 Language-based isolation of untrusted Javascript – Sergio Maffeis, Ankur Taly - 2009