Publications

• Source Code Representations of Deep Learning for Program Repair
  Published on 2023-11-17
• Self-Supervised Learning to Prove Equivalence Between Straight-Line Programs via Rewrite Rules
  Published on 2023-08-24
• Multi-variant Execution at the Edge
  Published on 2023-08-02
• Sorald : Automatic Patch Suggestions for SonarQube Static Analysis Violations
  Published on 2023-01-24
• Neural Transfer Learning for Repairing Security Vulnerabilities in C Code
  Published on 2022-10-26
• 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