News

Dec 2024 Sharjeel Khan successfully defended his PhD thesis on “A Framework for Faster Software Verification and Better Compiler Optimizations through Symbiosis”.
Nov 2024 Our paper ASDF: A Compiler for Qwerty, a Basis-Oriented Quantum Programming Language has been accepted to CGO ‘25.
Sep 2024 Our papers Real-Time Digital RF Emulation—Part I: The Direct Path Computational Model and Real-time Digital RF Emulation – II: A Near Memory Custom Accelerator has been accepted as journal papers to IEEE Transactions on Radar Systems.
Aug 2024 5 Masters students and 1 PhD student has joined our lab
Feb 2024 Our paper Pythia: Compiler-Guided Defense Against Non-Control Data Attacks has been accepted to ASPLOS ‘24.
Jul 2023 Chris Porter successfully defended his PhD thesis on “Compiler and Machine Learning-based Predictive Techniques for Security Enhancement through Software Debloating”.
Jul 2023 Our paper Beacons: An End-to-End Compiler Framework for Predicting and Utilizing Dynamic Loop Characteristics has been accepted to OOPSLA ‘23.
Oct 2022 Our paper Decker: Attack Surface Reduction via On-Demand Code Mapping has been accepted to ASPLOS ‘23.
Jul 2022 Our paper Com-CAS: Effective Cache Apportioning under Compiler Guidance has been accepted to PACT ‘22.
Apr 2022 Our paper VICO: demand-driven verification for improving compiler optimizations has been accepted to ICS ‘22.
Mar 2022 Our paper Compiler-assisted scheduling for multi-instance GPUs has been accepted to GPGPU ‘22.
Nov 2021 Our paper CASE: a compiler-assisted SchEduling framework for multi-GPU systems has been accepted to PPOPP ‘22.
Jul 2021 Our paper Near-Zero Downtime Recovery From Transient-Error-Induced Crashes has been accepted to IEEE Transactions on Parallel and Distributed Systems.
Jul 2021 Our paper Distributed Work Stealing at Scale via Matchmaking has been accepted to CLUSTER ‘21.
Jul 2021 Our paper Not so fast: understanding and mitigating negative impacts of compiler optimizations on code reuse gadget sets has been accepted to OOPSLA ‘21.
Nov 2020 Chao Chen successfully defended his PhD thesis on “Compiler-Assisted Resilience Framework for Recovery from Transient Faults”.
Aug 2020 Girish Mururu successfully defended his PhD thesis on “Compiler Guided Scheduling : A Cross-stack Approach for Performance Elicitation”.
May 2020 Our paper Generating Robust Parallel Programs via Model Driven Prediction of Compiler Optimizations for Non-determinism has been accepted to ICPP ‘20.
Feb 2020 Our paper BlankIt library debloating: getting what you want instead of cutting what you don’t has been accepted to PLDI ‘20.
Jun 2019 Our paper Is Less Really More? Towards Better Metrics for Measuring Security Improvements Realized Through Software Debloating has been accepted to CSET ‘19.
Jun 2019 Our paper CARE: compiler-assisted recovery from soft failures has been accepted to SC ‘19.
Dec 2018 Our paper Characterizing Dominant Program Behavior Using the Execution-Time Variance of the Call Structure has been accepted to RTAS ‘19.
Oct 2018 Our paper Quantifying and Reducing Execution Variance in STM via Model Driven Commit Optimization has been accepted to CGO ‘19.
Jun 2018 Our paper LADR: low-cost application-level detector for reducing silent output corruptions has been accepted to HPDC ‘18.