default search action

combined dblp search
author search
venue search
publication search

ask others

TAPAS@SPLASH 2020: Virtual Event

> Home > Conferences and Workshops > SPLASH

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/2020tapas
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/2020tapas
Hakjoo Oh, Yulei Sui:
Proceedings of the 11th ACM SIGPLAN International Workshop on Tools for Automatic Program Analysis, TAPAS@SPLASH 2020, Virtual Event, USA, November 17, 2020. ACM 2020, ISBN 978-1-4503-8189-5
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/KashyapSRMK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/KashyapSRMK20
Vineeth Kashyap, Roger Scott, Joseph Ranieri, David Melski, Lucja Kot:
API analytics for curating static analysis rules. 1-2
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/LehrHFB20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/LehrHFB20
Jan-Patrick Lehr, Alexander Hück, Yannic Fischler, Christian H. Bischof:
MetaCG: annotated call-graphs to facilitate whole-program analysis. 3-9
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/KabraGS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/KabraGS20
Aditi Kabra, Dietrich Geisler, Adrian Sampson:
Online verification of commutativity. 10-19
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/ShoemakerPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/ShoemakerPS20
Nicholas Shoemaker, Ruzica Piskac, Mark Santolucito:
Towards checkpoint placement for dynamic memory allocation in intermittent computing. 20-22
- view
  authority control:
- export record
  dblp key:
  - conf/oopsla/AdamK20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/oopsla/AdamK20
Justus Adam, Stephen Kell:
Type checking beyond type checkers, via slice & run. 23-29

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.