Registered user since Fri 10 Apr 2015
Contributions
| PLDI 2020 | Verifying Concurrent Search Structure Templates | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
PLDI 2020-profile
View general profile
View general profile
- Attending
- Program
- Tracks
- PLDI 2020
- Ask Me Anything
- SIGPLAN CARES
- Sponsors
- PLDI Research Papers
- PLDI Research Artifacts
- Student Research Competition
- Tutorials
- - Declarative Language Definition with Spoofax
- - Design Space Exploration
- - Programming Quantum Computers: A Primer with IBM Q and D-Wave Exercises
- - Programming for Autonomy
- Student Volunteering
- Co-hosted Conferences
- ISMM
- LCTES
- Co-hosted Events
- Ally Skills@PLDI (Cancelled)
- Workshops
- ARRAY (Cancelled)
- BAPL (Cancelled)
- 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