SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
Caleb Stanford

Registered user since Mon 18 Jun 2018

Name:Caleb Stanford
Affiliation:University of Pennsylvania
Research interests:Formal Methods, Programming Languages, Stream Processing

Contributions

SPLASH 2021 DiffStream: Differential Output Testing for Stream Processing Programs
Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
Show activities from other conferences

Using general profile