( en | de | ru )

 

Disambiguierung von "Liblit, Ben"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Dynamic heap type inference for program understanding and debugging.

, , und . POPL, Seite 39-46. ACM, (2007)

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.

Ben Liblit

Ben Schöttker

Ben Novak

Ben Schacher

Ben Schloesser

 

Weitere Publikationen von Autoren mit dem selben Namen

Lightweight control-flow instrumentation and postmortem analysis in support of debugging., und . ASE, Seite 378-388. IEEE, (2013)EIO: Error Handling is Occasionally Correct., , , , und . FAST, Seite 207-222. USENIX, (2008)Defective error/pointer interactions in the Linux kernel., und . ISSTA, Seite 111-121. ACM, (2011)Array length inference for C library bindings., , und . ASE, Seite 461-471. ACM, (2016)Supporting nested transactional memory in logTM., , , , , , , und . ASPLOS, Seite 359-370. ACM, (2006)Statistical debugging: simultaneous identification of multiple bugs., , , , und . ICML, Volume 148 von ACM International Conference Proceeding Series, Seite 1105-1112. ACM, (2006)Automated Detection and Repair of Concurrency Bugs.. Haifa Verification Conference, Volume 7261 von Lecture Notes in Computer Science, Seite 3. Springer, (2011)Reflections on the Role of Static Analysis in Cooperative Bug Isolation.. SAS, Volume 5079 von Lecture Notes in Computer Science, Seite 18-31. Springer, (2008)A router primitive approach for building diverse network services., , und . COMSNETS, Seite 1-10. IEEE, (2012)Static Analysis for AWS Best Practices in Python Code., , , und . ECOOP, Volume 222 von LIPIcs, Seite 14:1-14:28. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)