Caleb Stanford - SPLASH 2021

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

Registered user since Mon 18 Jun 2018

Name:Caleb Stanford

Affiliation:University of Pennsylvania

Personal website: https://cis.upenn.edu/~castan/

Research interests:Formal Methods, Programming Languages, Stream Processing

Contributions

2021

SPLASH

DiffStream: Differential Output Testing for Stream Processing Programs
Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints

Show activities from other conferences

SPLASH 2021-profile
View general profile