Search results for "SOAP"

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