Registered user since Fri 17 Jun 2016
Name: David Christiansen
Country: United States
Affiliation: Indiana University
Personal website: http://davidchristiansen.dk
Contributions
POPL 2017-profile
View general profile
View general profile
- Attending
- Program
- Tracks
- Co-hosted Conferences
- CPP 2017
- VMCAI 2017
- Co-hosted Workshops
- PPS 2017
- CoqPL 2017
- N40AI 2017 Next 40 years of Abstract Interpretation
- Off the Beaten Track 2017 OBT
- PEPM 2017
- PLMW
- PiP 2017
- RDP 2017
- SCM 2017
- TTT 2017
- Co-hosted Symposiums
- PADL 2017
- Committees
- Co-hosted Conferences
- CPP 2017
- VMCAI 2017
- Co-hosted Workshops
- PPS 2017
- CoqPL 2017
- N40AI 2017
- Off the Beaten Track 2017
- PEPM 2017
- PLMW
- PiP 2017
- RDP 2017
- SCM 2017
- TTT 2017
- Co-hosted Symposiums
- PADL 2017
- Search
- Other Editions