research
∙
07/19/2022
TestSelector: Automatic Test Suite Selection for Student Projects – Extended Version
Computer Science course instructors routinely have to create comprehensi...
share
research
∙
04/26/2022
Wasmati: An Efficient Static Vulnerability Scanner for WebAssembly
WebAssembly is a new binary instruction format that allows targeted comp...
research
∙
05/31/2021
Gillian: A Multi-Language Platform for Unified Symbolic Analysis
This is an evolving document describing the meta-theory, the implementat...
research
∙
01/14/2020