Proceedings of the Programming Languages Mentoring Workshop on - PLMW '15
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450332996

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Cultivating research taste (illustrated via a journey in program synthesis research)

Proceedings of the Programming Languages Mentoring Workshop on - PLMW '15 ◽

10.1145/2792434.2792444 ◽

2015 ◽

Author(s):

Sumit Gulwani

Keyword(s):

Program Synthesis ◽

Synthesis Research

Download Full-text

Building automatic program verifiers

Proceedings of the Programming Languages Mentoring Workshop on - PLMW '15 ◽

10.1145/2792434.2792437 ◽

2015 ◽

Author(s):

Peter Müller

Keyword(s):

Automatic Program

Download Full-text

Opening remarks

Proceedings of the Programming Languages Mentoring Workshop on - PLMW '15 ◽

10.1145/2792434.2792435 ◽

2015 ◽

Author(s):

PLMW Organizers

Download Full-text

Repeatability, reproducibility and rigor in CS research

Proceedings of the Programming Languages Mentoring Workshop on - PLMW '15 ◽

10.1145/2792434.2792446 ◽

2015 ◽

Author(s):

Jan Vitek

Download Full-text

Proof engineering

Proceedings of the Programming Languages Mentoring Workshop on - PLMW '15 ◽

10.1145/2792434.2792442 ◽

2015 ◽

Author(s):

Adam Chlipala

Keyword(s):

Proof Engineering

Download Full-text

The story of Arjun Guha, or

Proceedings of the Programming Languages Mentoring Workshop on - PLMW '15 ◽

10.1145/2792434.2792441 ◽

2015 ◽

Author(s):

Shriram Krishnamurthi

Download Full-text

Coinductive techniques, from automata to coalgebra

Proceedings of the Programming Languages Mentoring Workshop on - PLMW '15 ◽

10.1145/2792434.2792440 ◽

2015 ◽

Author(s):

Damien Pous

Download Full-text

How to write a good research paper

Proceedings of the Programming Languages Mentoring Workshop on - PLMW '15 ◽

10.1145/2792434.2792439 ◽

2015 ◽

Author(s):

Stephanie Weirich

Keyword(s):

Research Paper ◽

Good Research

Download Full-text

How to give a good research talk

Proceedings of the Programming Languages Mentoring Workshop on - PLMW '15 ◽

10.1145/2792434.2792447 ◽

2015 ◽

Author(s):

Stephanie Weirich

Keyword(s):

Good Research

Download Full-text

Separation logic for weak memory models

Proceedings of the Programming Languages Mentoring Workshop on - PLMW '15 ◽

10.1145/2792434.2792445 ◽

2015 ◽

Cited By ~ 1

Author(s):

Viktor Vafeiadis

Keyword(s):

Memory Models ◽

Separation Logic

Download Full-text

Proceedings of the Programming Languages Mentoring Workshop on - PLMW '15Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Cultivating research taste (illustrated via a journey in program synthesis research)

Building automatic program verifiers

Opening remarks

Repeatability, reproducibility and rigor in CS research

Proof engineering

The story of Arjun Guha, or

Coinductive techniques, from automata to coalgebra

How to write a good research paper

How to give a good research talk

Separation logic for weak memory models

Proceedings of the Programming Languages Mentoring Workshop on - PLMW '15
Latest Publications