PEPM 2016 – Author Index

A B H I K L N S T V W Y Z

	Afroozeh, Ali	PEPM '16: "Operator Precedence for Data-Dependent ..." Operator Precedence for Data-Dependent Grammars Ali Afroozeh and Anastasia Izmaylova (CWI, Netherlands) @InProceedings{PEPM16p13, author = {Ali Afroozeh and Anastasia Izmaylova}, title = {Operator Precedence for Data-Dependent Grammars}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2016}, } Article: pepm16main-mainid19-p (type: Full Paper (12 pages)) doi: PEPM '16: "Practical, General Parser ..." Practical, General Parser Combinators Anastasia Izmaylova, Ali Afroozeh, and Tijs van der Storm (CWI, Netherlands) @InProceedings{PEPM16p1, author = {Anastasia Izmaylova and Ali Afroozeh and Tijs van der Storm}, title = {Practical, General Parser Combinators}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: pepm16main-mainid18-p (type: Full Paper (12 pages)) doi:
	Antwerpen, Hendrik van	PEPM '16: "A Constraint Language for ..." A Constraint Language for Static Semantic Analysis Based on Scope Graphs Hendrik van Antwerpen, Pierre Néron, Andrew Tolmach, Eelco Visser, and Guido Wachsmuth (Delft University of Technology, Netherlands; Portland State University, USA) @InProceedings{PEPM16p49, author = {Hendrik van Antwerpen and Pierre Néron and Andrew Tolmach and Eelco Visser and Guido Wachsmuth}, title = {A Constraint Language for Static Semantic Analysis Based on Scope Graphs}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2016}, } Article: pepm16main-mainid15-p (type: Full Paper (12 pages)) doi:
	Asai, Kenichi	PEPM '16: "Toward Introducing Binding-Time ..." Toward Introducing Binding-Time Analysis to MetaOCaml Kenichi Asai (Ochanomizu University, Japan) @InProceedings{PEPM16p97, author = {Kenichi Asai}, title = {Toward Introducing Binding-Time Analysis to MetaOCaml}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {97-96}, doi = {}, year = {2016}, } Article: pepm16main-mainid8-p (type: Short Paper (6 pages)) doi:
	Brandvein, Jon	PEPM '16: "Removing Runtime Overhead ..." Removing Runtime Overhead for Optimized Object Queries Jon Brandvein and Yanhong A. Liu (Stony Brook University, USA) @InProceedings{PEPM16p73, author = {Jon Brandvein and Yanhong A. Liu}, title = {Removing Runtime Overhead for Optimized Object Queries}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2016}, } Article: pepm16main-mainid5-p (type: Full Paper (12 pages)) doi:
	Hu, Zhenjiang	PEPM '16: "BiGUL: A Formally Verified ..." BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming Hsiang-Shang Ko, Tao Zan, and Zhenjiang Hu (National Institute of Informatics, Japan; Sokendai, Japan) @InProceedings{PEPM16p61, author = {Hsiang-Shang Ko and Tao Zan and Zhenjiang Hu}, title = {BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2016}, } Article: pepm16main-mainid6-p (type: Full Paper (12 pages)) doi:
	Inoue, Jun	PEPM '16: "Staging beyond Terms: Prospects ..." Staging beyond Terms: Prospects and Challenges Jun Inoue, Oleg Kiselyov, and Yukiyoshi Kameyama (National Institute of Advanced Industrial Science and Technology, Japan; Tohoku University, Japan; University of Tsukuba, Japan) @InProceedings{PEPM16p103, author = {Jun Inoue and Oleg Kiselyov and Yukiyoshi Kameyama}, title = {Staging beyond Terms: Prospects and Challenges}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {103-102}, doi = {}, year = {2016}, } Article: pepm16main-mainid13-p (type: Short Paper (6 pages)) doi:
	Izmaylova, Anastasia	PEPM '16: "Operator Precedence for Data-Dependent ..." Operator Precedence for Data-Dependent Grammars Ali Afroozeh and Anastasia Izmaylova (CWI, Netherlands) @InProceedings{PEPM16p13, author = {Ali Afroozeh and Anastasia Izmaylova}, title = {Operator Precedence for Data-Dependent Grammars}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {13-12}, doi = {}, year = {2016}, } Article: pepm16main-mainid19-p (type: Full Paper (12 pages)) doi: PEPM '16: "Practical, General Parser ..." Practical, General Parser Combinators Anastasia Izmaylova, Ali Afroozeh, and Tijs van der Storm (CWI, Netherlands) @InProceedings{PEPM16p1, author = {Anastasia Izmaylova and Ali Afroozeh and Tijs van der Storm}, title = {Practical, General Parser Combinators}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: pepm16main-mainid18-p (type: Full Paper (12 pages)) doi:
	Kameyama, Yukiyoshi	PEPM '16: "Staging beyond Terms: Prospects ..." Staging beyond Terms: Prospects and Challenges Jun Inoue, Oleg Kiselyov, and Yukiyoshi Kameyama (National Institute of Advanced Industrial Science and Technology, Japan; Tohoku University, Japan; University of Tsukuba, Japan) @InProceedings{PEPM16p103, author = {Jun Inoue and Oleg Kiselyov and Yukiyoshi Kameyama}, title = {Staging beyond Terms: Prospects and Challenges}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {103-102}, doi = {}, year = {2016}, } Article: pepm16main-mainid13-p (type: Short Paper (6 pages)) doi: PEPM '16: "Finally, Safely-Extensible ..." Finally, Safely-Extensible and Efficient Language-Integrated Query Kenichi Suzuki, Oleg Kiselyov, and Yukiyoshi Kameyama (University of Tsukuba, Japan; Tohoku University, Japan) @InProceedings{PEPM16p37, author = {Kenichi Suzuki and Oleg Kiselyov and Yukiyoshi Kameyama}, title = {Finally, Safely-Extensible and Efficient Language-Integrated Query}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2016}, } Article: pepm16main-mainid14-p (type: Full Paper (12 pages)) doi:
	Kiselyov, Oleg	PEPM '16: "Staging beyond Terms: Prospects ..." Staging beyond Terms: Prospects and Challenges Jun Inoue, Oleg Kiselyov, and Yukiyoshi Kameyama (National Institute of Advanced Industrial Science and Technology, Japan; Tohoku University, Japan; University of Tsukuba, Japan) @InProceedings{PEPM16p103, author = {Jun Inoue and Oleg Kiselyov and Yukiyoshi Kameyama}, title = {Staging beyond Terms: Prospects and Challenges}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {103-102}, doi = {}, year = {2016}, } Article: pepm16main-mainid13-p (type: Short Paper (6 pages)) doi: PEPM '16: "Finally, Safely-Extensible ..." Finally, Safely-Extensible and Efficient Language-Integrated Query Kenichi Suzuki, Oleg Kiselyov, and Yukiyoshi Kameyama (University of Tsukuba, Japan; Tohoku University, Japan) @InProceedings{PEPM16p37, author = {Kenichi Suzuki and Oleg Kiselyov and Yukiyoshi Kameyama}, title = {Finally, Safely-Extensible and Efficient Language-Integrated Query}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2016}, } Article: pepm16main-mainid14-p (type: Full Paper (12 pages)) doi:
	Ko, Hsiang-Shang	PEPM '16: "BiGUL: A Formally Verified ..." BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming Hsiang-Shang Ko, Tao Zan, and Zhenjiang Hu (National Institute of Informatics, Japan; Sokendai, Japan) @InProceedings{PEPM16p61, author = {Hsiang-Shang Ko and Tao Zan and Zhenjiang Hu}, title = {BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2016}, } Article: pepm16main-mainid6-p (type: Full Paper (12 pages)) doi:
	Lindley, Sam	PEPM '16: "Everything Old Is New Again: ..." Everything Old Is New Again: Quoted Domain-Specific Languages Shayan Najd, Sam Lindley, Josef Svenningsson, and Philip Wadler (University of Edinburgh, UK; Chalmers University of Technology, Sweden) @InProceedings{PEPM16p25, author = {Shayan Najd and Sam Lindley and Josef Svenningsson and Philip Wadler}, title = {Everything Old Is New Again: Quoted Domain-Specific Languages}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2016}, } Article: pepm16main-mainid3-p (type: Full Paper (12 pages)) doi:
	Liu, Yanhong A.	PEPM '16: "Removing Runtime Overhead ..." Removing Runtime Overhead for Optimized Object Queries Jon Brandvein and Yanhong A. Liu (Stony Brook University, USA) @InProceedings{PEPM16p73, author = {Jon Brandvein and Yanhong A. Liu}, title = {Removing Runtime Overhead for Optimized Object Queries}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {73-72}, doi = {}, year = {2016}, } Article: pepm16main-mainid5-p (type: Full Paper (12 pages)) doi:
	Najd, Shayan	PEPM '16: "Everything Old Is New Again: ..." Everything Old Is New Again: Quoted Domain-Specific Languages Shayan Najd, Sam Lindley, Josef Svenningsson, and Philip Wadler (University of Edinburgh, UK; Chalmers University of Technology, Sweden) @InProceedings{PEPM16p25, author = {Shayan Najd and Sam Lindley and Josef Svenningsson and Philip Wadler}, title = {Everything Old Is New Again: Quoted Domain-Specific Languages}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2016}, } Article: pepm16main-mainid3-p (type: Full Paper (12 pages)) doi:
	Néron, Pierre	PEPM '16: "A Constraint Language for ..." A Constraint Language for Static Semantic Analysis Based on Scope Graphs Hendrik van Antwerpen, Pierre Néron, Andrew Tolmach, Eelco Visser, and Guido Wachsmuth (Delft University of Technology, Netherlands; Portland State University, USA) @InProceedings{PEPM16p49, author = {Hendrik van Antwerpen and Pierre Néron and Andrew Tolmach and Eelco Visser and Guido Wachsmuth}, title = {A Constraint Language for Static Semantic Analysis Based on Scope Graphs}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2016}, } Article: pepm16main-mainid15-p (type: Full Paper (12 pages)) doi:
	Storm, Tijs van der	PEPM '16: "Practical, General Parser ..." Practical, General Parser Combinators Anastasia Izmaylova, Ali Afroozeh, and Tijs van der Storm (CWI, Netherlands) @InProceedings{PEPM16p1, author = {Anastasia Izmaylova and Ali Afroozeh and Tijs van der Storm}, title = {Practical, General Parser Combinators}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {1-0}, doi = {}, year = {2016}, } Article: pepm16main-mainid18-p (type: Full Paper (12 pages)) doi:
	Suzuki, Kenichi	PEPM '16: "Finally, Safely-Extensible ..." Finally, Safely-Extensible and Efficient Language-Integrated Query Kenichi Suzuki, Oleg Kiselyov, and Yukiyoshi Kameyama (University of Tsukuba, Japan; Tohoku University, Japan) @InProceedings{PEPM16p37, author = {Kenichi Suzuki and Oleg Kiselyov and Yukiyoshi Kameyama}, title = {Finally, Safely-Extensible and Efficient Language-Integrated Query}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {37-36}, doi = {}, year = {2016}, } Article: pepm16main-mainid14-p (type: Full Paper (12 pages)) doi:
	Svenningsson, Josef	PEPM '16: "Everything Old Is New Again: ..." Everything Old Is New Again: Quoted Domain-Specific Languages Shayan Najd, Sam Lindley, Josef Svenningsson, and Philip Wadler (University of Edinburgh, UK; Chalmers University of Technology, Sweden) @InProceedings{PEPM16p25, author = {Shayan Najd and Sam Lindley and Josef Svenningsson and Philip Wadler}, title = {Everything Old Is New Again: Quoted Domain-Specific Languages}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2016}, } Article: pepm16main-mainid3-p (type: Full Paper (12 pages)) doi:
	Tolmach, Andrew	PEPM '16: "A Constraint Language for ..." A Constraint Language for Static Semantic Analysis Based on Scope Graphs Hendrik van Antwerpen, Pierre Néron, Andrew Tolmach, Eelco Visser, and Guido Wachsmuth (Delft University of Technology, Netherlands; Portland State University, USA) @InProceedings{PEPM16p49, author = {Hendrik van Antwerpen and Pierre Néron and Andrew Tolmach and Eelco Visser and Guido Wachsmuth}, title = {A Constraint Language for Static Semantic Analysis Based on Scope Graphs}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2016}, } Article: pepm16main-mainid15-p (type: Full Paper (12 pages)) doi:
	Visser, Eelco	PEPM '16: "A Constraint Language for ..." A Constraint Language for Static Semantic Analysis Based on Scope Graphs Hendrik van Antwerpen, Pierre Néron, Andrew Tolmach, Eelco Visser, and Guido Wachsmuth (Delft University of Technology, Netherlands; Portland State University, USA) @InProceedings{PEPM16p49, author = {Hendrik van Antwerpen and Pierre Néron and Andrew Tolmach and Eelco Visser and Guido Wachsmuth}, title = {A Constraint Language for Static Semantic Analysis Based on Scope Graphs}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2016}, } Article: pepm16main-mainid15-p (type: Full Paper (12 pages)) doi:
	Wachsmuth, Guido	PEPM '16: "A Constraint Language for ..." A Constraint Language for Static Semantic Analysis Based on Scope Graphs Hendrik van Antwerpen, Pierre Néron, Andrew Tolmach, Eelco Visser, and Guido Wachsmuth (Delft University of Technology, Netherlands; Portland State University, USA) @InProceedings{PEPM16p49, author = {Hendrik van Antwerpen and Pierre Néron and Andrew Tolmach and Eelco Visser and Guido Wachsmuth}, title = {A Constraint Language for Static Semantic Analysis Based on Scope Graphs}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {49-48}, doi = {}, year = {2016}, } Article: pepm16main-mainid15-p (type: Full Paper (12 pages)) doi:
	Wadler, Philip	PEPM '16: "Everything Old Is New Again: ..." Everything Old Is New Again: Quoted Domain-Specific Languages Shayan Najd, Sam Lindley, Josef Svenningsson, and Philip Wadler (University of Edinburgh, UK; Chalmers University of Technology, Sweden) @InProceedings{PEPM16p25, author = {Shayan Najd and Sam Lindley and Josef Svenningsson and Philip Wadler}, title = {Everything Old Is New Again: Quoted Domain-Specific Languages}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {25-24}, doi = {}, year = {2016}, } Article: pepm16main-mainid3-p (type: Full Paper (12 pages)) doi:
	Yallop, Jeremy	PEPM '16: "Staging Generic Programming ..." Staging Generic Programming Jeremy Yallop (University of Cambridge, UK) @InProceedings{PEPM16p85, author = {Jeremy Yallop}, title = {Staging Generic Programming}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {85-84}, doi = {}, year = {2016}, } Article: pepm16main-mainid21-p (type: Full Paper (12 pages)) doi:
	Zan, Tao	PEPM '16: "BiGUL: A Formally Verified ..." BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming Hsiang-Shang Ko, Tao Zan, and Zhenjiang Hu (National Institute of Informatics, Japan; Sokendai, Japan) @InProceedings{PEPM16p61, author = {Hsiang-Shang Ko and Tao Zan and Zhenjiang Hu}, title = {BiGUL: A Formally Verified Core Language for Putback-Based Bidirectional Programming}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {61-60}, doi = {}, year = {2016}, } Article: pepm16main-mainid6-p (type: Full Paper (12 pages)) doi:

27 authors

proc time: 0.03