|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 949 occurrences of 452 keywords
|
|
|
Results
Found 966 publication records. Showing 966 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
41 | HeuiChan Lim, Xiyu Kang, Saumya Debray |
Modeling code manipulation in JIT compilers. |
SOAP@PLDI |
2022 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
|
41 | 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 |
|
41 | 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 |
|
41 | Kostyantyn Vorobyov, Yang Zhao, Padmanabhan Krishnan |
Scalable string analysis: an experience report. |
SOAP@PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
41 | Pietro Ferrara 0001, Luca Negrini, Vincenzo Arceri, Agostino Cortesi |
Static analysis for dummies: experiencing LiSA. |
SOAP@PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
41 | Niklas Deworetzki, Uwe Meyer 0003 |
Program analysis for reversible languages. |
SOAP@PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
41 | Alexander Heinricher, Ryan Williams, Ava Klingbeil, Alex Jordan |
Weldr: fusing binaries for simplified analysis. |
SOAP@PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
41 | Joanna C. S. Santos, Reese A. Jones, Chinomso Ashiogwu, Mehdi Mirakhorli |
Serialization-aware call graph construction. |
SOAP@PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
|
41 | Steven Arzt |
Security and quality: two sides of the same coin? |
SOAP@PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
41 | Gil Teixeira, João Bispo, Filipe F. Correia |
Multi-language static code analysis on the LARA framework. |
SOAP@PLDI |
2021 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
|
41 | Jixiang Shen, Xi Wu 0005, Neville Grech, Bernhard Scholz, Yannis Smaragdakis |
Explaining bug provenance with trace witnesses. |
SOAP@PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
41 | Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné |
Value and allocation sensitivity in static Python analyses. |
SOAP@PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
41 | Peter W. O'Hearn |
Formal reasoning and the hacker way (keynote). |
SOAP@PLDI |
2020 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
|
41 | 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 |
|
41 | 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 |
|
41 | Steven O'Hara, Rocky Slavin |
Modernizing parsing tools: parsing and analysis with object-oriented programming. |
SOAP@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
41 | Andreas Dann, Ben Hermann 0001, Eric Bodden |
SootDiff: bytecode comparison across different Java compilers. |
SOAP@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
41 | Simon Goldsmith |
Adventures in commercial-grade static analysis (keynote). |
SOAP@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
41 | Buse Yilmaz, Ilyas Turimbetov, Didem Unat |
Program analysis for process migration. |
SOAP@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
41 | Padmanabhan Krishnan, Rebecca O'Donoghue, Nicholas Allen, Yi Lu 0003 |
Commit-time incremental analysis. |
SOAP@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
41 | Lawton Nichols, Mehmet Emre, Ben Hardekopf |
Fixpoint reuse for incremental JavaScript analysis. |
SOAP@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
41 | Alexandru Dura, Hampus Balldin, Christoph Reichenbach |
MetaDL: analysing Datalog in Datalog. |
SOAP@PLDI |
2019 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
|
41 | Jens Dietrich 0001, Li Sui, Shawn Rasheed, Amjed Tahir |
On the construction of soundness oracles. |
SOAP@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
41 | Florian Kübler, Patrick Müller, Ben Hermann 0001 |
SootKeeper: runtime reusability for modular static analysis. |
SOAP@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
41 | George Balatsouras, Kostas Ferles, George Kastrinis, Yannis Smaragdakis |
A Datalog model of must-alias analysis. |
SOAP@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
41 | Michael Reif, Michael Eichberg, Ben Hermann 0001, Mira Mezini |
Hermes: assessment and creation of effective test corpora. |
SOAP@PLDI |
2017 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
|
41 | 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 |
|
41 | 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 |
|
41 | 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 |
|
41 | 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 |
|
41 | Michael D. Shah, Samuel Z. Guyer |
Iceberg: a tool for static analysis of Java critical sections. |
SOAP@PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
41 | Andres Nötzli, Fraser Brown |
LifeJacket: verifying precise floating-point optimizations in LLVM. |
SOAP@PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
41 | Lisa Nguyen Quang Do, Michael Eichberg, Eric Bodden |
Toward an automated benchmark management system. |
SOAP@PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
41 | Steven Arzt, Tobias Kussmaul, Eric Bodden |
Towards cross-platform cross-language analysis with soot. |
SOAP@PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
41 | Yan Wang, Hailong Zhang 0006, Atanas Rountev |
On the unsoundness of static analysis for Android GUIs. |
SOAP@PLDI |
2016 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
|
41 | Sam Blackshear, Alexandra Gendreau, Bor-Yuh Evan Chang |
Droidel: a general approach to Android framework modeling. |
SOAP@PLDI |
2015 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
|
41 | 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 |
|
41 | 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 |
|
41 | 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 |
|
41 | 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 |
|
41 | Arian Treffer, Matthias Uflacker |
Dynamic slicing with soot. |
SOAP@PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
41 | Michael Eichberg, Ben Hermann 0001 |
A software product line for static analyses: the OPAL framework. |
SOAP@PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
|
41 | Eric Bodden |
TS4J: a fluent interface for defining and computing typestate analyses. |
SOAP@PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
|
41 | Edgar Pek, P. Madhusudan |
Explicit and symbolic techniques for fast and scalable points-to analysis. |
SOAP@PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
41 | Mayur Naik |
Large-scale configurable static analysis. |
SOAP@PLDI |
2014 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
|
41 | 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 |
|
41 | 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 |
|
41 | Oksana Tkachuk |
OCSEGen: open components and systems environment generator. |
SOAP@PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
41 | Stephan Arlt, Philipp Rümmer, Martin Schäf |
Joogie: from Java through Jimple to Boogie. |
SOAP@PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
41 | Gianluca Amato, Simone Di Nardo Di Maio, Francesca Scozzari |
Numerical static analysis with Soot. |
SOAP@PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
41 | Rohan Padhye, Uday P. Khedker |
Interprocedural data flow analysis in Soot using value contexts. |
SOAP@PLDI |
2013 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
|
41 | Eric Bodden |
Inter-procedural data-flow analysis with IFDS/IDE and Soot. |
SOAP@PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
41 | Hang Chu, Patrick Lam 0001 |
Collection disjointness analysis. |
SOAP@PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
|
41 | 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 |
|
41 | Binxian Tao, Ju Qian, Xiaoyu Zhou |
Side-effect analysis with fast escape filter. |
SOAP@PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
41 | Eric Bodden |
InvokeDynamic support in Soot. |
SOAP@PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
41 | Dacong Yan, Guoqing Xu 0001, Atanas Rountev |
Rethinking Soot for summary-based whole-program analysis. |
SOAP@PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
41 | Longwen Lu, Cheng Zhang, Jianjun Zhao 0001 |
Soot-based implementation of a demand-driven reaching definitions analysis. |
SOAP@PLDI |
2012 |
DBLP DOI BibTeX RDF |
|
36 | Irfan A. Siddavatam, Jayant Gadge |
Comprehensive test mechanism to detect attack on Web Services. |
ICON |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Daniel Wutke, Daniel Martin 0001, Frank Leymann |
Facilitating Complex Web Service Interactions through a Tuplespace Binding. |
DAIS |
2008 |
DBLP DOI BibTeX RDF |
Message Exchange Patterns, Web Service Binding, Web Services, Tuplespaces |
36 | Alex Ng |
Optimising Web Services Performance with Table Driven XML. |
ASWEC |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Thi Khoi Anh Phan, Zahir Tari, Peter Bertók |
Optimizing Web Services Performance by Using Similarity-Based Multicast Protocol. |
ECOWS |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Kamal Elbashir, Ralph Deters |
Transparent Caching for Nomadic WS Clients. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Sung-Soo Kim, Chong-Min Kyung |
Circuit placement on arbitrarily shaped regions using the self-organization principle. |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. |
1992 |
DBLP DOI BibTeX RDF |
|
36 | Shiho Hirayama, Yasuaki Kakehi |
Shaboned display: an interactive substantial display using soap bubbles. |
SIGGRAPH Emerging Technologies |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Shiho Hirayama, Yasuaki Kakehi |
Shaboned display: an interactive substantial display using soap bubbles. |
SIGGRAPH Posters |
2010 |
DBLP DOI BibTeX RDF |
|
36 | Nils Gruschka, Luigi Lo Iacono |
Vulnerable Cloud: SOAP Message Security Validation Revisited. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Maria Chiara Laghi, Michele Amoretti, Gianni Conte |
Secure Service Invocation in a Peer-to-Peer Environment Using JXTA-SOAP. |
MobiSec |
2009 |
DBLP DOI BibTeX RDF |
security, peer-to-peer, service |
36 | Toshiro Takase, Keishi Tajima |
Efficient Web Services Message Exchange by SOAP Bundling Framework. |
EDOC |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Xuan Shi |
Sharing service semantics using SOAP-based and REST Web services. |
IT Prof. |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Luís Moura Silva, Henrique Madeira, João Gabriel Silva |
Software Aging and Rejuvenation in a SOAP-based Server. |
NCA |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Nayef Abu-Ghazaleh, Michael J. Lewis |
Lightweight Checkpointing for Faster SOAP Deserialization. |
ICWS |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Xiaoling Cui, Lei Li, Jun Wei 0001 |
A Novel SOAP Attachment-Oriented Security Model. |
ISSRE |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Maurice H. ter Beek, Stefania Gnesi, Franco Mazzanti, Corrado Moiso |
Formal Modelling and Verification of an Asynchronous Extension of SOAP. |
ECOWS |
2006 |
DBLP DOI BibTeX RDF |
|
36 | Daniel Andresen |
Enhancing Cluster Application Performance via Smarter Scheduling and Stronger SOAP. |
IPDPS |
2005 |
DBLP DOI BibTeX RDF |
|
36 | Tom Van Cutsem, Stijn Mostinckx, Wolfgang De Meuter, Jessie Dedecker, Theo D'Hondt |
On the Performance of SOAP in a Non-trivial Peer-to-Peer Experiment. |
Component Deployment |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Suru Dissanaike, Pierre Wijkman, Mitra Wijkman |
Utilizing XML-RPC or SOAP on an Embedded System. |
ICDCS Workshops |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Andrew S. Glassner |
Soap Bubbles: Part 2. |
IEEE Computer Graphics and Applications |
2000 |
DBLP DOI BibTeX RDF |
|
35 | Sanghyeon Gil, Yunji Seok, Kiyeol Park, Jaeseok Yoo, Seongah Chin |
Soap film flow and thickness for soap bubble rendering. |
VRST |
2019 |
DBLP DOI BibTeX RDF |
|
35 | Jonathan Lee 0004, Shin-Jie Lee, Ping-Feng Wang |
A Framework for Composing SOAP, Non-SOAP and Non-Web Services. |
IEEE Trans. Serv. Comput. |
2015 |
DBLP DOI BibTeX RDF |
|
34 | Pekka Pääkkönen, Daniel Pakkala |
Benchmark of middleware protocols for application and service interaction. |
MUM |
2008 |
DBLP DOI BibTeX RDF |
GCM, message-oriented, performance, scalability, Middleware, SIP, SOAP |
34 | Holger Schmidt 0002, Andreas Köhrer, Franz J. Hauck |
SoapME: a lightweight Java ME web service container. |
MW4SOC |
2008 |
DBLP DOI BibTeX RDF |
web services, SOAP, Java ME |
34 | Martin Tsenov |
Example of communication between distributed network systems using web services. |
CompSysTech |
2007 |
DBLP DOI BibTeX RDF |
PHP5, web services, SOAP, WSDL |
34 | Fabio Giannetti |
A multi-format variable data template wrapper extending podis PPML-T standard. |
ACM Symposium on Document Engineering |
2007 |
DBLP DOI BibTeX RDF |
PPMLT, document exchange, XML, XSLT, template, SOAP, SVG, XSL-FO, variable data print, PPML |
34 | Savas Parastatidis, Simon Woodman, Jim Webber, Dean Kuo, Paul Greenfield |
Asynchronous Messaging between Web Services Using SSDL. |
IEEE Internet Comput. |
2006 |
DBLP DOI BibTeX RDF |
SSDL, Asynchronous/synchronous operation, Distributed Systems, Architecture, Standards, Validation, System architectures, Distributed programming, SOAP, Internet Applications, integration and modelling |
34 | Toyotaro Suzumura, Toshiro Takase, Michiaki Tatsubori |
Optimizing Web Services Performance by Differential Deserialization. |
ICWS |
2005 |
DBLP DOI BibTeX RDF |
JAX-RPC, Deserialization, Web Services, XML, Performance, SOA, SOAP |
34 | Johannes Helander |
Deeply embedded XML communication: towards an interoperable and seamless world. |
EMSOFT |
2005 |
DBLP DOI BibTeX RDF |
XML, service oriented architecture, embedded systems, SOAP, home networking, invisible computing |
Displaying result #101 - #200 of 966 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|