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
Research interests:Programming Languages

Contributions

ECOOP 2023 Author of Synthesis-Aided Crash Consistency for Storage Systems within the Research Papers-track
SPLASH 2022 Author of Synthesizing fine-grained synchronization protocols for implicit monitors within the OOPSLA-track
PLDI 2022 Committee Member in PLDI within the PLDI-track
SPLASH 2021 Committee Member in External Review Committee within the OOPSLA-track
SPLASH 2020 Committee Member in Review Committee within the OOPSLA-track
LCTES 2020 Author of WIP: A Synthesis-aided Compiler for DSP Architectures within the LCTES 2020-track
PLDI 2020 Committee Member in Program Committee within the PLDI Research Papers-track
Session Chair of Synthesis I (part of PLDI Research Papers)
VMCAI 2020 Author of Fixing Code That Explodes Under Symbolic Evaluation within the VMCAI 2020-track
FTfJP 2019 Committee Member in Program Committee within the FTfJP 2019-track
SPLASH 2018 Author 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
PLDI 2017 Committee Member in External Review Committee
Author of Synthesizing Memory Models from Framework Sketches and Litmus Tests within the PLDI Research Papers-track
PLMW@PLDI Speaker of Programming with Estimates within the PLMW@PLDI 2016-track
Speaker in Organizing Committee within the PLMW@PLDI 2016-track
POPL 2016 Committee Member in Artifact Evaluation committee within the Artifact Evaluation-track
Author of Optimizing Synthesis with Metasketches within the Research Papers-track
ML4PL 2015 Author of Scaling Program Synthesis by Exploiting Existing Code within the ML4PL-track
PLDI 2015 Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track