Showing Events from category: CS Seminar

Robust algorithms against adversarial noise

Toward Supervised Autonomy: Enhancing Automation and Collaboration

Improving Software Ethics with Empirically Validated Software Practices

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