James Bornholt

Registered user since Fri 16 Jan 2015

Name: James Bornholt

Bio: I am an Assistant Professor of Computer Science at the University of Texas at Austin and an Applied Scientist in the Automated Reasoning Group at Amazon Web Services.

I work on programming languages and formal methods. My research helps programmers build more reliable software using automated programming tools: verification tools that check program correctness, and synthesis tools that generate correct programs from specifications.

Country: United States

Affiliation: University of Texas at Austin

Personal website: https://homes.cs.washington.edu/~bornholt/

Research interests: Programming Languages

Contributions

PLDI 2020Committee Member in Program Committee within the PLDI Research Papers-track
FTfJP 2019Committee Member in Program Committee within the FTfJP 2019-track
SPLASH 2018Author of Finding Code That Explodes Under Symbolic Evaluation within the OOPSLA-track
Author of Finding Code That Explodes Under Symbolic Evaluation within the Artifacts-track
PLMW@PLDISpeaker of Programming with Estimates within the PLMW@PLDI 2016-track
Speaker in Organizing Committee within the PLMW@PLDI 2016-track
PLDI 2017Committee Member in External Review Committee
Author of Synthesizing Memory Models from Framework Sketches and Litmus Tests within the PLDI Research Papers-track
POPL 2016Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track
Author of Optimizing Synthesis with Metasketches within the Research Papers-track
ML4PL 2015Author of Scaling Program Synthesis by Exploiting Existing Code within the ML4PL-track
PLDI 2015Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track