Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

6th SOAP@PLDI 2017: Barcelona, Spain

> 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/2017soap
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/2017soap
Karim Ali, Cristina Cifuentes:
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain, June 18, 2017. ACM 2017, ISBN 978-1-4503-5072-3

Points-to Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ParkRR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ParkRR17
Jihyeok Park, Xavier Rival, Sukyoung Ryu:
Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction. 1-6
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BalatsourasFKS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BalatsourasFKS17
George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis:
A Datalog model of must-alias analysis. 7-12
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/HassanshahiRKSL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/HassanshahiRKSL17
Behnaz Hassanshahi, Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan, Bernhard Scholz, Yi Lu:
An efficient tunable selective points-to analysis for large codebases. 13-18

Modular Analysis

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/KublerMH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/KublerMH17
Florian Kübler, Patrick Müller, Ben Hermann:
SootKeeper: runtime reusability for modular static analysis. 19-24
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/AntoniadisTS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/AntoniadisTS17
Tony Antoniadis, Konstantinos Triantafyllou, Yannis Smaragdakis:
Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses. 25-30

Soundness and Precision

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/AndreasenMN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/AndreasenMN17
Esben Sparre Andreasen, Anders Møller, Benjamin Barslev Nielsen:
Systematic approaches for increasing soundness and precision of static analyzers. 31-36
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/DietrichSRT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/DietrichSRT17
Jens Dietrich, Li Sui, Shawn Rasheed, Amjed Tahir:
On the construction of soundness oracles. 37-42

Benchmarking

- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ReifEHM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ReifEHM17
Michael Reif, Michael Eichberg, Ben Hermann, Mira Mezini:
Hermes: assessment and creation of effective test corpora. 43-48

a service of

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.