LIPIcs，第136卷
2019年SNAPL 2019年5月16日至17日，美国罗得岛州普罗维登斯
编辑：本杰明·勒纳（Benjamin S.Lerner）、拉斯蒂斯拉夫·博迪克（Rastislav Bodík）和克里希纳穆尔西（Shriram Krishnamurthi）
LIPIcs，第71卷
2017年SNAPL，2017年5月7日至10日，美国加利福尼亚州阿西洛马
LIPIcs，第32卷
SNAPL 2015年5月3日至6日，美国加利福尼亚州阿西洛马
编辑：托马斯·鲍尔（Thomas Ball）、拉斯蒂斯拉夫·博迪（Rastislav Bodiák）、施里拉姆·克里希纳穆斯（Shriram Krishnamurthi）、本杰明·勒纳（Benjamin S.Lerner）和格雷格·莫里塞特
Dagstuhl出版社反馈