Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
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

LCTES 2020 WIP: A Synthesis-aided Compiler for DSP Architectures
PLDI 2020 Committee Member in Program Committee within the PLDI Research Papers-track
Session Chair of Synthesis I (part of PLDI Research Papers)
Show activities from other conferences

PLDI 2020-profile
View general profile