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

Verifying Semantic Conflict-Freedom in Three-Way Program Merges., , and . CoRR, (2018)Cartesian hoare logic for verifying k-safety properties., and . PLDI, page 57-69. ACM, (2016)Verified three-way program merge., , and . Proc. ACM Program. Lang., 2 (OOPSLA): 165:1-165:29 (2018)Independence Abstractions and Models of Concurrency., , and . VMCAI, volume 10145 of Lecture Notes in Computer Science, page 151-168. Springer, (2017)LLVMVF: A Generic Approach for Verification of Multicore Software., and . J. Electron. Test., 29 (5): 635-646 (2013)Quasi-optimal partial order reduction., , , and . Formal Methods Syst. Des., 57 (1): 3-33 (2021)Abstractions and independence.. University of Oxford, UK, (2018)British Library, EThOS.Generation of TLM testbenches using mutation testing., and . CODES+ISSS, page 323-332. ACM, (2012)Complete Abstractions and Subclassical Modal Logics., and . VMCAI, volume 10145 of Lecture Notes in Computer Science, page 169-186. Springer, (2017)Consolidation of queries with user-defined functions., , , , and . PLDI, page 554-564. ACM, (2014)