Publications

• Spork : Structured Merge for Java with Formatting Preservation
  Published on 2022-10-05
• Styler : learning formatting conventions to repair Checkstyle violations
  Published on 2022-09-05
• Enclave-Based Secure Programming with JE
  Published on 2022-06-10
• Estimating the potential of program repair search spaces with commit analysis
  Published on 2022-05-18
• Dynamic Policies Revisited
  Published on 2022-03-07
• Automated Classification of Overfitting Patches with Statically Extracted Code Features
  Published on 2022-02-16
• On Compositional Information Flow Aware Refinement
  Published on 2021-12-17
• Security-Aware Multi-User Architecture for IoT
  Published on 2021-11-24
• Refinement-Based Verification of Device-to-Device Information Flow
  Published on 2021-10-29
• Enclave-Based Secure Programming with JE
  Published on 2021-09-10
• Vivienne: Relational Verification of Cryptographic Implementations in WebAssembly
  Published on 2021-09-03
• A Software-Repair Robot Based on Continual Learning
  Published on 2021-08-05
• SandTrap: Securing JavaScript-driven Trigger-Action Platforms
  Published on 2021-05-28
• A comprehensive study of bloated dependencies in the Maven ecosystem
  Published on 2021-04-26
• CROW: Code Diversification for WebAssembly
  Published on 2021-04-11
• Automated patch assessment for program repair at scale
  Published on 2021-04-06
• Browser Fingerprinting : A Survey
  Published on 2021-03-15
• PomCho : Atool chain for choreographic design
  Published on 2021-01-20
• InSpectre : Breaking and Fixing Microarchitectural Vulnerabilities by Formal Analysis
  Published on 2021-01-11
• SerialDetector: Principled and Practical Exploration of Object Injection Vulnerabilities for the Web
  Published on 2021-01-07