Registered user since Fri 27 Sep 2019
Name: Bryan Parno
Country: United States
Affiliation: Carnegie Mellon University
Personal website: https://www.andrew.cmu.edu/user/bparno/
Contributions
Using general profile
- Attending
- Tracks
- PLDI 2020
- PLDI Research Papers
- PLDI Research Artifacts
- PLDI Workshops and Tutorials
- Student Research Competition
- Student Volunteering
- Tutorials
- - Declarative Language Definition with Spoofax
- - Design Space Exploration
- - Programming Quantum Computers: A Primer with IBM Q and D-Wave Exercises
- - Programming for Autonomy
- Co-hosted Conferences
- ISMM
- LCTES
- Co-hosted Events
- Ally Skills@PLDI
- Workshops
- ARRAY
- BAPL
- Infer Practitioners
- MAPL
- PLMW@PLDI
- REMS-DeepSpec
- SOAP
- Organization
- Co-hosted Conferences
- ISMM
- LCTES
- Co-hosted Events
- Ally Skills@PLDI
- Workshops
- ARRAY
- BAPL
- Infer Practitioners
- MAPL
- PLMW@PLDI
- REMS-DeepSpec
- SOAP
- Search
- Series