Toward Supervised Autonomy: Enhancing Automation and Collaboration

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