conf.researchr.org / Jason Breck

Not registered as user yet

Name: Jason Breck

Affiliation: University of Wisconsin - Madison

Contributions

POPL 2019Author of Refinement of Path Expressions for Static Analysis within the Research Papers-track
Author of Closed Forms for Numerical Loops within the Research Papers-track
POPL 2018Author of Non-Linear Reasoning For Invariant Synthesis within the Research Papers-track
Author of Non-Linear Reasoning For Invariant Synthesis within the Artifact Evaluation-track
PLDI 2017Author of Compositional Recurrence Analysis Revisited within the PLDI Research Papers-track