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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 40-46, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marc Miltenberger, Steven Arzt |
Extensible and Scalable Architecture for Hybrid Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 34-39, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella |
Speeding up Static Analysis with the Split Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 14-19, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sangrok Lee, Jieun Lee, Jaeyong Ko, Jaewoo Shim |
Crosys: Cross Architectural Dynamic Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 55-62, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![ACM The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Konrad Hohentanner, Florian Kasten, Lukas Auer |
HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 27-33, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 63-70, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Reinhard, Justus Fasse, Bart Jacobs 0002 |
Completeness Thresholds for Memory Safety of Array Traversing Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 47-54, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luca Negrini, Guruprerana Shabadi, Caterina Urban |
Static Analysis of Data Transformations in Jupyter Notebooks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 8-13, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Coward, George A. Constantinides, Theo Drane |
Combining E-Graphs with Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 1-7, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 20-26, 2023, ACM. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022, pp. 30-35, 2022, ACM, 978-1-4503-9274-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Pavle Subotic, Uros Bojanic, Milan Stojic |
Statically detecting data leakages in data science code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022, pp. 16-22, 2022, ACM, 978-1-4503-9274-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ignacio Laguna, Xinyi Li, Ganesh Gopalakrishnan |
BinFPE: accurate floating-point exception detection for GPU applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022, pp. 1-8, 2022, ACM, 978-1-4503-9274-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Guillaume Bau, Antoine Miné, Vincent Botbol, Mehdi Bouaziz |
Abstract interpretation of Michelson smart-contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022, pp. 36-43, 2022, ACM, 978-1-4503-9274-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![ACM, 978-1-4503-9274-7 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | HeuiChan Lim, Xiyu Kang, Saumya Debray |
Modeling code manipulation in JIT compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022, pp. 9-15, 2022, ACM, 978-1-4503-9274-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022, pp. 23-29, 2022, ACM, 978-1-4503-9274-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: SOAP '22: 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, San Diego, CA, USA, 14 June 2022, pp. 44-50, 2022, ACM, 978-1-4503-9274-7. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Kostyantyn Vorobyov, Yang Zhao, Padmanabhan Krishnan |
Scalable string analysis: an experience report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 43-48, 2021, ACM, 978-1-4503-8468-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Ferrara 0001, Luca Negrini, Vincenzo Arceri, Agostino Cortesi |
Static analysis for dummies: experiencing LiSA. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 1-6, 2021, ACM, 978-1-4503-8468-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Niklas Deworetzki, Uwe Meyer 0003 |
Program analysis for reversible languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 13-18, 2021, ACM, 978-1-4503-8468-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Heinricher, Ryan Williams, Ava Klingbeil, Alex Jordan |
Weldr: fusing binaries for simplified analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 25-30, 2021, ACM, 978-1-4503-8468-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Joanna C. S. Santos, Reese A. Jones, Chinomso Ashiogwu, Mehdi Mirakhorli |
Serialization-aware call graph construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 37-42, 2021, ACM, 978-1-4503-8468-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 19-24, 2021, ACM, 978-1-4503-8468-1. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![ACM, 978-1-4503-8468-1 The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Steven Arzt |
Security and quality: two sides of the same coin? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 7-12, 2021, ACM, 978-1-4503-8468-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Gil Teixeira, João Bispo, Filipe F. Correia |
Multi-language static code analysis on the LARA framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 31-36, 2021, ACM, 978-1-4503-8468-1. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
1 | Jixiang Shen, Xi Wu 0005, Neville Grech, Bernhard Scholz, Yannis Smaragdakis |
Explaining bug provenance with trace witnesses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 14-19, 2020, ACM, 978-1-4503-7997-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné |
Value and allocation sensitivity in static Python analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 8-13, 2020, ACM, 978-1-4503-7997-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
1 | Peter W. O'Hearn |
Formal reasoning and the hacker way (keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 1, 2020, ACM, 978-1-4503-7997-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![ACM, 978-1-4503-7997-7 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 2-7, 2020, ACM, 978-1-4503-7997-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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., pp. 8-13, 2019, ACM, 978-1-4503-6720-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Steven O'Hara, Rocky Slavin |
Modernizing parsing tools: parsing and analysis with object-oriented programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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., pp. 20-25, 2019, ACM, 978-1-4503-6720-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Dann, Ben Hermann 0001, Eric Bodden |
SootDiff: bytecode comparison across different Java compilers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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., pp. 14-19, 2019, ACM, 978-1-4503-6720-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![ACM, 978-1-4503-6720-2 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Simon Goldsmith |
Adventures in commercial-grade static analysis (keynote). ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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., pp. 1, 2019, ACM, 978-1-4503-6720-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Buse Yilmaz, Ilyas Turimbetov, Didem Unat |
Program analysis for process migration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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., pp. 32-37, 2019, ACM, 978-1-4503-6720-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Padmanabhan Krishnan, Rebecca O'Donoghue, Nicholas Allen, Yi Lu 0003 |
Commit-time incremental analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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., pp. 26-31, 2019, ACM, 978-1-4503-6720-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Lawton Nichols, Mehmet Emre, Ben Hardekopf |
Fixpoint reuse for incremental JavaScript analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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., pp. 2-7, 2019, ACM, 978-1-4503-6720-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Alexandru Dura, Hampus Balldin, Christoph Reichenbach |
MetaDL: analysing Datalog in Datalog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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., pp. 38-43, 2019, ACM, 978-1-4503-6720-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
1 | Jens Dietrich 0001, Li Sui, Shawn Rasheed, Amjed Tahir |
On the construction of soundness oracles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain, June 18, 2017, pp. 37-42, 2017, ACM, 978-1-4503-5072-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Florian Kübler, Patrick Müller, Ben Hermann 0001 |
SootKeeper: runtime reusability for modular static analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain, June 18, 2017, pp. 19-24, 2017, ACM, 978-1-4503-5072-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis |
A Datalog model of must-alias analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain, June 18, 2017, pp. 7-12, 2017, ACM, 978-1-4503-5072-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael Reif, Michael Eichberg, Ben Hermann 0001, Mira Mezini |
Hermes: assessment and creation of effective test corpora. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain, June 18, 2017, pp. 43-48, 2017, ACM, 978-1-4503-5072-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain, June 18, 2017, pp. 31-36, 2017, ACM, 978-1-4503-5072-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain, June 18, 2017, pp. 25-30, 2017, ACM, 978-1-4503-5072-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![ACM, 978-1-4503-5072-3 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain, June 18, 2017, pp. 1-6, 2017, ACM, 978-1-4503-5072-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis, SOAP@PLDI 2017, Barcelona, Spain, June 18, 2017, pp. 13-18, 2017, ACM, 978-1-4503-5072-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael D. Shah, Samuel Z. Guyer |
Iceberg: a tool for static analysis of Java critical sections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 7-12, 2016, ACM, 978-1-4503-4385-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Andres Nötzli, Fraser Brown |
LifeJacket: verifying precise floating-point optimizations in LLVM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 24-29, 2016, ACM, 978-1-4503-4385-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lisa Nguyen Quang Do, Michael Eichberg, Eric Bodden |
Toward an automated benchmark management system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 13-17, 2016, ACM, 978-1-4503-4385-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Steven Arzt, Tobias Kussmaul, Eric Bodden |
Towards cross-platform cross-language analysis with soot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 1-6, 2016, ACM, 978-1-4503-4385-5. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![ACM, 978-1-4503-4385-5 The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Yan Wang, Hailong Zhang 0006, Atanas Rountev |
On the unsoundness of static analysis for Android GUIs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 18-23, 2016, ACM, 978-1-4503-4385-5. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan Chang |
Droidel: a general approach to Android framework modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 19-25, 2015, ACM, 978-1-4503-3585-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 1-6, 2015, ACM, 978-1-4503-3585-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![ACM, 978-1-4503-3585-0 The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 7-12, 2015, ACM, 978-1-4503-3585-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 13-18, 2015, ACM, 978-1-4503-3585-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Lerch, Ben Hermann 0001 |
Design your analysis: a case study on implementation reusability of data-flow functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 26-30, 2015, ACM, 978-1-4503-3585-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![ACM, 978-1-4503-2919-4 The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Arian Treffer, Matthias Uflacker |
Dynamic slicing with soot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 3:1-3:6, 2014, ACM, 978-1-4503-2919-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Michael Eichberg, Ben Hermann 0001 |
A software product line for static analyses: the OPAL framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 2:1-2:6, 2014, ACM, 978-1-4503-2919-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | William Klieber, Lori Flynn, Amar Bhosale, Limin Jia 0001, Lujo Bauer |
Android taint flow analysis for app sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 5:1-5:6, 2014, ACM, 978-1-4503-2919-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Eric Bodden |
TS4J: a fluent interface for defining and computing typestate analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 1:1-1:6, 2014, ACM, 978-1-4503-2919-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 6:1, 2014, ACM, 978-1-4503-2919-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Edgar Pek, P. Madhusudan |
Explicit and symbolic techniques for fast and scalable points-to analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 4:1-4:6, 2014, ACM, 978-1-4503-2919-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mayur Naik |
Large-scale configurable static analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 7:1, 2014, ACM, 978-1-4503-2919-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 19-24, 2013, ACM, 978-1-4503-2201-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 13-18, 2013, ACM, 978-1-4503-2201-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Oksana Tkachuk |
OCSEGen: open components and systems environment generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 9-12, 2013, ACM, 978-1-4503-2201-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Arlt, Philipp Rümmer, Martin Schäf |
Joogie: from Java through Jimple to Boogie. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 3-8, 2013, ACM, 978-1-4503-2201-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari |
Numerical static analysis with Soot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 25-30, 2013, ACM, 978-1-4503-2201-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Rohan Padhye, Uday P. Khedker |
Interprocedural data flow analysis in Soot using value contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: 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, pp. 31-36, 2013, ACM, 978-1-4503-2201-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![ACM, 978-1-4503-2201-0 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eric Bodden |
Inter-procedural data-flow analysis with IFDS/IDE and Soot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, SOAP 2012, Beijing, China, June 14, 2012, pp. 3-8, 2012, ACM, 978-1-4503-1490-9. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![ACM, 978-1-4503-1490-9 The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hang Chu, Patrick Lam 0001 |
Collection disjointness analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, SOAP 2012, Beijing, China, June 14, 2012, pp. 45-50, 2012, ACM, 978-1-4503-1490-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, SOAP 2012, Beijing, China, June 14, 2012, pp. 27-38, 2012, ACM, 978-1-4503-1490-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Karthik Ramachandra 0002, Ravindra Guravannavar, S. Sudarshan 0001 |
Program analysis and transformation for holistic optimization of database applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, SOAP 2012, Beijing, China, June 14, 2012, pp. 39-44, 2012, ACM, 978-1-4503-1490-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Binxian Tao, Ju Qian, Xiaoyu Zhou |
Side-effect analysis with fast escape filter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, SOAP 2012, Beijing, China, June 14, 2012, pp. 15-20, 2012, ACM, 978-1-4503-1490-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eric Bodden |
InvokeDynamic support in Soot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, SOAP 2012, Beijing, China, June 14, 2012, pp. 51-55, 2012, ACM, 978-1-4503-1490-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dacong Yan, Guoqing Xu 0001, Atanas Rountev |
Rethinking Soot for summary-based whole-program analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, SOAP 2012, Beijing, China, June 14, 2012, pp. 9-14, 2012, ACM, 978-1-4503-1490-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Longwen Lu, Cheng Zhang, Jianjun Zhao 0001 |
Soot-based implementation of a demand-driven reaching definitions analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOAP@PLDI ![In: Proceedings of the ACM SIGPLAN International Workshop on State of the Art in Java Program analysis, SOAP 2012, Beijing, China, June 14, 2012, pp. 21-26, 2012, ACM, 978-1-4503-1490-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|