Author of the publication

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

Execution synthesis: a technique for automated software debugging., and . EuroSys, page 321-334. ACM, (2010)Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing., , , , , and . IET Softw., 12 (6): 507-519 (2018)Safe Low-Level Code Without Overhead is Practical., and . ICSE, page 2173-2184. IEEE, (2023)S2E: a platform for in-vivo multi-path analysis of software systems., , and . ASPLOS, page 265-278. ACM, (2011)Combining Visualization and Statistical Analysis to Improve Operator Confidence and Efficiency for Failure Detection and Localization., , , , , , , , , and 1 other author(s). ICAC, page 89-100. IEEE Computer Society, (2005)Workshop on Hot Topics in System Depend - Workshop Abstract., and . DSN, page 826-827. IEEE Computer Society, (2005)Reducing Recovery Time in a Small Recursively Restartable System., , , , , and . DSN, page 605-614. IEEE Computer Society, (2002)Exterminating bugs via collective information recycling.. DSN Workshops, page 200-204. IEEE Computer Society, (2011)Transparent Multicore Scaling of Single-Threaded Network Functions., , , , and . EuroSys, page 1142-1159. ACM, (2024)Lightweight Snapshots and System-level Backtracking., , and . HotOS, USENIX Association, (2013)