default search action

combined dblp search
author search
venue search
publication search

ask others

9th SOAP@PLDI 2020: London, UK

> Home > Conferences and Workshops > SOAP
> Home > Conferences and Workshops > PLDI

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/pldi/2020soap
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/2020soap
Paddy Krishnan, Christoph Reichenbach:
Proceedings of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP@PLDI 2020, London, UK, June 15, 2020. ACM 2020, ISBN 978-1-4503-7997-7
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/OHearn20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/OHearn20
Peter W. O'Hearn:
Formal reasoning and the hacker way (keynote). 1
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ReifKHHEM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ReifKHHEM20
Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann, Michael Eichberg, Mira Mezini:
TACAI: an intermediate representation based on abstract interpretation. 2-7
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/MonatOM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/MonatOM20
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné:
Value and allocation sensitivity in static Python analyses. 8-13
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ShenWGSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ShenWGSS20
Jixiang Shen, Xi Wu, Neville Grech, Bernhard Scholz, Yannis Smaragdakis:
Explaining bug provenance with trace witnesses. 14-19

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.