research
∙
03/22/2023
Practical compilation of fexprs using partial evaluation: Fexprs can performantly replace macros in purely-functional Lisp
Macros are a common part of Lisp languages, and one of their most lauded...
share
research
∙
10/18/2021
On-the-fly Code Activation for Attack Surface Reduction
Modern code reuse attacks are taking full advantage of bloated software....
research
∙
07/18/2021
Effective GPU Sharing Under Compiler Guidance
Modern computing platforms tend to deploy multiple GPUs (2, 4, or more) ...
research
∙
03/11/2021
Compiler-Guided Throughput Scheduling for Many-core Machines
Modern ARM-based servers such as ThunderX and ThunderX2 offer a tremendo...
research
∙
03/09/2021
Near-zero Downtime Recovery from Transient-error-induced Crashes
Due to the system scaling, transient errors caused by external noises, e...
research
∙
02/18/2021
Effective Cache Apportioning for Performance Isolation Under Compiler Guidance
With a growing number of cores per socket in modern data-centers where m...
research
∙
05/17/2020
Not So Fast: Understanding and Mitigating Negative Impacts of Compiler Optimizations on Code Reuse Gadget Sets
Despite extensive testing and correctness certification of their functio...
research
∙
03/08/2020
A Compiler Assisted Scheduler for Detecting and Mitigating Cache-Based Side Channel Attacks
Detection and mitigation of side-channel attacks is a very important pro...
research
∙
07/04/2019
CARVE: Practical Security-Focused Software Debloating Using Simple Feature Set Mappings
Software debloating is an emerging field of study aimed at improving the...
research
∙
02/28/2019
Is Less Really More? Why Reducing Code Reuse Gadget Counts via Software Debloating Doesn't Necessarily Lead to Better Security
Nearly all modern software suffers from bloat that negatively impacts it...
research
∙
02/18/2019