No. |
Title |
Author |
Year |
1 |
Front Matter, Table of Contents, Preface, Conference Organization |
Lerner, Benjamin S. et al. |
2019 |
2 |
LIPIcs, Volume 136, SNAPL'19, Complete Volume |
Lerner, Benjamin S. et al. |
2019 |
3 |
Domain-Specific Symbolic Compilation |
Bodík, Rastislav et al. |
2017 |
4 |
Front Matter, Table of Contents, Preface |
Lerner, Benjamin S. et al. |
2017 |
5 |
LIPIcs, Volume 71, SNAPL'17, Complete Volume |
Lerner, Benjamin S. et al. |
2017 |
6 |
LIPIcs, Volume 32, SNAPL'15, Complete Volume |
Ball, Thomas et al. |
2015 |
7 |
Software Synthesis (Dagstuhl Seminar 12152) |
Bodík, Rastislav et al. |
2012 |