default search action

combined dblp search
author search
venue search
publication search

ask others

11th SOAP@PLDI 2022: San Diego, CA, 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/2022soap
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/2022soap
Laure Gonnord, Laura Titolo:
SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022. ACM 2022, ISBN 978-1-4503-9274-7
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/LagunaLG22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/LagunaLG22
Ignacio Laguna, Xinyi Li, Ganesh Gopalakrishnan:
BinFPE: accurate floating-point exception detection for GPU applications. 1-8
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/LimKD22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/LimKD22
HeuiChan Lim, Xiyu Kang, Saumya Debray:
Modeling code manipulation in JIT compilers. 9-15
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/SuboticBS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/SuboticBS22
Pavle Subotic, Uros Bojanic, Milan Stojic:
Statically detecting data leakages in data science code. 16-22
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/OlivieriTARNC0S22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/OlivieriTARNC0S22
Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin:
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report. 23-29
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/MisuJBBA22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/MisuJBBA22
Md Rakib Hossain Misu, Aleksandar Sasa Janjanin, Zhiqiang Bian, Valentin-Sebastian Burlacu, Naum Anteski:
ADA: a tool for visualizing the architectural overview of open-source repositories. 30-35
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/BauMBB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/BauMBB22
Guillaume Bau, Antoine Miné, Vincent Botbol, Mehdi Bouaziz:
Abstract interpretation of Michelson smart-contracts. 36-43
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/SlagelMBMD0W22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/SlagelMBMD0W22
J. Tanner Slagel, César A. Muñoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci, Lauren M. White:
Towards an implementation of differential dynamic logic in PVS. 44-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.