Author of the publication

AUSPICE-R: Automatic Safety-Property Proofs for Realistic Features in Machine Code.

, , , and . APLAS, volume 10017 of Lecture Notes in Computer Science, page 42-62. (2016)

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

A New Architecture of Smart House Control System., , and . SmartCom, volume 10699 of Lecture Notes in Computer Science, page 81-89. Springer, (2017)Black-Box Problem Diagnosis in Parallel File Systems., , , and . FAST, page 43-56. USENIX, (2010)Prompt Tuning for Multi-View Graph Contrastive Learning., , , , , , and . CoRR, (2023)Prescriptive Safety-Checks through Automated Proofs for Control-Flow Integrity.. Carnegie Mellon University, USA, (2016)STOVE: Strict, Observable, Verifiable Data and Execution Models for Untrusted Applications., , and . CloudCom, page 644-649. IEEE Computer Society, (2014)Cachier: Edge-Caching for Recognition Applications., , , , and . ICDCS, page 276-286. IEEE Computer Society, (2017)Theia: Visual Signatures for Problem Diagnosis in Large Hadoop Clusters., , , , and . LISA, page 33-42. USENIX Association, (2012)Selecting the Effective Regions for Gait Recognition by Sparse Representation., , and . CCBR, volume 10996 of Lecture Notes in Computer Science, page 166-174. Springer, (2018)Big Data Analysis of TV Dramas Based on Machine Learning., , , and . SmartCom, volume 10699 of Lecture Notes in Computer Science, page 90-95. Springer, (2017)Program Repair by Fuzzing over Patch and Input Space., , , , and . CoRR, (2023)