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