Registered user since Tue 18 Apr 2017
Name:Timon Gehr
Affiliation:ETH Zurich, Switzerland
Personal website: https://www.sri.inf.ethz.ch/people/timon
Contributions
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