Citation indices
 AllSince 2009
Citations18551380
h-index1816
i10-index2118
Citations to my articles
Citations to my articles
Show: 1-20Next >
Title / AuthorCited by Year
Smallfoot: Modular automatic assertion checking with separation logic
J Berdine, C Calcagno, PW O’hearn
Formal Methods for Components and Objects, 115-137
2722006
Symbolic execution with separation logic
J Berdine, C Calcagno, PW O’hearn
Programming Languages and Systems, 52-68
2082005
Scalable shape analysis for systems code
H Yang, O Lee, J Berdine, C Calcagno, B Cook, D Distefano, P O’Hearn
Computer Aided Verification, 385-398
2012008
Shape analysis for composite data structures
J Berdine, C Calcagno, B Cook, D Distefano, PW O’hearn, T Wies, ...
Computer Aided Verification, 178-192
1882007
A decidable fragment of separation logic
J Berdine, C Calcagno, PW O’hearn
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer ...
1322005
Interprocedural shape analysis with separated heap abstractions
A Gotsman, J Berdine, B Cook
Static Analysis, 240-260
1112006
Local reasoning for storable locks and threads
A Gotsman, J Berdine, B Cook, N Rinetzky, M Sagiv
Programming Languages and Systems, 19-37
1052007
Automatic termination proofs for programs with shape-shifting heaps
J Berdine, B Cook, D Distefano, P O’Hearn
Computer Aided Verification, 386-400
1052006
Arithmetic strengthening for shape analysis
S Magill, J Berdine, E Clarke, B Cook
Static Analysis, 419-436
782007
Variance analyses from invariance analyses
J Berdine, A Chawdhary, B Cook, D Distefano, P O'Hearn
ACM SIGPLAN Notices 42 (1), 211-224
722007
Thread-modular shape analysis
A Gotsman, J Berdine, B Cook, M Sagiv
ACM SIGPLAN Notices 42 (6), 266-277
692007
Linear continuation-passing
J Berdine, P O'Hearn, U Reddy, H Thielecke
Higher-Order and Symbolic Computation 15 (2), 181-208
542002
Thread quantification for concurrent shape analysis
J Berdine, T Lev-Ami, R Manevich, G Ramalingam, M Sagiv
Computer Aided Verification, 399-413
482008
SLAyer: Memory safety for systems-level code
J Berdine, B Cook, S Ishtiaq
Computer Aided Verification, 178-183
412011
Structuring the verification of heap-manipulating programs
A Nanevski, V Vafeiadis, J Berdine
ACM Sigplan Notices 45 (1), 261-274
392010
Heap decomposition for concurrent shape analysis
R Manevich, T Lev-Ami, M Sagiv, G Ramalingam, J Berdine
Static Analysis, 363-377
292008
Shape analysis by graph decomposition
R Manevich, J Berdine, B Cook, G Ramalingam, M Sagiv
Tools and Algorithms for the Construction and Analysis of Systems, 3-18
242007
Linearly used continuations
J Berdine, PW O’Hearn, US Reddy, H Thielecke
Proceedings of the Third ACM SIGPLAN Workshop on Continuations (CW’01), 47-54
212000
Precision and the conjunction rule in concurrent separation logic
A Gotsman, J Berdine, B Cook
Electronic Notes in Theoretical Computer Science 276, 171-190
132011
Strong update, disposal, and encapsulation in bunched typing
J Berdine, PW O'Hearn
Electronic Notes in Theoretical Computer Science 158, 81-98
132006
Show: 1-20Next >
Dates and citation counts are estimated and are determined automatically by a computer program.
©2013 Google - About Google Scholar - All About Google - Provide feedback - My Citations