LLVM: a compilation framework for lifelong program analysis & transformation

• Arancini: A Hybrid Binary Translator for Weak Memory Model Architectures

  2026 ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS) conference-paper Computer Science Parallel Computing and Optimization Techniques Open access

  1

  citations
• Verifying MPI API Usage Requirements with Contracts

  2025 Lecture notes in computer science conference-paper Computer Science Software Testing and Debugging Techniques

  2

  citations
• Extending the SPMD IR for RMA Models and Static Data Race Detection

  2025 Lecture notes in computer science conference-paper Computer Science Parallel Computing and Optimization Techniques

  2

  citations
• ROS2WASM: Bringing the Robot Operating System to the Web

  2025 Proceedings - IEEE International Conference on Robotics and Automation/Proceedings conference-paper Engineering Robotics and Automated Systems

  1

  citations
• AProVE (KoAT + LoAT)

  2025 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  5

  citations
• HEXO: Offloading Long-Running Compute- and Memory-Intensive Workloads on Low-Cost, Low-Power Embedded Systems

  2024 IEEE Transactions on Cloud Computing article Computer Science Cloud Computing and Resource Management Open access

  3

  citations
• Parallel Pattern Compiler for Automatic Global Optimizations

  2024 Parallel Computing article Computer Science Parallel Computing and Optimization Techniques Open access

  4

  citations
• KDAlloc: The KLEE Deterministic Allocator: Deterministic Memory Allocation during Symbolic Execution and Test Case Replay

  2023 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) conference-paper Computer Science Software Testing and Debugging Techniques Open access

  4

  citations
• Parallel Adjoint Taping Using MPI

  2023 Lecture notes in computer science conference-paper Computer Science Parallel Computing and Optimization Techniques

  0

  citations
• AProVE: Non-Termination Witnesses for C Programs

  2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems Open access

  10

  citations
• Improving Automatic Complexity Analysis of Integer Programs

  2022 Lecture notes in computer science conference-paper Computer Science Logic, programming, and type systems

  10

  citations
• A Syscall-Level Binary-Compatible Unikernel

  2021 IEEE Transactions on Computers article Computer Science Security and Verification in Computing

  7

  citations

12 results