PLMW@POPL

Keyphrases

Publications

2015

Frank Pfenning
Proof theory and its role in programming language research. PLMW@POPL (2015)
Adam Chlipala
Proof engineering: implementation challenges in rigorously verified software. PLMW@POPL (2015)
Sandrine Blazy
Formal verification of compilers and static analyzers. PLMW@POPL (2015)
Opening remarks. PLMW@POPL (2015)
Stephanie Weirich
How to give a good research talk. PLMW@POPL (2015)
Damien Pous
Coinductive techniques, from automata to coalgebra. PLMW@POPL (2015)
Jan Vitek
Repeatability, reproducibility and rigor in CS research. PLMW@POPL (2015)
Sumit Gulwani
Cultivating research taste (illustrated via a journey in program synthesis research). PLMW@POPL (2015)
Shriram Krishnamurthi
The story of Arjun Guha, or: the arc of a research project. PLMW@POPL (2015)
Stephanie Weirich
How to write a good research paper. PLMW@POPL (2015)
Viktor Vafeiadis
Separation logic for weak memory models. PLMW@POPL (2015)
Proceedings of the Programming Languages Mentoring Workshop, PLMW@POPL 2015, Mumbai, India, January 14, 2015 PLMW@POPL (2015)
Peter Müller
Building automatic program verifiers. PLMW@POPL (2015)
Nate Foster
You and your graduate research. PLMW@POPL (2015)