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: 5.85