From post

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.

 

Другие публикации лиц с тем же именем

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