| |
Asai, Kenichi
|
PEPM '19: "Extracting a Call-by-Name ..."
Extracting a Call-by-Name Partial Evaluator from a Proof of Termination
Kenichi Asai
(Ochanomizu University, Japan)
@InProceedings{PEPM19p89,
author = {Kenichi Asai},
title = {Extracting a Call-by-Name Partial Evaluator from a Proof of Termination},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {89-88},
doi = {10.1145/3294032.3294084},
year = {2019},
}
 Publisher's Version
Article: poplws19pepmmain-p51-p doi:10.1145/3294032.3294084
|
| |
Cao, Xinya
|
PEPM '19: "Method Name Suggestion with ..."
Method Name Suggestion with Hierarchical Attention Networks
Sihan Xu, Sen Zhang, Weijing Wang, Xinya Cao, Chenkai Guo, and Jing Xu
(Nankai University, China)
@InProceedings{PEPM19p18,
author = {Sihan Xu and Sen Zhang and Weijing Wang and Xinya Cao and Chenkai Guo and Jing Xu},
title = {Method Name Suggestion with Hierarchical Attention Networks},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {18-17},
doi = {10.1145/3294032.3294079},
year = {2019},
}
Publisher's Version
Article: poplws19pepmmain-p8-p doi:10.1145/3294032.3294079
|
| |
Dauth, Tamino
|
PEPM '19: "Futures and Promises in Haskell ..."
Futures and Promises in Haskell and Scala
Tamino Dauth and Martin Sulzmann
(Karlsruhe University of Applied Sciences, Germany)
@InProceedings{PEPM19p99,
author = {Tamino Dauth and Martin Sulzmann},
title = {Futures and Promises in Haskell and Scala},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {99-98},
doi = {10.1145/3294032.3294080},
year = {2019},
}
Publisher's Version
Article: poplws19pepmmain-p9-p doi:10.1145/3294032.3294080
|
| |
Guo, Chenkai
|
PEPM '19: "Method Name Suggestion with ..."
Method Name Suggestion with Hierarchical Attention Networks
Sihan Xu, Sen Zhang, Weijing Wang, Xinya Cao, Chenkai Guo, and Jing Xu
(Nankai University, China)
@InProceedings{PEPM19p18,
author = {Sihan Xu and Sen Zhang and Weijing Wang and Xinya Cao and Chenkai Guo and Jing Xu},
title = {Method Name Suggestion with Hierarchical Attention Networks},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {18-17},
doi = {10.1145/3294032.3294079},
year = {2019},
}
Publisher's Version
Article: poplws19pepmmain-p8-p doi:10.1145/3294032.3294079
|
| |
Iwayama, Naoki
|
PEPM '19: "Combining Higher-Order Model ..."
Combining Higher-Order Model Checking with Refinement Type Inference
Ryosuke Sato, Naoki Iwayama, and Naoki Kobayashi
(Kyushu University, Japan; University of Tokyo, Japan)
@InProceedings{PEPM19p69,
author = {Ryosuke Sato and Naoki Iwayama and Naoki Kobayashi},
title = {Combining Higher-Order Model Checking with Refinement Type Inference},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {69-68},
doi = {10.1145/3294032.3294081},
year = {2019},
}
Publisher's Version
Article: poplws19pepmmain-p13-p doi:10.1145/3294032.3294081
|
| |
Jay, Barry
|
PEPM '19: "A Simpler Lambda Calculus ..."
A Simpler Lambda Calculus
Barry Jay
(University of Technology Sydney, Australia)
@InProceedings{PEPM19p1,
author = {Barry Jay},
title = {A Simpler Lambda Calculus},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3294032.3294085},
year = {2019},
}
Publisher's Version
Article: poplws19pepmmain-p64-p doi:10.1145/3294032.3294085
|
| |
Kiselyov, Oleg
|
PEPM '19: "Generating Mutually Recursive ..."
Generating Mutually Recursive Definitions
Jeremy Yallop and Oleg Kiselyov
(University of Cambridge, UK; Tohoku University, Japan)
@InProceedings{PEPM19p109,
author = {Jeremy Yallop and Oleg Kiselyov},
title = {Generating Mutually Recursive Definitions},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3294032.3294078},
year = {2019},
}
Publisher's Version
Article: poplws19pepmmain-p5-p doi:10.1145/3294032.3294078
|
| |
Kobayashi, Naoki |
PEPM '19: "Reduction from Branching-Time ..."
Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking
Keiichi Watanabe, Takeshi Tsukada, Hiroki Oshikawa, and Naoki Kobayashi
(University of Tokyo, Japan)
@InProceedings{PEPM19p35,
author = {Keiichi Watanabe and Takeshi Tsukada and Hiroki Oshikawa and Naoki Kobayashi},
title = {Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3294032.3294077},
year = {2019},
}
Publisher's Version
Article: poplws19pepmmain-p2-p doi:10.1145/3294032.3294077
PEPM '19: "Combining Higher-Order Model ..."
Combining Higher-Order Model Checking with Refinement Type Inference
Ryosuke Sato, Naoki Iwayama, and Naoki Kobayashi
(Kyushu University, Japan; University of Tokyo, Japan)
@InProceedings{PEPM19p69,
author = {Ryosuke Sato and Naoki Iwayama and Naoki Kobayashi},
title = {Combining Higher-Order Model Checking with Refinement Type Inference},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {69-68},
doi = {10.1145/3294032.3294081},
year = {2019},
}
Publisher's Version
Article: poplws19pepmmain-p13-p doi:10.1145/3294032.3294081
|
| |
Lu, Kenny Zhuo Ming
|
PEPM '19: "Control Flow Obfuscation via ..."
Control Flow Obfuscation via CPS Transformation
Kenny Zhuo Ming Lu
(Nanyang Polytechnic, Singapore)
@InProceedings{PEPM19p79,
author = {Kenny Zhuo Ming Lu},
title = {Control Flow Obfuscation via CPS Transformation},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3294032.3294083},
year = {2019},
}
Publisher's Version
Article: poplws19pepmmain-p32-p doi:10.1145/3294032.3294083
|
| |
Oshikawa, Hiroki
|
PEPM '19: "Reduction from Branching-Time ..."
Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking
Keiichi Watanabe, Takeshi Tsukada, Hiroki Oshikawa, and Naoki Kobayashi
(University of Tokyo, Japan)
@InProceedings{PEPM19p35,
author = {Keiichi Watanabe and Takeshi Tsukada and Hiroki Oshikawa and Naoki Kobayashi},
title = {Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3294032.3294077},
year = {2019},
}
Publisher's Version
Article: poplws19pepmmain-p2-p doi:10.1145/3294032.3294077
|
| |
Radanne, Gabriel
|
PEPM '19: "Typed Parsing and Unparsing ..."
Typed Parsing and Unparsing for Untyped Regular Expression Engines
Gabriel Radanne
(University of Freiburg, Germany)
@InProceedings{PEPM19p52,
author = {Gabriel Radanne},
title = {Typed Parsing and Unparsing for Untyped Regular Expression Engines},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {52-51},
doi = {10.1145/3294032.3294082},
year = {2019},
}
Publisher's Version
Article: poplws19pepmmain-p30-p doi:10.1145/3294032.3294082
|
| |
Sato, Ryosuke
|
PEPM '19: "Combining Higher-Order Model ..."
Combining Higher-Order Model Checking with Refinement Type Inference
Ryosuke Sato, Naoki Iwayama, and Naoki Kobayashi
(Kyushu University, Japan; University of Tokyo, Japan)
@InProceedings{PEPM19p69,
author = {Ryosuke Sato and Naoki Iwayama and Naoki Kobayashi},
title = {Combining Higher-Order Model Checking with Refinement Type Inference},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {69-68},
doi = {10.1145/3294032.3294081},
year = {2019},
}
Publisher's Version
Article: poplws19pepmmain-p13-p doi:10.1145/3294032.3294081
|
| |
Sulzmann, Martin |
PEPM '19: "Futures and Promises in Haskell ..."
Futures and Promises in Haskell and Scala
Tamino Dauth and Martin Sulzmann
(Karlsruhe University of Applied Sciences, Germany)
@InProceedings{PEPM19p99,
author = {Tamino Dauth and Martin Sulzmann},
title = {Futures and Promises in Haskell and Scala},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {99-98},
doi = {10.1145/3294032.3294080},
year = {2019},
}
Publisher's Version
Article: poplws19pepmmain-p9-p doi:10.1145/3294032.3294080
|
| |
Tsukada, Takeshi
|
PEPM '19: "Reduction from Branching-Time ..."
Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking
Keiichi Watanabe, Takeshi Tsukada, Hiroki Oshikawa, and Naoki Kobayashi
(University of Tokyo, Japan)
@InProceedings{PEPM19p35,
author = {Keiichi Watanabe and Takeshi Tsukada and Hiroki Oshikawa and Naoki Kobayashi},
title = {Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3294032.3294077},
year = {2019},
}
Publisher's Version
Article: poplws19pepmmain-p2-p doi:10.1145/3294032.3294077
|
| |
Wang, Weijing
|
PEPM '19: "Method Name Suggestion with ..."
Method Name Suggestion with Hierarchical Attention Networks
Sihan Xu, Sen Zhang, Weijing Wang, Xinya Cao, Chenkai Guo, and Jing Xu
(Nankai University, China)
@InProceedings{PEPM19p18,
author = {Sihan Xu and Sen Zhang and Weijing Wang and Xinya Cao and Chenkai Guo and Jing Xu},
title = {Method Name Suggestion with Hierarchical Attention Networks},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {18-17},
doi = {10.1145/3294032.3294079},
year = {2019},
}
Publisher's Version
Article: poplws19pepmmain-p8-p doi:10.1145/3294032.3294079
|
| |
Watanabe, Keiichi |
PEPM '19: "Reduction from Branching-Time ..."
Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking
Keiichi Watanabe, Takeshi Tsukada, Hiroki Oshikawa, and Naoki Kobayashi
(University of Tokyo, Japan)
@InProceedings{PEPM19p35,
author = {Keiichi Watanabe and Takeshi Tsukada and Hiroki Oshikawa and Naoki Kobayashi},
title = {Reduction from Branching-Time Property Verification of Higher-Order Programs to HFL Validity Checking},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {35-34},
doi = {10.1145/3294032.3294077},
year = {2019},
}
Publisher's Version
Article: poplws19pepmmain-p2-p doi:10.1145/3294032.3294077
|
| |
Xu, Jing
|
PEPM '19: "Method Name Suggestion with ..."
Method Name Suggestion with Hierarchical Attention Networks
Sihan Xu, Sen Zhang, Weijing Wang, Xinya Cao, Chenkai Guo, and Jing Xu
(Nankai University, China)
@InProceedings{PEPM19p18,
author = {Sihan Xu and Sen Zhang and Weijing Wang and Xinya Cao and Chenkai Guo and Jing Xu},
title = {Method Name Suggestion with Hierarchical Attention Networks},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {18-17},
doi = {10.1145/3294032.3294079},
year = {2019},
}
Publisher's Version
Article: poplws19pepmmain-p8-p doi:10.1145/3294032.3294079
|
| |
Xu, Sihan |
PEPM '19: "Method Name Suggestion with ..."
Method Name Suggestion with Hierarchical Attention Networks
Sihan Xu, Sen Zhang, Weijing Wang, Xinya Cao, Chenkai Guo, and Jing Xu
(Nankai University, China)
@InProceedings{PEPM19p18,
author = {Sihan Xu and Sen Zhang and Weijing Wang and Xinya Cao and Chenkai Guo and Jing Xu},
title = {Method Name Suggestion with Hierarchical Attention Networks},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {18-17},
doi = {10.1145/3294032.3294079},
year = {2019},
}
Publisher's Version
Article: poplws19pepmmain-p8-p doi:10.1145/3294032.3294079
|
| |
Yallop, Jeremy
|
PEPM '19: "Generating Mutually Recursive ..."
Generating Mutually Recursive Definitions
Jeremy Yallop and Oleg Kiselyov
(University of Cambridge, UK; Tohoku University, Japan)
@InProceedings{PEPM19p109,
author = {Jeremy Yallop and Oleg Kiselyov},
title = {Generating Mutually Recursive Definitions},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3294032.3294078},
year = {2019},
}
Publisher's Version
Article: poplws19pepmmain-p5-p doi:10.1145/3294032.3294078
|
| |
Zhang, Sen
|
PEPM '19: "Method Name Suggestion with ..."
Method Name Suggestion with Hierarchical Attention Networks
Sihan Xu, Sen Zhang, Weijing Wang, Xinya Cao, Chenkai Guo, and Jing Xu
(Nankai University, China)
@InProceedings{PEPM19p18,
author = {Sihan Xu and Sen Zhang and Weijing Wang and Xinya Cao and Chenkai Guo and Jing Xu},
title = {Method Name Suggestion with Hierarchical Attention Networks},
booktitle = {Proc.\ PEPM},
publisher = {ACM},
pages = {18-17},
doi = {10.1145/3294032.3294079},
year = {2019},
}
Publisher's Version
Article: poplws19pepmmain-p8-p doi:10.1145/3294032.3294079
|