( en | de | ru )

 

Disambiguation of "Berdine, Josh"

Author of the publication

copydeleteadd this publication to your clipboard
Variance analyses from invariance analyses.

, , , , and . POPL, page 211-224. ACM, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Josh Soer

Jidnyasa Joshi

Pushpa Raj Joshi

Ravi Joshi

Vishnuprakash Joshi

 

Other publications of authors with the same name

Diagrammatic Reasoning in Separation Logic., , , and . Diagrams, volume 5223 of Lecture Notes in Computer Science, page 408-411. Springer, (2008)Strong Update, Disposal, and Encapsulation in Bunched Typing., and . MFPS, volume 158 of Electronic Notes in Theoretical Computer Science, page 81-98. Elsevier, (2006)Shape Analysis by Graph Decomposition., , , , and . TACAS, volume 4424 of Lecture Notes in Computer Science, page 3-18. Springer, (2007)A Forward Analysis for Recurrent Sets., , and . SAS, volume 9291 of Lecture Notes in Computer Science, page 293-311. Springer, (2015)Concurrent incorrectness separation logic., , , and . Proc. ACM Program. Lang., 6 (POPL): 1-29 (2022)Finding real bugs in big programs with incorrectness logic., , , , , and . Proc. ACM Program. Lang., 6 (OOPSLA1): 1-27 (2022)Computing All Implied Equalities via SMT-Based Partition Refinement., and . IJCAR, volume 8562 of Lecture Notes in Computer Science, page 168-183. Springer, (2014)SLAyer: Memory Safety for Systems-Level Code., , and . CAV, volume 6806 of Lecture Notes in Computer Science, page 178-183. Springer, (2011)Automatic Termination Proofs for Programs with Shape-Shifting Heaps., , , and . CAV, volume 4144 of Lecture Notes in Computer Science, page 386-400. Springer, (2006)Linear Continuation-Passing., , , and . High. Order Symb. Comput., 15 (2-3): 181-208 (2002)