| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang 0005 |
User-Assisted Code Query Optimization.  |
SOAP@PLDI  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Miltenberger, Steven Arzt |
Extensible and Scalable Architecture for Hybrid Analysis. |
SOAP@PLDI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella |
Speeding up Static Analysis with the Split Operator. |
SOAP@PLDI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sangrok Lee, Jieun Lee, Jaeyong Ko, Jaewoo Shim |
Crosys: Cross Architectural Dynamic Analysis. |
SOAP@PLDI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Ferrara 0001, Liana Hadarean (eds.) |
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 |
SOAP@PLDI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Konrad Hohentanner, Florian Kasten, Lukas Auer |
HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading. |
SOAP@PLDI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Wang, Shashank Srikant, Malavika Samak, Una-May O'Reilly |
RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms. |
SOAP@PLDI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Reinhard, Justus Fasse, Bart Jacobs 0002 |
Completeness Thresholds for Memory Safety of Array Traversing Programs. |
SOAP@PLDI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Negrini, Guruprerana Shabadi, Caterina Urban |
Static Analysis of Data Transformations in Jupyter Notebooks. |
SOAP@PLDI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Coward, George A. Constantinides, Theo Drane |
Combining E-Graphs with Abstract Interpretation. |
SOAP@PLDI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Schwarz 0007, 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. |
SOAP@PLDI |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
SOAP@PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavle Subotic, Uros Bojanic, Milan Stojic |
Statically detecting data leakages in data science code. |
SOAP@PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Ignacio Laguna, Xinyi Li, Ganesh Gopalakrishnan |
BinFPE: accurate floating-point exception detection for GPU applications. |
SOAP@PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume Bau, Antoine Miné, Vincent Botbol, Mehdi Bouaziz |
Abstract interpretation of Michelson smart-contracts. |
SOAP@PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Laure Gonnord, Laura Titolo (eds.) |
SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022 |
SOAP@PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | HeuiChan Lim, Xiyu Kang, Saumya Debray |
Modeling code manipulation in JIT compilers. |
SOAP@PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara 0001, Fausto Spoto, Enrico Talin |
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report. |
SOAP@PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | J. Tanner Slagel, César A. Muñoz, Swee Balachandran, Mariano M. Moscato, Aaron Dutle, Paolo Masci 0001, Lauren White |
Towards an implementation of differential dynamic logic in PVS. |
SOAP@PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Kostyantyn Vorobyov, Yang Zhao, Padmanabhan Krishnan |
Scalable string analysis: an experience report. |
SOAP@PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Ferrara 0001, Luca Negrini, Vincenzo Arceri, Agostino Cortesi |
Static analysis for dummies: experiencing LiSA. |
SOAP@PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Niklas Deworetzki, Uwe Meyer 0003 |
Program analysis for reversible languages. |
SOAP@PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Heinricher, Ryan Williams, Ava Klingbeil, Alex Jordan |
Weldr: fusing binaries for simplified analysis. |
SOAP@PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Joanna C. S. Santos, Reese A. Jones, Chinomso Ashiogwu, Mehdi Mirakhorli |
Serialization-aware call graph construction. |
SOAP@PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Spandan Garg, Roshanak Zilouchian Moghaddam, Neel Sundaresan, Chen Wu |
PerfLens: a data-driven performance bug detection and fix platform. |
SOAP@PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisa Nguyen Quang Do, Caterina Urban (eds.) |
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 |
SOAP@PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Arzt |
Security and quality: two sides of the same coin? |
SOAP@PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Gil Teixeira, João Bispo, Filipe F. Correia |
Multi-language static code analysis on the LARA framework. |
SOAP@PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jixiang Shen, Xi Wu 0005, Neville Grech, Bernhard Scholz, Yannis Smaragdakis |
Explaining bug provenance with trace witnesses. |
SOAP@PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné |
Value and allocation sensitivity in static Python analyses. |
SOAP@PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter W. O'Hearn |
Formal reasoning and the hacker way (keynote). |
SOAP@PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Paddy Krishnan, Christoph Reichenbach (eds.) |
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 |
SOAP@PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Reif, Florian Kübler, Dominik Helm, Ben Hermann 0001, Michael Eichberg, Mira Mezini |
TACAI: an intermediate representation based on abstract interpretation. |
SOAP@PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Dominik Schubert, Richard Leer, Ben Hermann 0001, Eric Bodden |
Know your analysis: how instrumentation aids understanding static analysis. |
SOAP@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven O'Hara, Rocky Slavin |
Modernizing parsing tools: parsing and analysis with object-oriented programming. |
SOAP@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Dann, Ben Hermann 0001, Eric Bodden |
SootDiff: bytecode comparison across different Java compilers. |
SOAP@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Neville Grech, Thierry Lavoie (eds.) |
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. |
SOAP@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon Goldsmith |
Adventures in commercial-grade static analysis (keynote). |
SOAP@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Buse Yilmaz, Ilyas Turimbetov, Didem Unat |
Program analysis for process migration. |
SOAP@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Padmanabhan Krishnan, Rebecca O'Donoghue, Nicholas Allen, Yi Lu 0003 |
Commit-time incremental analysis. |
SOAP@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawton Nichols, Mehmet Emre, Ben Hardekopf |
Fixpoint reuse for incremental JavaScript analysis. |
SOAP@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandru Dura, Hampus Balldin, Christoph Reichenbach |
MetaDL: analysing Datalog in Datalog. |
SOAP@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Dietrich 0001, Li Sui, Shawn Rasheed, Amjed Tahir |
On the construction of soundness oracles. |
SOAP@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Kübler, Patrick Müller, Ben Hermann 0001 |
SootKeeper: runtime reusability for modular static analysis. |
SOAP@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis |
A Datalog model of must-alias analysis. |
SOAP@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Reif, Michael Eichberg, Ben Hermann 0001, Mira Mezini |
Hermes: assessment and creation of effective test corpora. |
SOAP@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Esben Sparre Andreasen, Anders Møller, Benjamin Barslev Nielsen |
Systematic approaches for increasing soundness and precision of static analyzers. |
SOAP@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Tony Antoniadis, Konstantinos Triantafyllou, Yannis Smaragdakis |
Porting doop to Soufflé: a tale of inter-engine portability for Datalog-based analyses. |
SOAP@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Karim Ali 0001, Cristina Cifuentes (eds.) |
Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain, June 18, 2017 |
SOAP@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Jihyeok Park, Xavier Rival, Sukyoung Ryu |
Revisiting recency abstraction for JavaScript: towards an intuitive, compositional, and efficient heap abstraction. |
SOAP@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Behnaz Hassanshahi, Raghavendra Kagalavadi Ramesh, Padmanabhan Krishnan, Bernhard Scholz, Yi Lu 0003 |
An efficient tunable selective points-to analysis for large codebases. |
SOAP@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael D. Shah, Samuel Z. Guyer |
Iceberg: a tool for static analysis of Java critical sections. |
SOAP@PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Andres Nötzli, Fraser Brown |
LifeJacket: verifying precise floating-point optimizations in LLVM. |
SOAP@PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Lisa Nguyen Quang Do, Michael Eichberg, Eric Bodden |
Toward an automated benchmark management system. |
SOAP@PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Arzt, Tobias Kussmaul, Eric Bodden |
Towards cross-platform cross-language analysis with soot. |
SOAP@PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Charles Zhang 0001, Xavier Rival (eds.) |
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 |
SOAP@PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Yan Wang, Hailong Zhang 0006, Atanas Rountev |
On the unsoundness of static analysis for Android GUIs. |
SOAP@PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan Chang |
Droidel: a general approach to Android framework modeling. |
SOAP@PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Arzt, Siegfried Rasthofer, Robert Hahn, Eric Bodden |
Using targeted symbolic execution for reducing false-positives in dataflow analysis. |
SOAP@PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Møller, Mayur Naik (eds.) |
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 |
SOAP@PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina Cifuentes, Andrew Gross, Nathan Keynes |
Understanding caller-sensitive method vulnerabilities: a class of access control vulnerabilities in the Java platform. |
SOAP@PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicholas Allen, Padmanabhan Krishnan, Bernhard Scholz |
Combining type-analysis with points-to analysis for analyzing Java library source-code. |
SOAP@PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Johannes Lerch, Ben Hermann 0001 |
Design your analysis: a case study on implementation reusability of data-flow functions. |
SOAP@PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven Arzt, Raúl A. Santelices (eds.) |
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 |
SOAP@PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Arian Treffer, Matthias Uflacker |
Dynamic slicing with soot. |
SOAP@PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Eichberg, Ben Hermann 0001 |
A software product line for static analyses: the OPAL framework. |
SOAP@PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | William Klieber, Lori Flynn, Amar Bhosale, Limin Jia 0001, Lujo Bauer |
Android taint flow analysis for app sets. |
SOAP@PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Bodden |
TS4J: a fluent interface for defining and computing typestate analyses. |
SOAP@PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Bodden |
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. |
SOAP@PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Edgar Pek, P. Madhusudan |
Explicit and symbolic techniques for fast and scalable points-to analysis. |
SOAP@PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Mayur Naik |
Large-scale configurable static analysis. |
SOAP@PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
| 1 | Philip C. Pratt-Szeliga, Marc-André Laverdière, Ettore Merlo, James W. Fawcett, Roy D. Welch |
Soot class loading in the rootbeer GPU compiler. |
SOAP@PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Raúl A. Santelices, Yiji Zhang, Haipeng Cai, Siyuan Jiang |
DUA-forensics: a fine-grained dependence analysis and instrumentation framework based on Soot. |
SOAP@PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Oksana Tkachuk |
OCSEGen: open components and systems environment generator. |
SOAP@PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Arlt, Philipp Rümmer, Martin Schäf |
Joogie: from Java through Jimple to Boogie. |
SOAP@PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari |
Numerical static analysis with Soot. |
SOAP@PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Rohan Padhye, Uday P. Khedker |
Interprocedural data flow analysis in Soot using value contexts. |
SOAP@PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Lam 0001, Elena Sherman (eds.) |
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 |
SOAP@PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Bodden |
Inter-procedural data-flow analysis with IFDS/IDE and Soot. |
SOAP@PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Bodden, Laurie J. Hendren, Patrick Lam 0001, Elena Sherman (eds.) |
Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, SOAP 2012, Beijing, China, June 14, 2012 |
SOAP@PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Hang Chu, Patrick Lam 0001 |
Collection disjointness analysis. |
SOAP@PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Bartel, Jacques Klein, Yves Le Traon, Martin Monperrus |
Dexpler: converting Android Dalvik bytecode to Jimple for static analysis with Soot. |
SOAP@PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Karthik Ramachandra 0002, Ravindra Guravannavar, S. Sudarshan 0001 |
Program analysis and transformation for holistic optimization of database applications. |
SOAP@PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Binxian Tao, Ju Qian, Xiaoyu Zhou |
Side-effect analysis with fast escape filter. |
SOAP@PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Bodden |
InvokeDynamic support in Soot. |
SOAP@PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Dacong Yan, Guoqing Xu 0001, Atanas Rountev |
Rethinking Soot for summary-based whole-program analysis. |
SOAP@PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Longwen Lu, Cheng Zhang, Jianjun Zhao 0001 |
Soot-based implementation of a demand-driven reaching definitions analysis. |
SOAP@PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license