Author of the publication

Temporal-Safety Proofs for Systems Code.

, , , , , and . CAV, volume 2404 of Lecture Notes in Computer Science, page 526-538. Springer, (2002)

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

Exceptional situations and program reliability., and . ACM Trans. Program. Lang. Syst., 30 (2): 8:1-8:51 (2008)Software Mutational Robustness: Bridging The Gap Between Mutation Testing and Evolutionary Biology, , , , and . CoRR, (2012)Dynamic Witnesses for Static Type Errors., , and . CoRR, (2016)Modeling consumer-perceived web application fault severities for testing., and . ISSTA, page 97-106. ACM, (2010)Biases and differences in code review using medical imaging and eye-tracking: genders, humans, and machines., , , , , and . ESEC/SIGSOFT FSE, page 456-468. ACM, (2020)Eyes on Code: A Study on Developers' Code Navigation Strategies., , , and . IEEE Trans. Software Eng., 48 (5): 1692-1704 (2022)CirFix: Automated Hardware Repair and its Real-World Applications., , , and . IEEE Trans. Software Eng., 49 (7): 3736-3752 (July 2023)KShot: Live Kernel Patching with SMM and SGX., , , , , , , and . DSN, page 1-13. IEEE, (2020)Hashing It Out: A Survey of Programmers' Cannabis Usage, Perception, and Motivation., , and . CoRR, (2021)Evolving Software: Combining Online Learning with Mutation-Based Stochastic Search., , and . ACM Trans. Evol. Learn. Optim., 3 (4): 13:1-13:32 (December 2023)