default search action
PLMW@POPL 2015: Mumbai, India
- Proceedings of the Programming Languages Mentoring Workshop, PLMW@POPL 2015, Mumbai, India, January 14, 2015. ACM 2015, ISBN 978-1-4503-3299-6
- Opening remarks. 1:1
- Nate Foster:
You and your graduate research. 2:1 - Peter Müller:
Building automatic program verifiers. 3:1 - Frank Pfenning:
Proof theory and its role in programming language research. 4:1 - Stephanie Weirich:
How to write a good research paper. 5:1 - Damien Pous:
Coinductive techniques, from automata to coalgebra. 6:1 - Shriram Krishnamurthi:
The story of Arjun Guha, or: the arc of a research project. 7:1 - Adam Chlipala:
Proof engineering: implementation challenges in rigorously verified software. 8:1 - Sandrine Blazy:
Formal verification of compilers and static analyzers. 9:1 - Sumit Gulwani:
Cultivating research taste (illustrated via a journey in program synthesis research). 10:1 - Viktor Vafeiadis:
Separation logic for weak memory models. 11:1 - Jan Vitek:
Repeatability, reproducibility and rigor in CS research. 12:1 - Stephanie Weirich:
How to give a good research talk. 13:1
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.