default search action

combined dblp search
author search
venue search
publication search

ask others

14th SOAP@PLDI 2025: Seoul, Korea

> 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/2025
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soap-ws/2025
Kihong Heo, Luca Negrini:
Proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, SOAP 2025, Seoul, Republic of Korea, 16 June 2025. ACM 2025, ISBN 979-8-4007-1922-6
- view
  authority control:
- export record
  dblp key:
  - conf/soap-ws/BayarmagnaiMP25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soap-ws/BayarmagnaiMP25
Erdenebayar Bayarmagnai, Fatemeh Mohammadi, Rémi Prébet:
Beyond Affine Loops: A Geometric Approach to Program Synthesis. 1-7
- view
  authority control:
- export record
  dblp key:
  - conf/soap-ws/XuH25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soap-ws/XuH25
Qingxiao Xu, Jeff Huang:
Optimizing Type Migration for LLM-Based C-to-Rust Translation: A Data Flow Graph Approach. 8-14
- view
  authority control:
- export record
  dblp key:
  - conf/soap-ws/HajduLWAD25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soap-ws/HajduLWAD25
Ákos Hajdu, Roman Lee, Gavin Weng, Nilesh Agrawal, Jérémy Dubreil:
Compositional Static Callgraph Reachability Analysis for WhatsApp Android App Health. 15-21
- view
  authority control:
- export record
  dblp key:
  - conf/soap-ws/KhalifaM25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soap-ws/KhalifaM25
Dorra Ben Khalifa, Matthieu Martel:
Towards Bit-Level Dominance Preserving Quantization of Neural Classifiers. 22-27
- view
  authority control:
- export record
  dblp key:
  - conf/soap-ws/MuravevG25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soap-ws/MuravevG25
Ilia Muravev, Semyon V. Grigorev:
Universal High-Performance CFL-Reachability via Matrix Multiplication. 28-35
- view
  authority control:
- export record
  dblp key:
  - conf/soap-ws/EffendiPDY25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soap-ws/EffendiPDY25
Sedick David Baker Effendi, Xavier Pinho, Andrei Michael Dreyer, Fabian Yamaguchi:
Scalable Language Agnostic Taint Tracking using Explicit Data Dependencies. 36-42
- view
  authority control:
- export record
  dblp key:
  - conf/soap-ws/KarakayaMB25
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/soap-ws/KarakayaMB25
Kadiray Karakaya, Palaniappan Muthuraman, Eric Bodden:
Pick Your Call Graphs Well: On Scaling IFDS-Based Data-Flow Analyses. 43-50

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.