( en | de | ru )

 

Disambiguation of "Liblit, Ben"

Author of the publication

copydeleteadd this publication to your clipboard
Statistical debugging using compound boolean predicates.

, , , and . ISSTA, page 5-15. 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.

Ben Liblit

Ben Schmehe

Ben Novak

Ben Schöttker

Ben Schacher

 

Other publications of authors with the same name

Lightweight control-flow instrumentation and postmortem analysis in support of debugging., and . ASE, page 378-388. IEEE, (2013)Supporting nested transactional memory in logTM., , , , , , , and . ASPLOS, page 359-370. ACM, (2006)Array length inference for C library bindings., , and . ASE, page 461-471. ACM, (2016)Defective error/pointer interactions in the Linux kernel., and . ISSTA, page 111-121. ACM, (2011)EIO: Error Handling is Occasionally Correct., , , , and . FAST, page 207-222. USENIX, (2008)Statistical debugging: simultaneous identification of multiple bugs., , , , and . ICML, volume 148 of ACM International Conference Proceeding Series, page 1105-1112. ACM, (2006)Automated Detection and Repair of Concurrency Bugs.. Haifa Verification Conference, volume 7261 of Lecture Notes in Computer Science, page 3. Springer, (2011)Reflections on the Role of Static Analysis in Cooperative Bug Isolation.. SAS, volume 5079 of Lecture Notes in Computer Science, page 18-31. Springer, (2008)A router primitive approach for building diverse network services., , and . COMSNETS, page 1-10. IEEE, (2012)Analyzing memory ownership patterns in C libraries., and . ISMM, page 97-108. ACM, (2013)