| |
Asai, Kenichi
|
PEPM '18: "Selective CPS Transformation ..."
Selective CPS Transformation for Shift and Reset
Kenichi Asai and Chihiro Uehara
(Ochanomizu University, Japan)
@InProceedings{PEPM18p61,
author = {Kenichi Asai and Chihiro Uehara},
title = {Selective CPS Transformation for Shift and Reset},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3162069},
year = {2018},
}
 Publisher's Version
|
| |
Broman, David
|
PEPM '18: "Gradually Typed Symbolic Expressions ..."
Gradually Typed Symbolic Expressions
David Broman and Jeremy G. Siek
(KTH, Sweden; Indiana University, USA)
@InProceedings{PEPM18p31,
author = {David Broman and Jeremy G. Siek},
title = {Gradually Typed Symbolic Expressions},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3162068},
year = {2018},
}
Publisher's Version
|
| |
Greenman, Ben
|
PEPM '18: "On the Cost of Type-Tag Soundness ..."
On the Cost of Type-Tag Soundness
Ben Greenman and Zeina Migeed
(Northeastern University, USA)
@InProceedings{PEPM18p46,
author = {Ben Greenman and Zeina Migeed},
title = {On the Cost of Type-Tag Soundness},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {46-45},
doi = {10.1145/3162066},
year = {2018},
}
Publisher's Version
|
| |
Igarashi, Atsushi
|
PEPM '18: "A Guess-and-Assume Approach ..."
A Guess-and-Assume Approach to Loop Fusion for Program Verification
Akifumi Imanishi, Kohei Suenaga, and Atsushi Igarashi
(Kyoto University, Japan)
@InProceedings{PEPM18p16,
author = {Akifumi Imanishi and Kohei Suenaga and Atsushi Igarashi},
title = {A Guess-and-Assume Approach to Loop Fusion for Program Verification},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3162070},
year = {2018},
}
Publisher's Version
|
| |
Imanishi, Akifumi |
PEPM '18: "A Guess-and-Assume Approach ..."
A Guess-and-Assume Approach to Loop Fusion for Program Verification
Akifumi Imanishi, Kohei Suenaga, and Atsushi Igarashi
(Kyoto University, Japan)
@InProceedings{PEPM18p16,
author = {Akifumi Imanishi and Kohei Suenaga and Atsushi Igarashi},
title = {A Guess-and-Assume Approach to Loop Fusion for Program Verification},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3162070},
year = {2018},
}
Publisher's Version
|
| |
Jay, Barry
|
PEPM '18: "Recursive Programs in Normal ..."
Recursive Programs in Normal Form (Short Paper)
Barry Jay
(University of Technology Sydney, Australia)
@InProceedings{PEPM18p94,
author = {Barry Jay},
title = {Recursive Programs in Normal Form (Short Paper)},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {94-93},
doi = {10.1145/3162067},
year = {2018},
}
Publisher's Version
|
| |
Kameyama, Yukiyoshi
|
PEPM '18: "Program Generation for ML ..."
Program Generation for ML Modules (Short Paper)
Takahisa Watanabe and Yukiyoshi Kameyama
(University of Tsukuba, Japan)
@InProceedings{PEPM18p85,
author = {Takahisa Watanabe and Yukiyoshi Kameyama},
title = {Program Generation for ML Modules (Short Paper)},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {85-84},
doi = {10.1145/3162072},
year = {2018},
}
Publisher's Version
|
| |
Kinder, Johannes |
PEPM '18: "Checking Cryptographic API ..."
Checking Cryptographic API Usage with Composable Annotations (Short Paper)
Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, and Johannes Kinder
(Royal Holloway University of London, UK)
@InProceedings{PEPM18p76,
author = {Duncan Mitchell and L. Thomas van Binsbergen and Blake Loring and Johannes Kinder},
title = {Checking Cryptographic API Usage with Composable Annotations (Short Paper)},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3162071},
year = {2018},
}
Publisher's Version
|
| |
Loring, Blake
|
PEPM '18: "Checking Cryptographic API ..."
Checking Cryptographic API Usage with Composable Annotations (Short Paper)
Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, and Johannes Kinder
(Royal Holloway University of London, UK)
@InProceedings{PEPM18p76,
author = {Duncan Mitchell and L. Thomas van Binsbergen and Blake Loring and Johannes Kinder},
title = {Checking Cryptographic API Usage with Composable Annotations (Short Paper)},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3162071},
year = {2018},
}
Publisher's Version
|
| |
Midtgaard, Jan
|
PEPM '18: "Developments in Property-Based ..."
Developments in Property-Based Testing (Invited Talk)
Jan Midtgaard
(University of Southern Denmark, Denmark)
@InProceedings{PEPM18p1,
author = {Jan Midtgaard},
title = {Developments in Property-Based Testing (Invited Talk)},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3168896},
year = {2018},
}
Publisher's Version
|
| |
Migeed, Zeina |
PEPM '18: "On the Cost of Type-Tag Soundness ..."
On the Cost of Type-Tag Soundness
Ben Greenman and Zeina Migeed
(Northeastern University, USA)
@InProceedings{PEPM18p46,
author = {Ben Greenman and Zeina Migeed},
title = {On the Cost of Type-Tag Soundness},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {46-45},
doi = {10.1145/3162066},
year = {2018},
}
Publisher's Version
|
| |
Mitchell, Duncan |
PEPM '18: "Checking Cryptographic API ..."
Checking Cryptographic API Usage with Composable Annotations (Short Paper)
Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, and Johannes Kinder
(Royal Holloway University of London, UK)
@InProceedings{PEPM18p76,
author = {Duncan Mitchell and L. Thomas van Binsbergen and Blake Loring and Johannes Kinder},
title = {Checking Cryptographic API Usage with Composable Annotations (Short Paper)},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3162071},
year = {2018},
}
Publisher's Version
|
| |
Siek, Jeremy G.
|
PEPM '18: "Gradually Typed Symbolic Expressions ..."
Gradually Typed Symbolic Expressions
David Broman and Jeremy G. Siek
(KTH, Sweden; Indiana University, USA)
@InProceedings{PEPM18p31,
author = {David Broman and Jeremy G. Siek},
title = {Gradually Typed Symbolic Expressions},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3162068},
year = {2018},
}
Publisher's Version
|
| |
Suenaga, Kohei |
PEPM '18: "A Guess-and-Assume Approach ..."
A Guess-and-Assume Approach to Loop Fusion for Program Verification
Akifumi Imanishi, Kohei Suenaga, and Atsushi Igarashi
(Kyoto University, Japan)
@InProceedings{PEPM18p16,
author = {Akifumi Imanishi and Kohei Suenaga and Atsushi Igarashi},
title = {A Guess-and-Assume Approach to Loop Fusion for Program Verification},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {16-15},
doi = {10.1145/3162070},
year = {2018},
}
Publisher's Version
|
| |
Uehara, Chihiro
|
PEPM '18: "Selective CPS Transformation ..."
Selective CPS Transformation for Shift and Reset
Kenichi Asai and Chihiro Uehara
(Ochanomizu University, Japan)
@InProceedings{PEPM18p61,
author = {Kenichi Asai and Chihiro Uehara},
title = {Selective CPS Transformation for Shift and Reset},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {61-60},
doi = {10.1145/3162069},
year = {2018},
}
Publisher's Version
|
| |
Van Binsbergen, L. Thomas
|
PEPM '18: "Checking Cryptographic API ..."
Checking Cryptographic API Usage with Composable Annotations (Short Paper)
Duncan Mitchell, L. Thomas van Binsbergen, Blake Loring, and Johannes Kinder
(Royal Holloway University of London, UK)
@InProceedings{PEPM18p76,
author = {Duncan Mitchell and L. Thomas van Binsbergen and Blake Loring and Johannes Kinder},
title = {Checking Cryptographic API Usage with Composable Annotations (Short Paper)},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {76-75},
doi = {10.1145/3162071},
year = {2018},
}
Publisher's Version
|
| |
Watanabe, Takahisa
|
PEPM '18: "Program Generation for ML ..."
Program Generation for ML Modules (Short Paper)
Takahisa Watanabe and Yukiyoshi Kameyama
(University of Tsukuba, Japan)
@InProceedings{PEPM18p85,
author = {Takahisa Watanabe and Yukiyoshi Kameyama},
title = {Program Generation for ML Modules (Short Paper)},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {85-84},
doi = {10.1145/3162072},
year = {2018},
}
Publisher's Version
|