POPL 2018 Co-Located Events
POPL 2018 Co-Located Events
Powered by
Conference Publishing Consulting

ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM 2018), January 8–9, 2018, Los Angeles, CA, USA

Workshop PEPM 2018 – Author Index

Contents - Abstracts - Authors

A B G I J K L M S U V W

Asai, Kenichi PEPM'18: "Selective CPS Transformation ..."
Broman, David PEPM'18: "Gradually Typed Symbolic Expressions ..."
Greenman, Ben PEPM'18: "On the Cost of Type-Tag Soundness ..."
Igarashi, Atsushi PEPM'18: "A Guess-and-Assume Approach ..."
Imanishi, Akifumi PEPM'18: "A Guess-and-Assume Approach ..."
Jay, Barry PEPM'18: "Recursive Programs in Normal ..."
Kameyama, Yukiyoshi PEPM'18: "Program Generation for ML ..."
Kinder, Johannes PEPM'18: "Checking Cryptographic API ..."
Loring, Blake PEPM'18: "Checking Cryptographic API ..."
Midtgaard, Jan PEPM'18: "Developments in Property-Based ..."
Migeed, Zeina PEPM'18: "On the Cost of Type-Tag Soundness ..."
Mitchell, Duncan PEPM'18: "Checking Cryptographic API ..."
Siek, Jeremy G. PEPM'18: "Gradually Typed Symbolic Expressions ..."
Suenaga, Kohei PEPM'18: "A Guess-and-Assume Approach ..."
Uehara, Chihiro PEPM'18: "Selective CPS Transformation ..."
Van Binsbergen, L. Thomas PEPM'18: "Checking Cryptographic API ..."
Watanabe, Takahisa PEPM'18: "Program Generation for ML ..."

17 authors

proc time: 4.72