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

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