Author of the publication

Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model.

, , , , and . ASPLOS, page 377-391. ACM, (2018)

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.

 

Other publications of authors with the same name

Lenient Execution of C on a Java Virtual Machine: or: How I Learned to Stop Worrying and Run the Code., , , and . ManLang, page 35-47. ACM, (2017)Cross-Language Interoperability in a Multi-Language Runtime, , , , , and . ACM Transactions on Programming Languages and Systems, 40 (2): 1--43 (June 2018)TruffleC: dynamic execution of C on a Java virtual machine., , , , and . PPPJ, page 17-26. ACM, (2014)Deterministic Replay Debugging of IEC 61131-3 SoftPLC programs, , , and . Industrial Informatics (INDIN), 2010 8th IEEE International Conference on, page 1110--1117. (July 2010)Detection of high-level execution patterns in reactive behavior of control programs., , and . WODA, page 14-19. ACM, (2010)Analyzing Long-Running Controller Applications for Specification Violations Based on Deterministic Replay., and . EUROMICRO-SEAA, page 55-62. IEEE Computer Society, (2012)Supporting on-stack replacement in unstructured languages by loop reconstruction and extraction., , , , and . MPLR, page 1-13. ACM, (2019)Trace-basiertes Testen von nebenläufigen reaktiven Systemen.. Ausgezeichnete Informatikdissertationen, volume D-14 of LNI, GI, (2013)Sulong, and Thanks for All the Bugs: Finding Errors in C Programs by Abstracting from the Native Execution Model., , , , and . ASPLOS, page 377-391. ACM, (2018)Detection of High-level Execution Patterns in Reactive Behavior of Control Programs, , and . Proceedings of the Eighth International Workshop on Dynamic Analysis, page 14--19. ACM, (2010)