SPLASH 2021 (series) / Andrew Appel
Registered user since Fri 12 Jun 2020
Contributions
| SPLASH 2021 | Compositional Optimizations for CertiCoq | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2021-profile
View general profile
View general profile
SPLASH 2021
Sun 17 - Fri 22 October 2021 Chicago, Illinois, United States
- Attending
- Program
- Tracks
- SPLASH 2021
- OOPSLA
- SIGPLAN Papers
- SIGPLAN Business
- - Future of Conferences
- OOPSLA Artifacts
- Onward! Essays
- Onward! Papers
- REBASE
- Doctoral Symposium
- PLMW
- Posters
- SPLASH-E
- Student Research Competition
- Student Volunteers
- Workshops
- Keynotes
- Ask Me Anything (AMA)
- PLTea
- Faculty Mentorship Roundtable
- CARES
- Awards
- Opening
- Closing
- Organization
- SPLASH 2021 Committees
- Organizing Committee
- Steering Committee
- Track Committees
- OOPSLA
- SIGPLAN Papers
- SIGPLAN Business
- OOPSLA Artifacts
- Onward! Essays
- Onward! Papers
- Doctoral Symposium
- PLMW
- Posters
- SPLASH-E
- Student Research Competition
- Student Volunteers
- Workshops
- PLTea
- Faculty Mentorship Roundtable
- CARES
- Contributors
- People Index
- Search
- Series