SPLASH Workshops 2020
2020 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH Workshops 2020)
Powered by
Conference Publishing Consulting

11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis (TAPAS 2020), November 17, 2020, Virtual, USA

Workshop TAPAS 2020 – Author Index

Contents - Abstracts - Authors

A B F G H K L M P R S

Adam, Justus TAPAS '20: "Type Checking beyond Type ..."
Bischof, Christian TAPAS '20: "MetaCG: Annotated Call-Graphs ..."
Fischler, Yannic TAPAS '20: "MetaCG: Annotated Call-Graphs ..."
Geisler, Dietrich TAPAS '20: "Online Verification of Commutativity ..."
Hück, Alexander TAPAS '20: "MetaCG: Annotated Call-Graphs ..."
Kabra, Aditi TAPAS '20: "Online Verification of Commutativity ..."
Kashyap, Vineeth TAPAS '20: "API Analytics for Curating ..."
Kell, Stephen TAPAS '20: "Type Checking beyond Type ..."
Kot, Lucja TAPAS '20: "API Analytics for Curating ..."
Lehr, Jan-Patrick TAPAS '20: "MetaCG: Annotated Call-Graphs ..."
Melski, David TAPAS '20: "API Analytics for Curating ..."
Piskac, Ruzica TAPAS '20: "Towards Checkpoint Placement ..."
Ranieri, Joseph TAPAS '20: "API Analytics for Curating ..."
Sampson, Adrian TAPAS '20: "Online Verification of Commutativity ..."
Santolucito, Mark TAPAS '20: "Towards Checkpoint Placement ..."
Scott, Roger TAPAS '20: "API Analytics for Curating ..."
Shoemaker, Nicholas TAPAS '20: "Towards Checkpoint Placement ..."

17 authors

proc time: 8.73