Improving Software Ethics with Empirically Validated Software Practices

Distinguished Lecture Series

Software Correctness at Scale through Testing and Verification

Visualization by Demonstration

The Need for Context in Software Engineering

Program Analysis for Digital Experimentation