Workshop TAPAS 2020 – Author Index

A B F G H K L M P R S

	Adam, Justus	TAPAS '20: "Type Checking beyond Type ..." Type Checking beyond Type Checkers, via Slice & Run Justus Adam and Stephen Kell (University of Kent, UK) @InProceedings{TAPAS20p26, author = {Justus Adam and Stephen Kell}, title = {Type Checking beyond Type Checkers, via Slice & Run}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {26-25}, doi = {10.1145/3427764.3428324}, year = {2020}, } Publisher's Version Article: splashws20tapasmain-id7-p doi:10.1145/3427764.3428324
	Bischof, Christian	TAPAS '20: "MetaCG: Annotated Call-Graphs ..." MetaCG: Annotated Call-Graphs to Facilitate Whole-Program Analysis Jan-Patrick Lehr, Alexander Hück, Yannic Fischler, and Christian Bischof (TU Darmstadt, Germany) @InProceedings{TAPAS20p3, author = {Jan-Patrick Lehr and Alexander Hück and Yannic Fischler and Christian Bischof}, title = {MetaCG: Annotated Call-Graphs to Facilitate Whole-Program Analysis}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {3-2}, doi = {10.1145/3427764.3428320}, year = {2020}, } Publisher's Version Article: splashws20tapasmain-id3-p doi:10.1145/3427764.3428320
	Fischler, Yannic	TAPAS '20: "MetaCG: Annotated Call-Graphs ..." MetaCG: Annotated Call-Graphs to Facilitate Whole-Program Analysis Jan-Patrick Lehr, Alexander Hück, Yannic Fischler, and Christian Bischof (TU Darmstadt, Germany) @InProceedings{TAPAS20p3, author = {Jan-Patrick Lehr and Alexander Hück and Yannic Fischler and Christian Bischof}, title = {MetaCG: Annotated Call-Graphs to Facilitate Whole-Program Analysis}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {3-2}, doi = {10.1145/3427764.3428320}, year = {2020}, } Publisher's Version Article: splashws20tapasmain-id3-p doi:10.1145/3427764.3428320
	Geisler, Dietrich	TAPAS '20: "Online Verification of Commutativity ..." Online Verification of Commutativity Aditi Kabra, Dietrich Geisler, and Adrian Sampson (Carnegie Mellon University, USA; Cornell University, USA) @InProceedings{TAPAS20p13, author = {Aditi Kabra and Dietrich Geisler and Adrian Sampson}, title = {Online Verification of Commutativity}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {13-12}, doi = {10.1145/3427764.3428322}, year = {2020}, } Publisher's Version Article: splashws20tapasmain-id5-p doi:10.1145/3427764.3428322
	Hück, Alexander	TAPAS '20: "MetaCG: Annotated Call-Graphs ..." MetaCG: Annotated Call-Graphs to Facilitate Whole-Program Analysis Jan-Patrick Lehr, Alexander Hück, Yannic Fischler, and Christian Bischof (TU Darmstadt, Germany) @InProceedings{TAPAS20p3, author = {Jan-Patrick Lehr and Alexander Hück and Yannic Fischler and Christian Bischof}, title = {MetaCG: Annotated Call-Graphs to Facilitate Whole-Program Analysis}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {3-2}, doi = {10.1145/3427764.3428320}, year = {2020}, } Publisher's Version Article: splashws20tapasmain-id3-p doi:10.1145/3427764.3428320
	Kabra, Aditi	TAPAS '20: "Online Verification of Commutativity ..." Online Verification of Commutativity Aditi Kabra, Dietrich Geisler, and Adrian Sampson (Carnegie Mellon University, USA; Cornell University, USA) @InProceedings{TAPAS20p13, author = {Aditi Kabra and Dietrich Geisler and Adrian Sampson}, title = {Online Verification of Commutativity}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {13-12}, doi = {10.1145/3427764.3428322}, year = {2020}, } Publisher's Version Article: splashws20tapasmain-id5-p doi:10.1145/3427764.3428322
	Kashyap, Vineeth	TAPAS '20: "API Analytics for Curating ..." API Analytics for Curating Static Analysis Rules Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melski, and Lucja Kot (GrammaTech, USA) @InProceedings{TAPAS20p1, author = {Vineeth Kashyap and Roger Scott and Joseph Ranieri and David Melski and Lucja Kot}, title = {API Analytics for Curating Static Analysis Rules}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3427764.3428318}, year = {2020}, } Publisher's Version Article: splashws20tapasmain-id1-p doi:10.1145/3427764.3428318
	Kell, Stephen	TAPAS '20: "Type Checking beyond Type ..." Type Checking beyond Type Checkers, via Slice & Run Justus Adam and Stephen Kell (University of Kent, UK) @InProceedings{TAPAS20p26, author = {Justus Adam and Stephen Kell}, title = {Type Checking beyond Type Checkers, via Slice & Run}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {26-25}, doi = {10.1145/3427764.3428324}, year = {2020}, } Publisher's Version Article: splashws20tapasmain-id7-p doi:10.1145/3427764.3428324
	Kot, Lucja	TAPAS '20: "API Analytics for Curating ..." API Analytics for Curating Static Analysis Rules Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melski, and Lucja Kot (GrammaTech, USA) @InProceedings{TAPAS20p1, author = {Vineeth Kashyap and Roger Scott and Joseph Ranieri and David Melski and Lucja Kot}, title = {API Analytics for Curating Static Analysis Rules}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3427764.3428318}, year = {2020}, } Publisher's Version Article: splashws20tapasmain-id1-p doi:10.1145/3427764.3428318
	Lehr, Jan-Patrick	TAPAS '20: "MetaCG: Annotated Call-Graphs ..." MetaCG: Annotated Call-Graphs to Facilitate Whole-Program Analysis Jan-Patrick Lehr, Alexander Hück, Yannic Fischler, and Christian Bischof (TU Darmstadt, Germany) @InProceedings{TAPAS20p3, author = {Jan-Patrick Lehr and Alexander Hück and Yannic Fischler and Christian Bischof}, title = {MetaCG: Annotated Call-Graphs to Facilitate Whole-Program Analysis}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {3-2}, doi = {10.1145/3427764.3428320}, year = {2020}, } Publisher's Version Article: splashws20tapasmain-id3-p doi:10.1145/3427764.3428320
	Melski, David	TAPAS '20: "API Analytics for Curating ..." API Analytics for Curating Static Analysis Rules Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melski, and Lucja Kot (GrammaTech, USA) @InProceedings{TAPAS20p1, author = {Vineeth Kashyap and Roger Scott and Joseph Ranieri and David Melski and Lucja Kot}, title = {API Analytics for Curating Static Analysis Rules}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3427764.3428318}, year = {2020}, } Publisher's Version Article: splashws20tapasmain-id1-p doi:10.1145/3427764.3428318
	Piskac, Ruzica	TAPAS '20: "Towards Checkpoint Placement ..." Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing Nicholas Shoemaker, Ruzica Piskac, and Mark Santolucito (Branford High School, USA; Yale University, USA; Barnard College, USA; Columbia University, USA) @InProceedings{TAPAS20p23, author = {Nicholas Shoemaker and Ruzica Piskac and Mark Santolucito}, title = {Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3427764.3428323}, year = {2020}, } Publisher's Version Article: splashws20tapasmain-id6-p doi:10.1145/3427764.3428323
	Ranieri, Joseph	TAPAS '20: "API Analytics for Curating ..." API Analytics for Curating Static Analysis Rules Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melski, and Lucja Kot (GrammaTech, USA) @InProceedings{TAPAS20p1, author = {Vineeth Kashyap and Roger Scott and Joseph Ranieri and David Melski and Lucja Kot}, title = {API Analytics for Curating Static Analysis Rules}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3427764.3428318}, year = {2020}, } Publisher's Version Article: splashws20tapasmain-id1-p doi:10.1145/3427764.3428318
	Sampson, Adrian	TAPAS '20: "Online Verification of Commutativity ..." Online Verification of Commutativity Aditi Kabra, Dietrich Geisler, and Adrian Sampson (Carnegie Mellon University, USA; Cornell University, USA) @InProceedings{TAPAS20p13, author = {Aditi Kabra and Dietrich Geisler and Adrian Sampson}, title = {Online Verification of Commutativity}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {13-12}, doi = {10.1145/3427764.3428322}, year = {2020}, } Publisher's Version Article: splashws20tapasmain-id5-p doi:10.1145/3427764.3428322
	Santolucito, Mark	TAPAS '20: "Towards Checkpoint Placement ..." Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing Nicholas Shoemaker, Ruzica Piskac, and Mark Santolucito (Branford High School, USA; Yale University, USA; Barnard College, USA; Columbia University, USA) @InProceedings{TAPAS20p23, author = {Nicholas Shoemaker and Ruzica Piskac and Mark Santolucito}, title = {Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3427764.3428323}, year = {2020}, } Publisher's Version Article: splashws20tapasmain-id6-p doi:10.1145/3427764.3428323
	Scott, Roger	TAPAS '20: "API Analytics for Curating ..." API Analytics for Curating Static Analysis Rules Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melski, and Lucja Kot (GrammaTech, USA) @InProceedings{TAPAS20p1, author = {Vineeth Kashyap and Roger Scott and Joseph Ranieri and David Melski and Lucja Kot}, title = {API Analytics for Curating Static Analysis Rules}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3427764.3428318}, year = {2020}, } Publisher's Version Article: splashws20tapasmain-id1-p doi:10.1145/3427764.3428318
	Shoemaker, Nicholas	TAPAS '20: "Towards Checkpoint Placement ..." Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing Nicholas Shoemaker, Ruzica Piskac, and Mark Santolucito (Branford High School, USA; Yale University, USA; Barnard College, USA; Columbia University, USA) @InProceedings{TAPAS20p23, author = {Nicholas Shoemaker and Ruzica Piskac and Mark Santolucito}, title = {Towards Checkpoint Placement for Dynamic Memory Allocation in Intermittent Computing}, booktitle = {Proc.\ TAPAS}, publisher = {ACM}, pages = {23-22}, doi = {10.1145/3427764.3428323}, year = {2020}, } Publisher's Version Article: splashws20tapasmain-id6-p doi:10.1145/3427764.3428323

17 authors

proc time: 1.1