default search action

combined dblp search
author search
venue search
publication search

ask others

12th SOAP@PLDI 2023: Orlando, FL, USA

> 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/2023soap
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/2023soap
Pietro Ferrara, Liana Hadarean:
Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2023, Orlando, FL, USA, 17 June 2023. ACM 2023
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/CowardCD23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/CowardCD23
Samuel Coward, George A. Constantinides, Theo Drane:
Combining E-Graphs with Abstract Interpretation. 1-7
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/NegriniSU23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/NegriniSU23
Luca Negrini, Guruprerana Shabadi, Caterina Urban:
Static Analysis of Data Transformations in Jupyter Notebooks. 8-13
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ArceriDZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ArceriDZ23
Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella:
Speeding up Static Analysis with the Split Operator. 14-19
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/0007EVSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/0007EVSS23
Michael Schwarz, Julian Erhard, Vesal Vojdani, Simmo Saan, Helmut Seidl:
When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection for Non-local Jumps in C. 20-26
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/HohentannerKA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/HohentannerKA23
Konrad Hohentanner, Florian Kasten, Lukas Auer:
HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading. 27-33
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/MiltenbergerA23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/MiltenbergerA23
Marc Miltenberger, Steven Arzt:
Extensible and Scalable Architecture for Hybrid Analysis. 34-39
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/LiblitLMT023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/LiblitLMT023
Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang:
User-Assisted Code Query Optimization. 40-46
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ReinhardF023
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ReinhardF023
Tobias Reinhard, Justus Fasse, Bart Jacobs:
Completeness Thresholds for Memory Safety of Array Traversing Programs. 47-54
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/LeeLKS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/LeeLKS23
Sangrok Lee, Jieun Lee, Jaeyong Ko, Jaewoo Shim:
Crosys: Cross Architectural Dynamic Analysis. 55-62
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/WangSSO23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/WangSSO23
Michael Wang, Shashank Srikant, Malavika Samak, Una-May O'Reilly:
RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms. 63-70

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.