Software Correctness at Scale through Testing and Verification

Ad-Mageddon: The Next Frontier in Online Privacy

Enabling Mixed Reality for Low Vision

Visualization by Demonstration

3D Model-Assisted Learning for Object Detection and Pose Estimation

The Need for Context in Software Engineering