Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "PLMW@POPL"( http://dblp.L3S.de/Venues/PLMW@POPL )

URL (DBLP): http://dblp.uni-trier.de/db/conf/popl

Publication years (Num. hits)
2015 (14)
Publication types (Num. hits)
inproceedings(13) proceedings(1)
Venues (Conferences, Journals, ...)
PLMW@POPL(14)
Authors
Stephanie Weirich(2) Adam Chlipala(1) Damien Pous(1) Frank Pfenning(1) Jan Vitek(1) Nate Foster(1) Peter Müller 0001(1) Sandrine Blazy(1) Shriram Krishnamurthi(1) Sumit Gulwani(1) Viktor Vafeiadis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 14 publication records. Showing 14 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Frank Pfenning Proof theory and its role in programming language research. Search on Bibsonomy PLMW@POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Adam Chlipala Proof engineering: implementation challenges in rigorously verified software. Search on Bibsonomy PLMW@POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sandrine Blazy Formal verification of compilers and static analyzers. Search on Bibsonomy PLMW@POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1 Opening remarks. Search on Bibsonomy PLMW@POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stephanie Weirich How to give a good research talk. Search on Bibsonomy PLMW@POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Damien Pous Coinductive techniques, from automata to coalgebra. Search on Bibsonomy PLMW@POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jan Vitek Repeatability, reproducibility and rigor in CS research. Search on Bibsonomy PLMW@POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sumit Gulwani Cultivating research taste (illustrated via a journey in program synthesis research). Search on Bibsonomy PLMW@POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Shriram Krishnamurthi The story of Arjun Guha, or: the arc of a research project. Search on Bibsonomy PLMW@POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Stephanie Weirich How to write a good research paper. Search on Bibsonomy PLMW@POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Viktor Vafeiadis Separation logic for weak memory models. Search on Bibsonomy PLMW@POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1 Proceedings of the Programming Languages Mentoring Workshop, PLMW@POPL 2015, Mumbai, India, January 14, 2015 Search on Bibsonomy PLMW@POPL The full citation details ... 2015 DBLP  BibTeX  RDF
1Peter Müller 0001 Building automatic program verifiers. Search on Bibsonomy PLMW@POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Nate Foster You and your graduate research. Search on Bibsonomy PLMW@POPL The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license