PLDI 2016
Mon 13 - Fri 17 June 2016 Santa Barbara, California, United States
  • Attending
    • Venue: The Fess Parker, Santa Barbara, CA
    • Travel, Accommodations and Child Care
    • Visas
    • Registration
    • Student Travel Support
    • Student Volunteers
    • Code of Conduct
  • Program
    • PLDI Program
    • Your Program
    • Mon 13 Jun
    • Tue 14 Jun
    • Wed 15 Jun
    • Thu 16 Jun
    • Fri 17 Jun
  • Tracks
      • PLDI 2016
      • Co-Located Conferences and Symposia
      • Invited Speakers
      • Artifact Evaluation
      • Research Papers
      • Student Posters
      • Student Research Competition
      • Tutorials
      • Co-hosted Conferences
      • LCTES
        • LCTES
        • LCTES
      • Workshops
      • ARRAY
      • FMS
      • PLMW@PLDI
      • SOAP
      • X10
      • Co-hosted Symposia
      • ISMM
        • ISMM
        • ISMM
  • Organization
      • PLDI 2016 Committees
      • Artifact Evaluation Committee
      • External Program Committee
      • External Review Committee
      • Organizing Committee
      • Program Committee
      • Distinguished Paper Committee
      • Track Committees
      • Artifact Evaluation
      • Student Posters
      • Contributors
      • People Index
      • Co-hosted Conferences
      • LCTES
        • Organizing Committee
        • Program Committee
        • Steering Committee
      • Workshops
      • ARRAY
        • Organizing Committee
        • Programme Committee
      • FMS
        • Organizing Committee
      • PLMW@PLDI
        • Organizing Committee
      • SOAP
        • Organizing Committee
        • Program Committee
      • X10
        • Organizing Committee
        • Program Committee
      • Co-hosted Symposia
      • ISMM
        • External Review Committee
        • Organizing Committee
        • Program Committee
        • Steering Committee
  • Search
  • Series
    • Series
    • PLDI 2025
    • PLDI 2024
    • PLDI 2023
    • PLDI 2022
    • PLDI 2021
    • PLDI 2020
    • PLDI 2019
    • PLDI 2018
    • PLDI 2017
    • PLDI 2016
    • PLDI 2015
  • Sign in
  • Sign up
PLDI 2016 (series) / James Bornholt
  • conf.research.org general profile
  • ECOOP 2015 profile
  • ECOOP 2019 profile
  • ECOOP and ISSTA 2023 profile
  • PLDI 2015 profile
  • PLDI 2020 profile
  • PLDI 2022 profile
  • PLDI 2024 profile
  • PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM profile
  • POPL 2016 profile
  • POPL 2020 profile
  • SPLASH 2018 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile
  • SPLASH 2022 profile
James Bornholt

Registered user since Fri 16 Jan 2015

Name:James Bornholt
Bio:

I’m a second-year computer science PhD student in the PLSE and Sampa groups at the University of Washington, advised by Emina Torlak, Dan Grossman, and Luis Ceze. We develop new formal methods and programming languages techniques, from program synthesis frameworks to consistency models, to solve systems problems.

Affiliation:University of Washington
Personal website: https://homes.cs.washington.edu/~bornholt/

Contributions

2016

PLMW

  • Programming with Estimates
  • Speaker in Organizing Committee within the PLMW@PLDI 2016-track

Show activities from other conferences

Share
PLDI 2016-profile
View general profile
xWed 28 May 22:16

PLDI 2016

contact form

using conf.researchr.org (v1.69.0)
Support page

Tracks

Co-Located Conferences and Symposia
Invited Speakers
Artifact Evaluation
Research Papers
Student Posters
Student Research Competition
Tutorials

Co-hosted Conferences

LCTES 2016

Workshops

ARRAY
FMS
PLMW@PLDI
SOAP 2016
X10

Co-hosted Symposia

ISMM 2016

Attending

Venue: The Fess Parker, Santa Barbara, CA
Travel, Accommodations and Child Care
Visas
Registration
Student Travel Support
Student Volunteers
Code of Conduct

Social Media

Follow @PLDI