Searching for authors named "Josh Berdine" – sorted by Relevance.
-
General Terms
- Draft Paper, November 11, 2005 Modular Automatic Assertion Checking with Separation Logic Josh
- Add To MetaCart
-
Interprocedural shape analysis with separated heap abstractions
- Interprocedural Shape Analysis with Separated Heap Abstractions Alexey Gotsman 1 , Josh Berdine 2
- Cited by 28 (5 self) – Add To MetaCart
-
Thread-modular shape analysis
- Josh Berdine Microsoft Research jjb@(email omitted); Abstract We present the first shape analysis
- Cited by 18 (10 self) – Add To MetaCart
-
Variance analyses from invariance analyses
- Abstract Josh Berdine Microsoft Research jjb@(email omitted); Variance Analyses from Invariance
- Cited by 12 (2 self) – Add To MetaCart
-
Linear Continuation-Passing
- Linear Continuation-Passing Josh Berdine and Peter O'Hearn ( fberdine, ohearng
- Add To MetaCart
-
Extracting the Range of cps from Affine Typing
- Extracting the Range of cps from Ane Typing Extended Abstract Josh Berdine, Peter W. O
- Add To MetaCart
-
Strong update, disposal and encapsulation in bunched typing
- MFPS 2006 Strong Update, Disposal, and Encapsulation in Bunched Typing Abstract Josh Berdine
- Cited by 4 (0 self) – Add To MetaCart
-
A Decidable Fragment of Separation Logic
- A Decidable Fragment of Separation Logic Josh Berdine 1 , Cristiano Calcagno 2 , and Peter O
- Cited by 38 (6 self) – Add To MetaCart
-
Arithmetic Strengthening for Shape Analysis ⋆
- Arithmetic Strengthening for Shape Analysis ⋆ Stephen Magill 1 , Josh Berdine 2 , Edmund Clarke 1
- Cited by 4 (2 self) – Add To MetaCart
-
Structuring the verification of
- Josh Berdine {aleksn, viktorva, jjb}@(email omitted); Microsoft Research July 2009 Technical Report MSR
- Add To MetaCart

