( en | de | ru )

 

Disambiguierung von "Berdine, Josh"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
SLAyer: Memory Safety for Systems-Level Code.

, , und . CAV, Volume 6806 von Lecture Notes in Computer Science, Seite 178-183. Springer, (2011)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Josh Soer

Pushpa Raj Joshi

Jidnyasa Joshi

Gopala Krishna Murty Joshyula

Ravi Joshi

 

Weitere Publikationen von Autoren mit dem selben Namen

Computing All Implied Equalities via SMT-Based Partition Refinement., und . IJCAR, Volume 8562 von Lecture Notes in Computer Science, Seite 168-183. Springer, (2014)A Forward Analysis for Recurrent Sets., , und . SAS, Volume 9291 von Lecture Notes in Computer Science, Seite 293-311. Springer, (2015)Diagrammatic Reasoning in Separation Logic., , , und . Diagrams, Volume 5223 von Lecture Notes in Computer Science, Seite 408-411. Springer, (2008)Shape Analysis by Graph Decomposition., , , , und . TACAS, Volume 4424 von Lecture Notes in Computer Science, Seite 3-18. Springer, (2007)Strong Update, Disposal, and Encapsulation in Bunched Typing., und . MFPS, Volume 158 von Electronic Notes in Theoretical Computer Science, Seite 81-98. Elsevier, (2006)Local reasoning about storable locks.. PPDP, Seite 153. ACM, (2007)Local Reasoning About the Presence of Bugs: Incorrectness Separation Logic., , , , , und . CAV (2), Volume 12225 von Lecture Notes in Computer Science, Seite 225-252. Springer, (2020)Smallfoot: Modular Automatic Assertion Checking with Separation Logic., , und . FMCO, Volume 4111 von Lecture Notes in Computer Science, Seite 115-137. Springer, (2005)Arithmetic Strengthening for Shape Analysis., , , und . SAS, Volume 4634 von Lecture Notes in Computer Science, Seite 419-436. Springer, (2007)Heap Decomposition for Concurrent Shape Analysis., , , , und . SAS, Volume 5079 von Lecture Notes in Computer Science, Seite 363-377. Springer, (2008)