default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/soap-ws:"
download as .bib file
@inproceedings{DBLP:conf/soap-ws/BernsteinB24,
author = {Maxwell Bernstein and
Carl Friedrich Bolz{-}Tereick},
editor = {Rapha{\"{e}}l Monat and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Dr Wenowdis: Specializing Dynamic Language {C} Extensions using Type
Information},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Workshop on
the State Of the Art in Program Analysis, {SOAP} 2024, Copenhagen,
Denmark, 25 June 2024},
pages = {1--8},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3652588.3663316},
doi = {10.1145/3652588.3663316},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soap-ws/BernsteinB24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soap-ws/BertholonCKBR24,
author = {Guillaume Bertholon and
Arthur Chargu{\'{e}}raud and
Thomas Koehler and
Begatim Bytyqi and
Damien Rouhling},
editor = {Rapha{\"{e}}l Monat and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Interactive Source-to-Source Optimizations Validated using Static
Resource Analysis},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Workshop on
the State Of the Art in Program Analysis, {SOAP} 2024, Copenhagen,
Denmark, 25 June 2024},
pages = {26--34},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3652588.3663320},
doi = {10.1145/3652588.3663320},
timestamp = {Fri, 12 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soap-ws/BertholonCKBR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soap-ws/BrainM24,
author = {Martin Brain and
Mahdi Malkawi},
editor = {Rapha{\"{e}}l Monat and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Misconceptions about Loops in {C}},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Workshop on
the State Of the Art in Program Analysis, {SOAP} 2024, Copenhagen,
Denmark, 25 June 2024},
pages = {60--66},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3652588.3663324},
doi = {10.1145/3652588.3663324},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soap-ws/BrainM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soap-ws/ChapmanRT24,
author = {Patrick J. Chapman and
Cindy Rubio{-}Gonz{\'{a}}lez and
Aditya V. Thakur},
editor = {Rapha{\"{e}}l Monat and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Interleaving Static Analysis and {LLM} Prompting},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Workshop on
the State Of the Art in Program Analysis, {SOAP} 2024, Copenhagen,
Denmark, 25 June 2024},
pages = {9--17},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3652588.3663317},
doi = {10.1145/3652588.3663317},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soap-ws/ChapmanRT24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soap-ws/ConradoP24,
author = {Giovanna Kobus Conrado and
Andreas Pavlogiannis},
editor = {Rapha{\"{e}}l Monat and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {A Better Approximation for Interleaved Dyck Reachability},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Workshop on
the State Of the Art in Program Analysis, {SOAP} 2024, Copenhagen,
Denmark, 25 June 2024},
pages = {18--25},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3652588.3663318},
doi = {10.1145/3652588.3663318},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soap-ws/ConradoP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soap-ws/DudinaS24,
author = {Irina Dudina and
Ian Stark},
editor = {Rapha{\"{e}}l Monat and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Static Analysis for Transitioning to {CHERI} {C/C++}},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Workshop on
the State Of the Art in Program Analysis, {SOAP} 2024, Copenhagen,
Denmark, 25 June 2024},
pages = {52--59},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3652588.3663323},
doi = {10.1145/3652588.3663323},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soap-ws/DudinaS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soap-ws/ErhardS0S24,
author = {Julian Erhard and
Johanna Franziska Schinabeck and
Michael Schwarz and
Helmut Seidl},
editor = {Rapha{\"{e}}l Monat and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {When to Stop Going Down the Rabbit Hole: Taming Context-Sensitivity
on the Fly},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Workshop on
the State Of the Art in Program Analysis, {SOAP} 2024, Copenhagen,
Denmark, 25 June 2024},
pages = {35--44},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3652588.3663321},
doi = {10.1145/3652588.3663321},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soap-ws/ErhardS0S24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soap-ws/MiltenbergerA24,
author = {Marc Miltenberger and
Steven Arzt},
editor = {Rapha{\"{e}}l Monat and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {ValBench: Benchmarking Exact Value Analysis},
booktitle = {Proceedings of the 13th {ACM} {SIGPLAN} International Workshop on
the State Of the Art in Program Analysis, {SOAP} 2024, Copenhagen,
Denmark, 25 June 2024},
pages = {45--51},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3652588.3663322},
doi = {10.1145/3652588.3663322},
timestamp = {Thu, 04 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soap-ws/MiltenbergerA24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/soap-ws/2024,
editor = {Rapha{\"{e}}l Monat and
Cindy Rubio{-}Gonz{\'{a}}lez},
title = {Proceedings of the 13th {ACM} {SIGPLAN} International Workshop on
the State Of the Art in Program Analysis, {SOAP} 2024, Copenhagen,
Denmark, 25 June 2024},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3652588},
doi = {10.1145/3652588},
timestamp = {Mon, 24 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soap-ws/2024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/0007EVSS23,
author = {Michael Schwarz and
Julian Erhard and
Vesal Vojdani and
Simmo Saan and
Helmut Seidl},
editor = {Pietro Ferrara and
Liana Hadarean},
title = {When Long Jumps Fall Short: Control-Flow Tracking and Misuse Detection
for Non-local Jumps in {C}},
booktitle = {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},
pages = {20--26},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3589250.3596140},
doi = {10.1145/3589250.3596140},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/0007EVSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ArceriDZ23,
author = {Vincenzo Arceri and
Greta Dolcetti and
Enea Zaffanella},
editor = {Pietro Ferrara and
Liana Hadarean},
title = {Speeding up Static Analysis with the Split Operator},
booktitle = {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},
pages = {14--19},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3589250.3596141},
doi = {10.1145/3589250.3596141},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ArceriDZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CowardCD23,
author = {Samuel Coward and
George A. Constantinides and
Theo Drane},
editor = {Pietro Ferrara and
Liana Hadarean},
title = {Combining E-Graphs with Abstract Interpretation},
booktitle = {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},
pages = {1--7},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3589250.3596144},
doi = {10.1145/3589250.3596144},
timestamp = {Wed, 14 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/CowardCD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HohentannerKA23,
author = {Konrad Hohentanner and
Florian Kasten and
Lukas Auer},
editor = {Pietro Ferrara and
Liana Hadarean},
title = {HWASanIO: Detecting {C/C++} Intra-object Overflows with Memory Shading},
booktitle = {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},
pages = {27--33},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3589250.3596139},
doi = {10.1145/3589250.3596139},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HohentannerKA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LeeLKS23,
author = {Sangrok Lee and
Jieun Lee and
Jaeyong Ko and
Jaewoo Shim},
editor = {Pietro Ferrara and
Liana Hadarean},
title = {Crosys: Cross Architectural Dynamic Analysis},
booktitle = {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},
pages = {55--62},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3589250.3596147},
doi = {10.1145/3589250.3596147},
timestamp = {Wed, 14 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LeeLKS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LiblitLMT023,
author = {Ben Liblit and
Yingjun Lyu and
Rajdeep Mukherjee and
Omer Tripp and
Yanjun Wang},
editor = {Pietro Ferrara and
Liana Hadarean},
title = {User-Assisted Code Query Optimization},
booktitle = {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},
pages = {40--46},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3589250.3596148},
doi = {10.1145/3589250.3596148},
timestamp = {Wed, 14 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LiblitLMT023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MiltenbergerA23,
author = {Marc Miltenberger and
Steven Arzt},
editor = {Pietro Ferrara and
Liana Hadarean},
title = {Extensible and Scalable Architecture for Hybrid Analysis},
booktitle = {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},
pages = {34--39},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3589250.3596146},
doi = {10.1145/3589250.3596146},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MiltenbergerA23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NegriniSU23,
author = {Luca Negrini and
Guruprerana Shabadi and
Caterina Urban},
editor = {Pietro Ferrara and
Liana Hadarean},
title = {Static Analysis of Data Transformations in Jupyter Notebooks},
booktitle = {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},
pages = {8--13},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3589250.3596145},
doi = {10.1145/3589250.3596145},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/NegriniSU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ReinhardF023,
author = {Tobias Reinhard and
Justus Fasse and
Bart Jacobs},
editor = {Pietro Ferrara and
Liana Hadarean},
title = {Completeness Thresholds for Memory Safety of Array Traversing Programs},
booktitle = {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},
pages = {47--54},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3589250.3596143},
doi = {10.1145/3589250.3596143},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ReinhardF023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WangSSO23,
author = {Michael Wang and
Shashank Srikant and
Malavika Samak and
Una{-}May O'Reilly},
editor = {Pietro Ferrara and
Liana Hadarean},
title = {RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection
Algorithms},
booktitle = {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},
pages = {63--70},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3589250.3596142},
doi = {10.1145/3589250.3596142},
timestamp = {Wed, 14 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/WangSSO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2023soap,
editor = {Pietro Ferrara and
Liana Hadarean},
title = {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},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3589250},
doi = {10.1145/3589250},
timestamp = {Wed, 14 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2023soap.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BauMBB22,
author = {Guillaume Bau and
Antoine Min{\'{e}} and
Vincent Botbol and
Mehdi Bouaziz},
editor = {Laure Gonnord and
Laura Titolo},
title = {Abstract interpretation of Michelson smart-contracts},
booktitle = {{SOAP} '22: 11th {ACM} {SIGPLAN} International Workshop on the State
Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022},
pages = {36--43},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3520313.3534660},
doi = {10.1145/3520313.3534660},
timestamp = {Mon, 20 Jun 2022 17:35:20 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BauMBB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LagunaLG22,
author = {Ignacio Laguna and
Xinyi Li and
Ganesh Gopalakrishnan},
editor = {Laure Gonnord and
Laura Titolo},
title = {BinFPE: accurate floating-point exception detection for {GPU} applications},
booktitle = {{SOAP} '22: 11th {ACM} {SIGPLAN} International Workshop on the State
Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022},
pages = {1--8},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3520313.3534655},
doi = {10.1145/3520313.3534655},
timestamp = {Mon, 20 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LagunaLG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LimKD22,
author = {HeuiChan Lim and
Xiyu Kang and
Saumya Debray},
editor = {Laure Gonnord and
Laura Titolo},
title = {Modeling code manipulation in {JIT} compilers},
booktitle = {{SOAP} '22: 11th {ACM} {SIGPLAN} International Workshop on the State
Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022},
pages = {9--15},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3520313.3534656},
doi = {10.1145/3520313.3534656},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/LimKD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MisuJBBA22,
author = {Md Rakib Hossain Misu and
Aleksandar Sasa Janjanin and
Zhiqiang Bian and
Valentin{-}Sebastian Burlacu and
Naum Anteski},
editor = {Laure Gonnord and
Laura Titolo},
title = {{ADA:} a tool for visualizing the architectural overview of open-source
repositories},
booktitle = {{SOAP} '22: 11th {ACM} {SIGPLAN} International Workshop on the State
Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022},
pages = {30--35},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3520313.3534659},
doi = {10.1145/3520313.3534659},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MisuJBBA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/OlivieriTARNC0S22,
author = {Luca Olivieri and
Fabio Tagliaferro and
Vincenzo Arceri and
Marco Ruaro and
Luca Negrini and
Agostino Cortesi and
Pietro Ferrara and
Fausto Spoto and
Enrico Talin},
editor = {Laure Gonnord and
Laura Titolo},
title = {Ensuring determinism in blockchain software with GoLiSA: an industrial
experience report},
booktitle = {{SOAP} '22: 11th {ACM} {SIGPLAN} International Workshop on the State
Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022},
pages = {23--29},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3520313.3534658},
doi = {10.1145/3520313.3534658},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/OlivieriTARNC0S22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SlagelMBMD0W22,
author = {J. Tanner Slagel and
C{\'{e}}sar A. Mu{\~{n}}oz and
Swee Balachandran and
Mariano M. Moscato and
Aaron Dutle and
Paolo Masci and
Lauren M. White},
editor = {Laure Gonnord and
Laura Titolo},
title = {Towards an implementation of differential dynamic logic in {PVS}},
booktitle = {{SOAP} '22: 11th {ACM} {SIGPLAN} International Workshop on the State
Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022},
pages = {44--50},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3520313.3534661},
doi = {10.1145/3520313.3534661},
timestamp = {Mon, 03 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SlagelMBMD0W22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SuboticBS22,
author = {Pavle Subotic and
Uros Bojanic and
Milan Stojic},
editor = {Laure Gonnord and
Laura Titolo},
title = {Statically detecting data leakages in data science code},
booktitle = {{SOAP} '22: 11th {ACM} {SIGPLAN} International Workshop on the State
Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022},
pages = {16--22},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3520313.3534657},
doi = {10.1145/3520313.3534657},
timestamp = {Mon, 20 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SuboticBS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2022soap,
editor = {Laure Gonnord and
Laura Titolo},
title = {{SOAP} '22: 11th {ACM} {SIGPLAN} International Workshop on the State
Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3520313},
doi = {10.1145/3520313},
isbn = {978-1-4503-9274-7},
timestamp = {Mon, 20 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2022soap.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Arzt21,
author = {Steven Arzt},
editor = {Lisa Nguyen Quang Do and
Caterina Urban},
title = {Security and quality: two sides of the same coin?},
booktitle = {SOAP@PLDI 2021: Proceedings of the 10th {ACM} {SIGPLAN} International
Workshop on the State Of the Art in Program Analysis, Virtual Event,
Canada, 22 June, 2021},
pages = {7--12},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460946.3464315},
doi = {10.1145/3460946.3464315},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/Arzt21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DeworetzkiM21,
author = {Niklas Deworetzki and
Uwe Meyer},
editor = {Lisa Nguyen Quang Do and
Caterina Urban},
title = {Program analysis for reversible languages},
booktitle = {SOAP@PLDI 2021: Proceedings of the 10th {ACM} {SIGPLAN} International
Workshop on the State Of the Art in Program Analysis, Virtual Event,
Canada, 22 June, 2021},
pages = {13--18},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460946.3464314},
doi = {10.1145/3460946.3464314},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DeworetzkiM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/FerraraNAC21,
author = {Pietro Ferrara and
Luca Negrini and
Vincenzo Arceri and
Agostino Cortesi},
editor = {Lisa Nguyen Quang Do and
Caterina Urban},
title = {Static analysis for dummies: experiencing LiSA},
booktitle = {SOAP@PLDI 2021: Proceedings of the 10th {ACM} {SIGPLAN} International
Workshop on the State Of the Art in Program Analysis, Virtual Event,
Canada, 22 June, 2021},
pages = {1--6},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460946.3464316},
doi = {10.1145/3460946.3464316},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/FerraraNAC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/GargMSW21,
author = {Spandan Garg and
Roshanak Zilouchian Moghaddam and
Neel Sundaresan and
Chen Wu},
editor = {Lisa Nguyen Quang Do and
Caterina Urban},
title = {PerfLens: a data-driven performance bug detection and fix platform},
booktitle = {SOAP@PLDI 2021: Proceedings of the 10th {ACM} {SIGPLAN} International
Workshop on the State Of the Art in Program Analysis, Virtual Event,
Canada, 22 June, 2021},
pages = {19--24},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460946.3464318},
doi = {10.1145/3460946.3464318},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/GargMSW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HeinricherWKJ21,
author = {Alexander Heinricher and
Ryan Williams and
Ava Klingbeil and
Alex Jordan},
editor = {Lisa Nguyen Quang Do and
Caterina Urban},
title = {Weldr: fusing binaries for simplified analysis},
booktitle = {SOAP@PLDI 2021: Proceedings of the 10th {ACM} {SIGPLAN} International
Workshop on the State Of the Art in Program Analysis, Virtual Event,
Canada, 22 June, 2021},
pages = {25--30},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460946.3464320},
doi = {10.1145/3460946.3464320},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HeinricherWKJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SantosJAM21,
author = {Joanna C. S. Santos and
Reese A. Jones and
Chinomso Ashiogwu and
Mehdi Mirakhorli},
editor = {Lisa Nguyen Quang Do and
Caterina Urban},
title = {Serialization-aware call graph construction},
booktitle = {SOAP@PLDI 2021: Proceedings of the 10th {ACM} {SIGPLAN} International
Workshop on the State Of the Art in Program Analysis, Virtual Event,
Canada, 22 June, 2021},
pages = {37--42},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460946.3464319},
doi = {10.1145/3460946.3464319},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/SantosJAM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TeixeiraBC21,
author = {Gil Teixeira and
Jo{\~{a}}o Bispo and
Filipe F. Correia},
editor = {Lisa Nguyen Quang Do and
Caterina Urban},
title = {Multi-language static code analysis on the {LARA} framework},
booktitle = {SOAP@PLDI 2021: Proceedings of the 10th {ACM} {SIGPLAN} International
Workshop on the State Of the Art in Program Analysis, Virtual Event,
Canada, 22 June, 2021},
pages = {31--36},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460946.3464317},
doi = {10.1145/3460946.3464317},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/TeixeiraBC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/VorobyovZK21,
author = {Kostyantyn Vorobyov and
Yang Zhao and
Padmanabhan Krishnan},
editor = {Lisa Nguyen Quang Do and
Caterina Urban},
title = {Scalable string analysis: an experience report},
booktitle = {SOAP@PLDI 2021: Proceedings of the 10th {ACM} {SIGPLAN} International
Workshop on the State Of the Art in Program Analysis, Virtual Event,
Canada, 22 June, 2021},
pages = {43--48},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460946.3464321},
doi = {10.1145/3460946.3464321},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/VorobyovZK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2021soap,
editor = {Lisa Nguyen Quang Do and
Caterina Urban},
title = {SOAP@PLDI 2021: Proceedings of the 10th {ACM} {SIGPLAN} International
Workshop on the State Of the Art in Program Analysis, Virtual Event,
Canada, 22 June, 2021},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3460946},
doi = {10.1145/3460946},
isbn = {978-1-4503-8468-1},
timestamp = {Wed, 23 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2021soap.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/MonatOM20,
author = {Rapha{\"{e}}l Monat and
Abdelraouf Ouadjaout and
Antoine Min{\'{e}}},
editor = {Paddy Krishnan and
Christoph Reichenbach},
title = {Value and allocation sensitivity in static Python analyses},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on the
State Of the Art in Program Analysis, SOAP@PLDI 2020, London, UK,
June 15, 2020},
pages = {8--13},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3394451.3397205},
doi = {10.1145/3394451.3397205},
timestamp = {Mon, 15 Jun 2020 11:37:08 +0200},
biburl = {https://dblp.org/rec/conf/pldi/MonatOM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/OHearn20,
author = {Peter W. O'Hearn},
editor = {Paddy Krishnan and
Christoph Reichenbach},
title = {Formal reasoning and the hacker way (keynote)},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on the
State Of the Art in Program Analysis, SOAP@PLDI 2020, London, UK,
June 15, 2020},
pages = {1},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3394451.3401953},
doi = {10.1145/3394451.3401953},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/OHearn20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ReifKHHEM20,
author = {Michael Reif and
Florian K{\"{u}}bler and
Dominik Helm and
Ben Hermann and
Michael Eichberg and
Mira Mezini},
editor = {Paddy Krishnan and
Christoph Reichenbach},
title = {{TACAI:} an intermediate representation based on abstract interpretation},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on the
State Of the Art in Program Analysis, SOAP@PLDI 2020, London, UK,
June 15, 2020},
pages = {2--7},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3394451.3397204},
doi = {10.1145/3394451.3397204},
timestamp = {Tue, 29 Oct 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ReifKHHEM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ShenWGSS20,
author = {Jixiang Shen and
Xi Wu and
Neville Grech and
Bernhard Scholz and
Yannis Smaragdakis},
editor = {Paddy Krishnan and
Christoph Reichenbach},
title = {Explaining bug provenance with trace witnesses},
booktitle = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on the
State Of the Art in Program Analysis, SOAP@PLDI 2020, London, UK,
June 15, 2020},
pages = {14--19},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3394451.3397206},
doi = {10.1145/3394451.3397206},
timestamp = {Mon, 27 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ShenWGSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2020soap,
editor = {Paddy Krishnan and
Christoph Reichenbach},
title = {Proceedings of the 9th {ACM} {SIGPLAN} International Workshop on the
State Of the Art in Program Analysis, SOAP@PLDI 2020, London, UK,
June 15, 2020},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3394451},
doi = {10.1145/3394451},
isbn = {978-1-4503-7997-7},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2020soap.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DannHB19,
author = {Andreas Dann and
Ben Hermann and
Eric Bodden},
editor = {Neville Grech and
Thierry Lavoie},
title = {SootDiff: bytecode comparison across different Java compilers},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2019, Phoenix, AZ, USA,
June 22, 2019},
pages = {14--19},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315568.3329966},
doi = {10.1145/3315568.3329966},
timestamp = {Thu, 31 Oct 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/DannHB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DuraBR19,
author = {Alexandru Dura and
Hampus Balldin and
Christoph Reichenbach},
editor = {Neville Grech and
Thierry Lavoie},
title = {MetaDL: analysing Datalog in Datalog},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2019, Phoenix, AZ, USA,
June 22, 2019},
pages = {38--43},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315568.3329970},
doi = {10.1145/3315568.3329970},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DuraBR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Goldsmith19,
author = {Simon Goldsmith},
editor = {Neville Grech and
Thierry Lavoie},
title = {Adventures in commercial-grade static analysis (keynote)},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2019, Phoenix, AZ, USA,
June 22, 2019},
pages = {1},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315568.3338015},
doi = {10.1145/3315568.3338015},
timestamp = {Fri, 14 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Goldsmith19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KrishnanOAL19,
author = {Padmanabhan Krishnan and
Rebecca O'Donoghue and
Nicholas Allen and
Yi Lu},
editor = {Neville Grech and
Thierry Lavoie},
title = {Commit-time incremental analysis},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2019, Phoenix, AZ, USA,
June 22, 2019},
pages = {26--31},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315568.3329968},
doi = {10.1145/3315568.3329968},
timestamp = {Wed, 11 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KrishnanOAL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NicholsEH19,
author = {Lawton Nichols and
Mehmet Emre and
Ben Hardekopf},
editor = {Neville Grech and
Thierry Lavoie},
title = {Fixpoint reuse for incremental JavaScript analysis},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2019, Phoenix, AZ, USA,
June 22, 2019},
pages = {2--7},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315568.3329964},
doi = {10.1145/3315568.3329964},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/NicholsEH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/OHaraS19,
author = {Steven O'Hara and
Rocky Slavin},
editor = {Neville Grech and
Thierry Lavoie},
title = {Modernizing parsing tools: parsing and analysis with object-oriented
programming},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2019, Phoenix, AZ, USA,
June 22, 2019},
pages = {20--25},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315568.3329967},
doi = {10.1145/3315568.3329967},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/OHaraS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SchubertLHB19,
author = {Philipp Dominik Schubert and
Richard Leer and
Ben Hermann and
Eric Bodden},
editor = {Neville Grech and
Thierry Lavoie},
title = {Know your analysis: how instrumentation aids understanding static
analysis},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2019, Phoenix, AZ, USA,
June 22, 2019},
pages = {8--13},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315568.3329965},
doi = {10.1145/3315568.3329965},
timestamp = {Thu, 31 Oct 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/SchubertLHB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/YilmazTU19,
author = {Buse Yilmaz and
Ilyas Turimbetov and
Didem Unat},
editor = {Neville Grech and
Thierry Lavoie},
title = {Program analysis for process migration},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2019, Phoenix, AZ, USA,
June 22, 2019},
pages = {32--37},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315568.3329969},
doi = {10.1145/3315568.3329969},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/YilmazTU19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2019soap,
editor = {Neville Grech and
Thierry Lavoie},
title = {Proceedings of the 8th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2019, Phoenix, AZ, USA,
June 22, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3315568},
doi = {10.1145/3315568},
isbn = {978-1-4503-6720-2},
timestamp = {Fri, 14 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2019soap.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AndreasenMN17,
author = {Esben Sparre Andreasen and
Anders M{\o}ller and
Benjamin Barslev Nielsen},
editor = {Karim Ali and
Cristina Cifuentes},
title = {Systematic approaches for increasing soundness and precision of static
analyzers},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain,
June 18, 2017},
pages = {31--36},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3088515.3088521},
doi = {10.1145/3088515.3088521},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AndreasenMN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AntoniadisTS17,
author = {Tony Antoniadis and
Konstantinos Triantafyllou and
Yannis Smaragdakis},
editor = {Karim Ali and
Cristina Cifuentes},
title = {Porting doop to Souffl{\'{e}}: a tale of inter-engine portability
for Datalog-based analyses},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain,
June 18, 2017},
pages = {25--30},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3088515.3088522},
doi = {10.1145/3088515.3088522},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/AntoniadisTS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BalatsourasFKS17,
author = {George Balatsouras and
Kostas Ferles and
George Kastrinis and
Yannis Smaragdakis},
editor = {Karim Ali and
Cristina Cifuentes},
title = {A Datalog model of must-alias analysis},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain,
June 18, 2017},
pages = {7--12},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3088515.3088517},
doi = {10.1145/3088515.3088517},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/BalatsourasFKS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DietrichSRT17,
author = {Jens Dietrich and
Li Sui and
Shawn Rasheed and
Amjed Tahir},
editor = {Karim Ali and
Cristina Cifuentes},
title = {On the construction of soundness oracles},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain,
June 18, 2017},
pages = {37--42},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3088515.3088520},
doi = {10.1145/3088515.3088520},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/DietrichSRT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/HassanshahiRKSL17,
author = {Behnaz Hassanshahi and
Raghavendra Kagalavadi Ramesh and
Padmanabhan Krishnan and
Bernhard Scholz and
Yi Lu},
editor = {Karim Ali and
Cristina Cifuentes},
title = {An efficient tunable selective points-to analysis for large codebases},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain,
June 18, 2017},
pages = {13--18},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3088515.3088519},
doi = {10.1145/3088515.3088519},
timestamp = {Wed, 11 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/HassanshahiRKSL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KublerMH17,
author = {Florian K{\"{u}}bler and
Patrick M{\"{u}}ller and
Ben Hermann},
editor = {Karim Ali and
Cristina Cifuentes},
title = {SootKeeper: runtime reusability for modular static analysis},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain,
June 18, 2017},
pages = {19--24},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3088515.3088518},
doi = {10.1145/3088515.3088518},
timestamp = {Tue, 29 Oct 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/KublerMH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ParkRR17,
author = {Jihyeok Park and
Xavier Rival and
Sukyoung Ryu},
editor = {Karim Ali and
Cristina Cifuentes},
title = {Revisiting recency abstraction for JavaScript: towards an intuitive,
compositional, and efficient heap abstraction},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain,
June 18, 2017},
pages = {1--6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3088515.3088516},
doi = {10.1145/3088515.3088516},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ParkRR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ReifEHM17,
author = {Michael Reif and
Michael Eichberg and
Ben Hermann and
Mira Mezini},
editor = {Karim Ali and
Cristina Cifuentes},
title = {Hermes: assessment and creation of effective test corpora},
booktitle = {Proceedings of the 6th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain,
June 18, 2017},
pages = {43--48},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3088515.3088523},
doi = {10.1145/3088515.3088523},
timestamp = {Tue, 29 Oct 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ReifEHM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2017soap,
editor = {Karim Ali and
Cristina Cifuentes},
title = {Proceedings of the 6th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain,
June 18, 2017},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3088515},
doi = {10.1145/3088515},
isbn = {978-1-4503-5072-3},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/2017soap.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ArztKB16,
author = {Steven Arzt and
Tobias Kussmaul and
Eric Bodden},
editor = {Charles Zhang and
Xavier Rival},
title = {Towards cross-platform cross-language analysis with soot},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2016, Santa Barbara, CA,
USA, June 14, 2016},
pages = {1--6},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2931021.2931022},
doi = {10.1145/2931021.2931022},
timestamp = {Wed, 10 Apr 2024 21:01:59 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ArztKB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DoEB16,
author = {Lisa Nguyen Quang Do and
Michael Eichberg and
Eric Bodden},
editor = {Charles Zhang and
Xavier Rival},
title = {Toward an automated benchmark management system},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2016, Santa Barbara, CA,
USA, June 14, 2016},
pages = {13--17},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2931021.2931023},
doi = {10.1145/2931021.2931023},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DoEB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NotzliB16,
author = {Andres N{\"{o}}tzli and
Fraser Brown},
editor = {Charles Zhang and
Xavier Rival},
title = {LifeJacket: verifying precise floating-point optimizations in {LLVM}},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2016, Santa Barbara, CA,
USA, June 14, 2016},
pages = {24--29},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2931021.2931024},
doi = {10.1145/2931021.2931024},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/NotzliB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ShahG16,
author = {Michael D. Shah and
Samuel Z. Guyer},
editor = {Charles Zhang and
Xavier Rival},
title = {Iceberg: a tool for static analysis of Java critical sections},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2016, Santa Barbara, CA,
USA, June 14, 2016},
pages = {7--12},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2931021.2931025},
doi = {10.1145/2931021.2931025},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ShahG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/WangZR16,
author = {Yan Wang and
Hailong Zhang and
Atanas Rountev},
editor = {Charles Zhang and
Xavier Rival},
title = {On the unsoundness of static analysis for Android GUIs},
booktitle = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2016, Santa Barbara, CA,
USA, June 14, 2016},
pages = {18--23},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2931021.2931026},
doi = {10.1145/2931021.2931026},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/WangZR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2016soap,
editor = {Charles Zhang and
Xavier Rival},
title = {Proceedings of the 5th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2016, Santa Barbara, CA,
USA, June 14, 2016},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2931021},
doi = {10.1145/2931021},
isbn = {978-1-4503-4385-5},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2016soap.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AllenKS15,
author = {Nicholas Allen and
Padmanabhan Krishnan and
Bernhard Scholz},
editor = {Anders M{\o}ller and
Mayur Naik},
title = {Combining type-analysis with points-to analysis for analyzing Java
library source-code},
booktitle = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA,
June 15 - 17, 2015},
pages = {13--18},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771284.2771287},
doi = {10.1145/2771284.2771287},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AllenKS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ArztRHB15,
author = {Steven Arzt and
Siegfried Rasthofer and
Robert Hahn and
Eric Bodden},
editor = {Anders M{\o}ller and
Mayur Naik},
title = {Using targeted symbolic execution for reducing false-positives in
dataflow analysis},
booktitle = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA,
June 15 - 17, 2015},
pages = {1--6},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771284.2771285},
doi = {10.1145/2771284.2771285},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ArztRHB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BlackshearGC15,
author = {Sam Blackshear and
Alexandra Gendreau and
Bor{-}Yuh Evan Chang},
editor = {Anders M{\o}ller and
Mayur Naik},
title = {Droidel: a general approach to Android framework modeling},
booktitle = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA,
June 15 - 17, 2015},
pages = {19--25},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771284.2771288},
doi = {10.1145/2771284.2771288},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BlackshearGC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/CifuentesGK15,
author = {Cristina Cifuentes and
Andrew Gross and
Nathan Keynes},
editor = {Anders M{\o}ller and
Mayur Naik},
title = {Understanding caller-sensitive method vulnerabilities: a class of
access control vulnerabilities in the Java platform},
booktitle = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA,
June 15 - 17, 2015},
pages = {7--12},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771284.2771286},
doi = {10.1145/2771284.2771286},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/CifuentesGK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LerchH15,
author = {Johannes Lerch and
Ben Hermann},
editor = {Anders M{\o}ller and
Mayur Naik},
title = {Design your analysis: a case study on implementation reusability of
data-flow functions},
booktitle = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA,
June 15 - 17, 2015},
pages = {26--30},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771284.2771289},
doi = {10.1145/2771284.2771289},
timestamp = {Tue, 29 Oct 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/LerchH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2015soap,
editor = {Anders M{\o}ller and
Mayur Naik},
title = {Proceedings of the 4th {ACM} {SIGPLAN} International Workshop on State
Of the Art in Program Analysis, SOAP@PLDI 2015, Portland, OR, USA,
June 15 - 17, 2015},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771284},
doi = {10.1145/2771284},
isbn = {978-1-4503-3585-0},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2015soap.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Bodden14,
author = {Eric Bodden},
editor = {Steven Arzt and
Ra{\'{u}}l A. Santelices},
title = {{TS4J:} a fluent interface for defining and computing typestate analyses},
booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on the
State Of the Art in Java Program analysis, {SOAP} 2014, Edinburgh,
UK, Co-located with {PLDI} 2014, June 12, 2014},
pages = {1:1--1:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2614628.2614629},
doi = {10.1145/2614628.2614629},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Bodden14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Bodden14a,
author = {Eric Bodden},
editor = {Steven Arzt and
Ra{\'{u}}l A. Santelices},
title = {How to build the perfect Swiss army knife, and keep it sharp?: Challenges
for the soot program-analysis framework in the light of past, current
and future demands},
booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on the
State Of the Art in Java Program analysis, {SOAP} 2014, Edinburgh,
UK, Co-located with {PLDI} 2014, June 12, 2014},
pages = {6:1},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2614628.2614634},
doi = {10.1145/2614628.2614634},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Bodden14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/EichbergH14,
author = {Michael Eichberg and
Ben Hermann},
editor = {Steven Arzt and
Ra{\'{u}}l A. Santelices},
title = {A software product line for static analyses: the {OPAL} framework},
booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on the
State Of the Art in Java Program analysis, {SOAP} 2014, Edinburgh,
UK, Co-located with {PLDI} 2014, June 12, 2014},
pages = {2:1--2:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2614628.2614630},
doi = {10.1145/2614628.2614630},
timestamp = {Tue, 29 Oct 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/EichbergH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/KlieberFBJB14,
author = {William Klieber and
Lori Flynn and
Amar Bhosale and
Limin Jia and
Lujo Bauer},
editor = {Steven Arzt and
Ra{\'{u}}l A. Santelices},
title = {Android taint flow analysis for app sets},
booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on the
State Of the Art in Java Program analysis, {SOAP} 2014, Edinburgh,
UK, Co-located with {PLDI} 2014, June 12, 2014},
pages = {5:1--5:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2614628.2614633},
doi = {10.1145/2614628.2614633},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/KlieberFBJB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Naik14,
author = {Mayur Naik},
editor = {Steven Arzt and
Ra{\'{u}}l A. Santelices},
title = {Large-scale configurable static analysis},
booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on the
State Of the Art in Java Program analysis, {SOAP} 2014, Edinburgh,
UK, Co-located with {PLDI} 2014, June 12, 2014},
pages = {7:1},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2614628.2614635},
doi = {10.1145/2614628.2614635},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/Naik14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PekM14,
author = {Edgar Pek and
P. Madhusudan},
editor = {Steven Arzt and
Ra{\'{u}}l A. Santelices},
title = {Explicit and symbolic techniques for fast and scalable points-to analysis},
booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on the
State Of the Art in Java Program analysis, {SOAP} 2014, Edinburgh,
UK, Co-located with {PLDI} 2014, June 12, 2014},
pages = {4:1--4:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2614628.2614632},
doi = {10.1145/2614628.2614632},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/PekM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TrefferU14,
author = {Arian Treffer and
Matthias Uflacker},
editor = {Steven Arzt and
Ra{\'{u}}l A. Santelices},
title = {Dynamic slicing with soot},
booktitle = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on the
State Of the Art in Java Program analysis, {SOAP} 2014, Edinburgh,
UK, Co-located with {PLDI} 2014, June 12, 2014},
pages = {3:1--3:6},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2614628.2614631},
doi = {10.1145/2614628.2614631},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/TrefferU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2014soap,
editor = {Steven Arzt and
Ra{\'{u}}l A. Santelices},
title = {Proceedings of the 3rd {ACM} {SIGPLAN} International Workshop on the
State Of the Art in Java Program analysis, {SOAP} 2014, Edinburgh,
UK, Co-located with {PLDI} 2014, June 12, 2014},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2614628},
doi = {10.1145/2614628},
isbn = {978-1-4503-2919-4},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2014soap.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/AmatoMS13,
author = {Gianluca Amato and
Simone Di Nardo Di Maio and
Francesca Scozzari},
editor = {Patrick Lam and
Elena Sherman},
title = {Numerical static analysis with Soot},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on State
Of the Art in Java Program analysis, {SOAP} 2013, Seattle, WA, USA,
June 20, 2013},
pages = {25--30},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2487568.2487571},
doi = {10.1145/2487568.2487571},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/pldi/AmatoMS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ArltRS13,
author = {Stephan Arlt and
Philipp R{\"{u}}mmer and
Martin Sch{\"{a}}f},
editor = {Patrick Lam and
Elena Sherman},
title = {Joogie: from Java through Jimple to Boogie},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on State
Of the Art in Java Program analysis, {SOAP} 2013, Seattle, WA, USA,
June 20, 2013},
pages = {3--8},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2487568.2487570},
doi = {10.1145/2487568.2487570},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/ArltRS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/PadhyeK13,
author = {Rohan Padhye and
Uday P. Khedker},
editor = {Patrick Lam and
Elena Sherman},
title = {Interprocedural data flow analysis in Soot using value contexts},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on State
Of the Art in Java Program analysis, {SOAP} 2013, Seattle, WA, USA,
June 20, 2013},
pages = {31--36},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2487568.2487569},
doi = {10.1145/2487568.2487569},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/PadhyeK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Pratt-SzeligaLMFW13,
author = {Philip C. Pratt{-}Szeliga and
Marc{-}Andr{\'{e}} Laverdi{\`{e}}re and
Ettore Merlo and
James W. Fawcett and
Roy D. Welch},
editor = {Patrick Lam and
Elena Sherman},
title = {Soot class loading in the rootbeer {GPU} compiler},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on State
Of the Art in Java Program analysis, {SOAP} 2013, Seattle, WA, USA,
June 20, 2013},
pages = {19--24},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2487568.2487573},
doi = {10.1145/2487568.2487573},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/Pratt-SzeligaLMFW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/SantelicesZCJ13,
author = {Ra{\'{u}}l A. Santelices and
Yiji Zhang and
Haipeng Cai and
Siyuan Jiang},
editor = {Patrick Lam and
Elena Sherman},
title = {DUA-forensics: a fine-grained dependence analysis and instrumentation
framework based on Soot},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on State
Of the Art in Java Program analysis, {SOAP} 2013, Seattle, WA, USA,
June 20, 2013},
pages = {13--18},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2487568.2487574},
doi = {10.1145/2487568.2487574},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/SantelicesZCJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Tkachuk13,
author = {Oksana Tkachuk},
editor = {Patrick Lam and
Elena Sherman},
title = {OCSEGen: open components and systems environment generator},
booktitle = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on State
Of the Art in Java Program analysis, {SOAP} 2013, Seattle, WA, USA,
June 20, 2013},
pages = {9--12},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2487568.2487572},
doi = {10.1145/2487568.2487572},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/Tkachuk13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2013soap,
editor = {Patrick Lam and
Elena Sherman},
title = {Proceedings of the 2nd {ACM} {SIGPLAN} International Workshop on State
Of the Art in Java Program analysis, {SOAP} 2013, Seattle, WA, USA,
June 20, 2013},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2487568},
doi = {10.1145/2487568},
isbn = {978-1-4503-2201-0},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2013soap.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/0002G012,
author = {Karthik Ramachandra and
Ravindra Guravannavar and
S. Sudarshan},
editor = {Eric Bodden and
Laurie J. Hendren and
Patrick Lam and
Elena Sherman},
title = {Program analysis and transformation for holistic optimization of database
applications},
booktitle = {Proceedings of the {ACM} {SIGPLAN} International Workshop on State
of the Art in Java Program analysis, {SOAP} 2012, Beijing, China,
June 14, 2012},
pages = {39--44},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2259051.2259057},
doi = {10.1145/2259051.2259057},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/pldi/0002G012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/BartelKTM12,
author = {Alexandre Bartel and
Jacques Klein and
Yves Le Traon and
Martin Monperrus},
editor = {Eric Bodden and
Laurie J. Hendren and
Patrick Lam and
Elena Sherman},
title = {Dexpler: converting Android Dalvik bytecode to Jimple for static analysis
with Soot},
booktitle = {Proceedings of the {ACM} {SIGPLAN} International Workshop on State
of the Art in Java Program analysis, {SOAP} 2012, Beijing, China,
June 14, 2012},
pages = {27--38},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2259051.2259056},
doi = {10.1145/2259051.2259056},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/BartelKTM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Bodden12a,
author = {Eric Bodden},
editor = {Eric Bodden and
Laurie J. Hendren and
Patrick Lam and
Elena Sherman},
title = {Inter-procedural data-flow analysis with {IFDS/IDE} and Soot},
booktitle = {Proceedings of the {ACM} {SIGPLAN} International Workshop on State
of the Art in Java Program analysis, {SOAP} 2012, Beijing, China,
June 14, 2012},
pages = {3--8},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2259051.2259052},
doi = {10.1145/2259051.2259052},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Bodden12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/Bodden12b,
author = {Eric Bodden},
editor = {Eric Bodden and
Laurie J. Hendren and
Patrick Lam and
Elena Sherman},
title = {InvokeDynamic support in Soot},
booktitle = {Proceedings of the {ACM} {SIGPLAN} International Workshop on State
of the Art in Java Program analysis, {SOAP} 2012, Beijing, China,
June 14, 2012},
pages = {51--55},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2259051.2259059},
doi = {10.1145/2259051.2259059},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/Bodden12b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/ChuL12,
author = {Hang Chu and
Patrick Lam},
editor = {Eric Bodden and
Laurie J. Hendren and
Patrick Lam and
Elena Sherman},
title = {Collection disjointness analysis},
booktitle = {Proceedings of the {ACM} {SIGPLAN} International Workshop on State
of the Art in Java Program analysis, {SOAP} 2012, Beijing, China,
June 14, 2012},
pages = {45--50},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2259051.2259058},
doi = {10.1145/2259051.2259058},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/ChuL12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/LuZZ12,
author = {Longwen Lu and
Cheng Zhang and
Jianjun Zhao},
editor = {Eric Bodden and
Laurie J. Hendren and
Patrick Lam and
Elena Sherman},
title = {Soot-based implementation of a demand-driven reaching definitions
analysis},
booktitle = {Proceedings of the {ACM} {SIGPLAN} International Workshop on State
of the Art in Java Program analysis, {SOAP} 2012, Beijing, China,
June 14, 2012},
pages = {21--26},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2259051.2259055},
doi = {10.1145/2259051.2259055},
timestamp = {Wed, 07 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/LuZZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/TaoQZ12,
author = {Binxian Tao and
Ju Qian and
Xiaoyu Zhou},
editor = {Eric Bodden and
Laurie J. Hendren and
Patrick Lam and
Elena Sherman},
title = {Side-effect analysis with fast escape filter},
booktitle = {Proceedings of the {ACM} {SIGPLAN} International Workshop on State
of the Art in Java Program analysis, {SOAP} 2012, Beijing, China,
June 14, 2012},
pages = {15--20},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2259051.2259054},
doi = {10.1145/2259051.2259054},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pldi/TaoQZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/YanXR12,
author = {Dacong Yan and
Guoqing Xu and
Atanas Rountev},
editor = {Eric Bodden and
Laurie J. Hendren and
Patrick Lam and
Elena Sherman},
title = {Rethinking Soot for summary-based whole-program analysis},
booktitle = {Proceedings of the {ACM} {SIGPLAN} International Workshop on State
of the Art in Java Program analysis, {SOAP} 2012, Beijing, China,
June 14, 2012},
pages = {9--14},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2259051.2259053},
doi = {10.1145/2259051.2259053},
timestamp = {Fri, 04 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/YanXR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pldi/2012soap,
editor = {Eric Bodden and
Laurie J. Hendren and
Patrick Lam and
Elena Sherman},
title = {Proceedings of the {ACM} {SIGPLAN} International Workshop on State
of the Art in Java Program analysis, {SOAP} 2012, Beijing, China,
June 14, 2012},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2259051},
doi = {10.1145/2259051},
isbn = {978-1-4503-1490-9},
timestamp = {Mon, 12 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/2012soap.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
retrieved on 2024-11-09 08:32 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
