( en | de | ru )

 

Disambiguierung von "Yahav, Eran"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Programming with a read-eval-synth loop.

, , , und . Proc. ACM Program. Lang., 4 (OOPSLA): 159:1-159:30 (2020)

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

Symbolic automata for representing big code., , , und . Acta Inf., 53 (4): 327-356 (2016)Continuous code-quality assurance with SAFE., , und . PEPM, Seite 145-149. ACM, (2006)Inferring Synchronization under Limited Observability., , und . TACAS, Volume 5505 von Lecture Notes in Computer Science, Seite 139-154. Springer, (2009)Synthesis of Forgiving Data Extractors., , und . WSDM, Seite 385-394. ACM, (2017)Abstraction-Guided Synthesis.. VMCAI, Volume 7737 von Lecture Notes in Computer Science, Seite 27. Springer, (2013)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)Predicate Abstraction for Relaxed Memory Models., , , und . SAS, Volume 7935 von Lecture Notes in Computer Science, Seite 84-104. 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)