Publications

Hoare-Style Logic for Unstructured Programs
Published on 2020-09-21
Superoptimization of WebAssembly bytecode
Published on 2020-09-02
Deep Generation of Coq Lemma Names Using Elaborated Terms
Published on 2020-08-26
Practical Machine-Checked Formalization of Change Impact Analysis
Published on 2020-08-26
Towards a Verified Model of the Algorand Consensus Protocol in Coq
Published on 2020-08-26
FixMiner : Mining relevant fix patterns for automated program repair
Published on 2020-06-05
An Analysis of 35+ Million Jobs of Travis CI
Published on 2020-05-13
Clockwork: Tracking Remote Timing Attacks
Published on 2020-05-08
IntRepair : Informed Repairing of Integer Overflows
Published on 2020-04-08
Explainable software bot contributions : Case study of automated bug fixes
Published on 2020-03-27
Fully Automated HTML and JavaScript Rewriting for Constructing a Self-healing Web Proxy
Published on 2020-03-24
A journey among Java neutral program variants
Published on 2019-11-22
InSpectre: Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis.
Published on 2019-11-19
On the verification of system-level information flow properties for virtualized execution platforms
Published on 2019-11-08
Automatic test improvement with DSpot : a study with ten mature open-source projects
Published on 2019-10-25