LIPIcs, Volume 136
SNAPL 2019, May 16-17, 2019, Providence, RI, USA
Editors: Benjamin S. Lerner, Rastislav Bodík, and Shriram Krishnamurthi
LIPIcs, Volume 71
SNAPL 2017, May 7-10, 2017, Asilomar, CA, USA
Editors: Benjamin S. Lerner, Rastislav Bodík, and Shriram Krishnamurthi
LIPIcs, Volume 32
SNAPL 2015, May 3-6, 2015, Asilomar, California, US
Editors: Thomas Ball, Rastislav Bodík, Shriram Krishnamurthi, Benjamin S. Lerner, and Greg Morriset
Feedback for Dagstuhl Publishing