Workshop PEPM 2021 – Author Index

A B C D G H K L O S T U

	Ariola, Zena M.	PEPM '21: "Strictly Capturing Non-strict ..." Strictly Capturing Non-strict Closures Zachary J. Sullivan, Paul Downen, and Zena M. Ariola (University of Oregon, USA) @InProceedings{PEPM21p111, author = {Zachary J. Sullivan and Paul Downen and Zena M. Ariola}, title = {Strictly Capturing Non-strict Closures}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {111-110}, doi = {10.1145/3441296.3441398}, year = {2021}, } Publisher's Version Article: poplws21pepmmain-p70-p doi:10.1145/3441296.3441398
	Boulytchev, Dmitry	PEPM '21: "Efficient Fair Conjunction ..." Efficient Fair Conjunction for Structurally-Recursive Relations Peter Lozov and Dmitry Boulytchev (St. Petersburg State University, Russia; JetBrains Research, Russia) @InProceedings{PEPM21p89, author = {Peter Lozov and Dmitry Boulytchev}, title = {Efficient Fair Conjunction for Structurally-Recursive Relations}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {89-88}, doi = {10.1145/3441296.3441397}, year = {2021}, } Publisher's Version Article: poplws21pepmmain-p20-p doi:10.1145/3441296.3441397
	Choi, Kwanghoon	PEPM '21: "A Text-Based Syntax Completion ..." A Text-Based Syntax Completion Method using LR Parsing Isao Sasano and Kwanghoon Choi (Shibaura Institute of Technology, Japan; Chonnam National University, South Korea) @InProceedings{PEPM21p45, author = {Isao Sasano and Kwanghoon Choi}, title = {A Text-Based Syntax Completion Method using LR Parsing}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3441296.3441395}, year = {2021}, } Publisher's Version Article: poplws21pepmmain-p6-p doi:10.1145/3441296.3441395
	Downen, Paul	PEPM '21: "Strictly Capturing Non-strict ..." Strictly Capturing Non-strict Closures Zachary J. Sullivan, Paul Downen, and Zena M. Ariola (University of Oregon, USA) @InProceedings{PEPM21p111, author = {Zachary J. Sullivan and Paul Downen and Zena M. Ariola}, title = {Strictly Capturing Non-strict Closures}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {111-110}, doi = {10.1145/3441296.3441398}, year = {2021}, } Publisher's Version Article: poplws21pepmmain-p70-p doi:10.1145/3441296.3441398
	Godiksen, Christian	PEPM '21: "A Type-Safe Structure Editor ..." A Type-Safe Structure Editor Calculus Christian Godiksen, Thomas Herrmann, Hans Hüttel, Mikkel Korup Lauridsen, and Iman Owliaie (Aalborg University, Denmark) @InProceedings{PEPM21p1, author = {Christian Godiksen and Thomas Herrmann and Hans Hüttel and Mikkel Korup Lauridsen and Iman Owliaie}, title = {A Type-Safe Structure Editor Calculus}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3441296.3441393}, year = {2021}, } Publisher's Version Article: poplws21pepmmain-p3-p doi:10.1145/3441296.3441393
	Herrmann, Thomas	PEPM '21: "A Type-Safe Structure Editor ..." A Type-Safe Structure Editor Calculus Christian Godiksen, Thomas Herrmann, Hans Hüttel, Mikkel Korup Lauridsen, and Iman Owliaie (Aalborg University, Denmark) @InProceedings{PEPM21p1, author = {Christian Godiksen and Thomas Herrmann and Hans Hüttel and Mikkel Korup Lauridsen and Iman Owliaie}, title = {A Type-Safe Structure Editor Calculus}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3441296.3441393}, year = {2021}, } Publisher's Version Article: poplws21pepmmain-p3-p doi:10.1145/3441296.3441393
	Hüttel, Hans	PEPM '21: "A Type-Safe Structure Editor ..." A Type-Safe Structure Editor Calculus Christian Godiksen, Thomas Herrmann, Hans Hüttel, Mikkel Korup Lauridsen, and Iman Owliaie (Aalborg University, Denmark) @InProceedings{PEPM21p1, author = {Christian Godiksen and Thomas Herrmann and Hans Hüttel and Mikkel Korup Lauridsen and Iman Owliaie}, title = {A Type-Safe Structure Editor Calculus}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3441296.3441393}, year = {2021}, } Publisher's Version Article: poplws21pepmmain-p3-p doi:10.1145/3441296.3441393
	Kobayashi, Naoki	PEPM '21: "Counterexample Generation ..." Counterexample Generation for Program Verification Based on Ownership Refinement Types Hideto Ueno, John Toman, Naoki Kobayashi, and Takeshi Tsukada (University of Tokyo, Japan; Certora, USA; Chiba University, Japan) @InProceedings{PEPM21p67, author = {Hideto Ueno and John Toman and Naoki Kobayashi and Takeshi Tsukada}, title = {Counterexample Generation for Program Verification Based on Ownership Refinement Types}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {67-66}, doi = {10.1145/3441296.3441396}, year = {2021}, } Publisher's Version Article: poplws21pepmmain-p10-p doi:10.1145/3441296.3441396
	Lauridsen, Mikkel Korup	PEPM '21: "A Type-Safe Structure Editor ..." A Type-Safe Structure Editor Calculus Christian Godiksen, Thomas Herrmann, Hans Hüttel, Mikkel Korup Lauridsen, and Iman Owliaie (Aalborg University, Denmark) @InProceedings{PEPM21p1, author = {Christian Godiksen and Thomas Herrmann and Hans Hüttel and Mikkel Korup Lauridsen and Iman Owliaie}, title = {A Type-Safe Structure Editor Calculus}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3441296.3441393}, year = {2021}, } Publisher's Version Article: poplws21pepmmain-p3-p doi:10.1145/3441296.3441393
	Lozov, Peter	PEPM '21: "Efficient Fair Conjunction ..." Efficient Fair Conjunction for Structurally-Recursive Relations Peter Lozov and Dmitry Boulytchev (St. Petersburg State University, Russia; JetBrains Research, Russia) @InProceedings{PEPM21p89, author = {Peter Lozov and Dmitry Boulytchev}, title = {Efficient Fair Conjunction for Structurally-Recursive Relations}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {89-88}, doi = {10.1145/3441296.3441397}, year = {2021}, } Publisher's Version Article: poplws21pepmmain-p20-p doi:10.1145/3441296.3441397
	Owliaie, Iman	PEPM '21: "A Type-Safe Structure Editor ..." A Type-Safe Structure Editor Calculus Christian Godiksen, Thomas Herrmann, Hans Hüttel, Mikkel Korup Lauridsen, and Iman Owliaie (Aalborg University, Denmark) @InProceedings{PEPM21p1, author = {Christian Godiksen and Thomas Herrmann and Hans Hüttel and Mikkel Korup Lauridsen and Iman Owliaie}, title = {A Type-Safe Structure Editor Calculus}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3441296.3441393}, year = {2021}, } Publisher's Version Article: poplws21pepmmain-p3-p doi:10.1145/3441296.3441393
	Sasano, Isao	PEPM '21: "A Text-Based Syntax Completion ..." A Text-Based Syntax Completion Method using LR Parsing Isao Sasano and Kwanghoon Choi (Shibaura Institute of Technology, Japan; Chonnam National University, South Korea) @InProceedings{PEPM21p45, author = {Isao Sasano and Kwanghoon Choi}, title = {A Text-Based Syntax Completion Method using LR Parsing}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {45-44}, doi = {10.1145/3441296.3441395}, year = {2021}, } Publisher's Version Article: poplws21pepmmain-p6-p doi:10.1145/3441296.3441395
	Sullivan, Zachary J.	PEPM '21: "Strictly Capturing Non-strict ..." Strictly Capturing Non-strict Closures Zachary J. Sullivan, Paul Downen, and Zena M. Ariola (University of Oregon, USA) @InProceedings{PEPM21p111, author = {Zachary J. Sullivan and Paul Downen and Zena M. Ariola}, title = {Strictly Capturing Non-strict Closures}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {111-110}, doi = {10.1145/3441296.3441398}, year = {2021}, } Publisher's Version Article: poplws21pepmmain-p70-p doi:10.1145/3441296.3441398
	Tanaka, Akira	PEPM '21: "Coq to C Translation with ..." Coq to C Translation with Partial Evaluation Akira Tanaka (AIST, Japan) @InProceedings{PEPM21p23, author = {Akira Tanaka}, title = {Coq to C Translation with Partial Evaluation}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3441296.3441394}, year = {2021}, } Publisher's Version Article: poplws21pepmmain-p5-p doi:10.1145/3441296.3441394
	Toman, John	PEPM '21: "Counterexample Generation ..." Counterexample Generation for Program Verification Based on Ownership Refinement Types Hideto Ueno, John Toman, Naoki Kobayashi, and Takeshi Tsukada (University of Tokyo, Japan; Certora, USA; Chiba University, Japan) @InProceedings{PEPM21p67, author = {Hideto Ueno and John Toman and Naoki Kobayashi and Takeshi Tsukada}, title = {Counterexample Generation for Program Verification Based on Ownership Refinement Types}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {67-66}, doi = {10.1145/3441296.3441396}, year = {2021}, } Publisher's Version Article: poplws21pepmmain-p10-p doi:10.1145/3441296.3441396
	Tsukada, Takeshi	PEPM '21: "Counterexample Generation ..." Counterexample Generation for Program Verification Based on Ownership Refinement Types Hideto Ueno, John Toman, Naoki Kobayashi, and Takeshi Tsukada (University of Tokyo, Japan; Certora, USA; Chiba University, Japan) @InProceedings{PEPM21p67, author = {Hideto Ueno and John Toman and Naoki Kobayashi and Takeshi Tsukada}, title = {Counterexample Generation for Program Verification Based on Ownership Refinement Types}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {67-66}, doi = {10.1145/3441296.3441396}, year = {2021}, } Publisher's Version Article: poplws21pepmmain-p10-p doi:10.1145/3441296.3441396
	Ueno, Hideto	PEPM '21: "Counterexample Generation ..." Counterexample Generation for Program Verification Based on Ownership Refinement Types Hideto Ueno, John Toman, Naoki Kobayashi, and Takeshi Tsukada (University of Tokyo, Japan; Certora, USA; Chiba University, Japan) @InProceedings{PEPM21p67, author = {Hideto Ueno and John Toman and Naoki Kobayashi and Takeshi Tsukada}, title = {Counterexample Generation for Program Verification Based on Ownership Refinement Types}, booktitle = {Proc.\ PEPM}, publisher = {ACM}, pages = {67-66}, doi = {10.1145/3441296.3441396}, year = {2021}, } Publisher's Version Article: poplws21pepmmain-p10-p doi:10.1145/3441296.3441396

17 authors

proc time: 0.02