research
∙
08/25/2022
Understanding the Power of Evolutionary Computation for GPU Code Optimization
Achieving high performance for GPU codes requires developers to have sig...
share
research
∙
02/24/2022
Automatically Mitigating Vulnerabilities in x86 Binary Programs via Partially Recompilable Decompilation
When vulnerabilities are discovered after software is deployed, source c...
research
∙
01/18/2022
Cutting Through the Noise to Infer Autonomous System Topology
The Border Gateway Protocol (BGP) is a distributed protocol that manages...
research
∙
07/21/2021
Challenges in cybersecurity: Lessons from biological defense systems
We explore the commonalities between methods for assuring the security o...
research
∙
03/11/2021
Preventing Extreme Polarization of Political Attitudes
Extreme polarization can undermine democracy by making compromise imposs...
research
∙
01/18/2021
MIMOSA: Reducing Malware Analysis Overhead with Coverings
There is a growing body of malware samples that evade automated analysis...
research
∙
04/17/2020
GEVO: GPU Code Optimization using EvolutionaryComputation
GPUs are a key enabler of the revolution in machine learning and high pe...
research
∙
04/17/2020
GEVO: GPU Code Optimization using Evolutionary Computation
GPUs are a key enabler of the revolution in machine learning and high pe...
research
∙
04/24/2019
Risky Business: Assessing Security with External Measurements
Security practices in large organizations are notoriously difficult to a...
research
∙
04/16/2019
Using Dynamic Analysis to Generate Disjunctive Invariants
Program invariants are important for defect detection, program verificat...
research
∙
03/28/2019
Connecting Program Synthesis and Reachability: Automatic Program Repair using Test-Input Generation
We prove that certain formulations of program synthesis and reachability...
research
∙
03/09/2018