TAPAS@SPLASH

Publications

2020

Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, TAPAS@SPLASH 2020, Virtual Event, USA, November 17, 2020. TAPAS@SPLASH (2020)
Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melski, Lucja Kot
API analytics for curating static analysis rules. TAPAS@SPLASH (2020)
Aditi Kabra, Dietrich Geisler, Adrian Sampson
Online verification of commutativity. TAPAS@SPLASH (2020)
Nicholas Shoemaker, Ruzica Piskac, Mark Santolucito
Towards checkpoint placement for dynamic memory allocation in intermittent computing. TAPAS@SPLASH (2020)
Jan-Patrick Lehr, Alexander Hück, Yannic Fischler, Christian H. Bischof
MetaCG: annotated call-graphs to facilitate whole-program analysis. TAPAS@SPLASH (2020)
Justus Adam, Stephen Kell
Type checking beyond type checkers, via slice & run. TAPAS@SPLASH (2020)