default search action

combined dblp search
author search
venue search
publication search

ask others

13th SOAP@PLDI 2024: Copenhagen, Denmark

> 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/soap-ws/2024
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soap-ws/2024
Raphaël Monat, Cindy Rubio-González:
Proceedings of the 13th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2024, Copenhagen, Denmark, 25 June 2024. ACM 2024
- view
  authority control:
- export record
  dblp key:
  - conf/soap-ws/BernsteinB24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soap-ws/BernsteinB24
Maxwell Bernstein, Carl Friedrich Bolz-Tereick:
Dr Wenowdis: Specializing Dynamic Language C Extensions using Type Information. 1-8
- view
  authority control:
- export record
  dblp key:
  - conf/soap-ws/ChapmanRT24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soap-ws/ChapmanRT24
Patrick J. Chapman, Cindy Rubio-González, Aditya V. Thakur:
Interleaving Static Analysis and LLM Prompting. 9-17
- view
  authority control:
- export record
  dblp key:
  - conf/soap-ws/ConradoP24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soap-ws/ConradoP24
Giovanna Kobus Conrado, Andreas Pavlogiannis:
A Better Approximation for Interleaved Dyck Reachability. 18-25
- view
  authority control:
- export record
  dblp key:
  - conf/soap-ws/BertholonCKBR24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soap-ws/BertholonCKBR24
Guillaume Bertholon, Arthur Charguéraud, Thomas Koehler, Begatim Bytyqi, Damien Rouhling:
Interactive Source-to-Source Optimizations Validated using Static Resource Analysis. 26-34
- view
  authority control:
- export record
  dblp key:
  - conf/soap-ws/ErhardS0S24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soap-ws/ErhardS0S24
Julian Erhard, Johanna Franziska Schinabeck, Michael Schwarz, Helmut Seidl:
When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity on the Fly. 35-44
- view
  authority control:
- export record
  dblp key:
  - conf/soap-ws/MiltenbergerA24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soap-ws/MiltenbergerA24
Marc Miltenberger, Steven Arzt:
ValBench: Benchmarking Exact Value Analysis. 45-51
- view
  authority control:
- export record
  dblp key:
  - conf/soap-ws/DudinaS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soap-ws/DudinaS24
Irina Dudina, Ian Stark:
Static Analysis for Transitioning to CHERI C/C++. 52-59
- view
  authority control:
- export record
  dblp key:
  - conf/soap-ws/BrainM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soap-ws/BrainM24
Martin Brain, Mahdi Malkawi:
Misconceptions about Loops in C. 60-66

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.