Improving Software Ethics with Empirically Validated Software Practices

Distinguished Lecture Series (Cancelled)

Space Wars: Exploiting Program (in)Variants for Software Security

Compiler Directed Lightweight Resilience Mechanisms for HPC Applications

Software Correctness at Scale through Testing and Verification

Ad-Mageddon: The Next Frontier in Online Privacy