( en | de | ru )

 

Disambiguierung von "Yahav, Eran"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Verifying safety properties of concurrent heap-manipulating programs.

, und . ACM Trans. Program. Lang. Syst., 32 (5): 18:1-18:50 (2010)

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.

Yahav Nussbaum

Inbal Yahav

Emre Eran

Asl han Eran

Hasan Gündüz Eran

 

Weitere Publikationen von Autoren mit dem selben Namen

Programming Not Only by Example., , und . CoRR, (2017)code2seq: Generating Sequences from Structured Representations of Code., , und . CoRR, (2018)Continuous code-quality assurance with SAFE., , und . PEPM, Seite 145-149. ACM, (2006)Symbolic automata for representing big code., , , und . Acta Inf., 53 (4): 327-356 (2016)Inferring Synchronization under Limited Observability., , und . TACAS, Volume 5505 von Lecture Notes in Computer Science, Seite 139-154. Springer, (2009)Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management., , , und . SAS, Volume 2694 von Lecture Notes in Computer Science, Seite 483-503. Springer, (2003)Automatic Synthesis of Deterministic Concurrency., , und . SAS, Volume 7935 von Lecture Notes in Computer Science, Seite 283-303. Springer, (2013)Automatic Verification of Determinism for Structured Parallel Programs., , , und . SAS, Volume 6337 von Lecture Notes in Computer Science, Seite 455-471. Springer, (2010)Synthesis of Memory Fences via Refinement Propagation., , , und . SAS, Volume 8723 von Lecture Notes in Computer Science, Seite 237-252. Springer, (2014)Predicate Abstraction for Relaxed Memory Models., , , und . SAS, Volume 7935 von Lecture Notes in Computer Science, Seite 84-104. Springer, (2013)