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. Feb 2024 Our paper Pythia: Compiler-Guided Defense Against Non-Control Data Attacks has been accepted to ASPLOS ‘24. 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. 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. Nov 2015 New students join our group