Proceedings of the Programming Languages Mentoring Workshop, PLMW@POPL 2015, Mumbai, India, January 14, 2015 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Proceedings of the Programming Languages Mentoring Workshop, PLMW@POPL 2015, Mumbai, India, January 14, 2015. ACM, 2015. [doi]

Conference: POPL2015

Abstract is missing.

Opening remarks1 [doi]

You and your graduate researchNate Foster. 2 [doi]

Building automatic program verifiersPeter Müller. 3 [doi]

Proof theory and its role in programming language researchFrank Pfenning. 4 [doi]

How to write a good research paperStephanie Weirich. 5 [doi]

Coinductive techniques, from automata to coalgebraDamien Pous. 6 [doi]

The story of Arjun Guha, or: the arc of a research projectShriram Krishnamurthi. 7 [doi]

Proof engineering: implementation challenges in rigorously verified softwareAdam Chlipala. 8 [doi]

Formal verification of compilers and static analyzersSandrine Blazy. 9 [doi]

Cultivating research taste (illustrated via a journey in program synthesis research)Sumit Gulwani. 10 [doi]

Separation logic for weak memory modelsViktor Vafeiadis. 11 [doi]

Repeatability, reproducibility and rigor in CS researchJan Vitek. 12 [doi]

How to give a good research talkStephanie Weirich. 13 [doi]

runs on WebDSL