|
|
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 |
133 | Alexander Davis, Du Zhang |
A Comparative Study of DCOM and SOAP.  |
ISMSE  |
2002 |
DBLP DOI BibTeX RDF |
performance analysis, distributed computing, SOAP, DCOM |
126 | Balasubramanian Seshasayee, Karsten Schwan, Patrick M. Widener |
SOAP-binQ: High-Performance SOAP with Continuous Quality Management.  |
ICDCS  |
2004 |
DBLP DOI BibTeX RDF |
|
115 | Dan Davis, Manish Parashar |
Latency Performance of SOAP Implementations.  |
CCGRID  |
2002 |
DBLP DOI BibTeX RDF |
JavaRMI, Performance, CORBA, SOAP, study, Network programming |
113 | Thi Khoi Anh Phan, Zahir Tari, Peter Bertók |
A benchmark on soap's transport protocols performance for mobile applications.  |
SAC  |
2006 |
DBLP DOI BibTeX RDF |
SOAP binding, wireless networks, benchmarking, TCP, HTTP, SOAP, UDP, mobile web services |
113 | Wei Lu, Kenneth Chiu, Dennis Gannon |
Building a Generic SOAP Framework over Binary XML.  |
HPDC  |
2006 |
DBLP DOI BibTeX RDF |
SOAP framework, binary XML document, SOAP control channel, file sharing mechanism, Web service protocol stack, message passing, data model, HTTP, client-server system, XML processing, encoding scheme |
108 | Yoichi Takeuchi, Takashi Okamoto, Kazutoshi Yokoyama, Shigeyuki Matsuda |
A Differential-analysis Approach for Improving SOAP Processing Performance.  |
EEE  |
2005 |
DBLP DOI BibTeX RDF |
|
106 | Nayef Abu-Ghazaleh, Michael J. Lewis, Madhusudhan Govindaraju |
Differential Serialization for Optimized SOAP Performance.  |
HPDC  |
2004 |
DBLP DOI BibTeX RDF |
Serialization Optimization, Web Services, Scientific Computing, High Performance, SOAP |
99 | Kwong Yuen Lai, Thi Khoi Anh Phan, Zahir Tari |
Efficient SOAP Binding for Mobile Web Services.  |
LCN  |
2005 |
DBLP DOI BibTeX RDF |
|
90 | Khoi Anh Phan, Zahir Tari, Peter Bertók |
Similarity-Based SOAP Multicast Protocol to Reduce Bandwith and Latency in Web Services.  |
IEEE Trans. Serv. Comput.  |
2008 |
DBLP DOI BibTeX RDF |
|
90 | Mohammad Ashiqur Rahaman, Andreas Schaad |
SOAP-based Secure Conversation and Collaboration.  |
ICWS  |
2007 |
DBLP DOI BibTeX RDF |
|
90 | Kenneth Chiu, Madhusudhan Govindaraju, Randall Bramley |
Investigating the Limits of SOAP Performance for Scientific Computing.  |
HPDC  |
2002 |
DBLP DOI BibTeX RDF |
|
88 | Panagiotis Louridas |
SOAP and Web Services.  |
IEEE Softw.  |
2006 |
DBLP DOI BibTeX RDF |
Simple Object Access Protocol, Web services, SOAP |
88 | Mohammad Ashiqur Rahaman, Andreas Schaad, Maarten Rits |
Towards secure SOAP message exchange in a SOA.  |
SWS  |
2006 |
DBLP DOI BibTeX RDF |
XML rewriting attack, sOAP account, SOA |
88 | Robert Elfwing, Ulf Paulsson, Lars Lundberg |
Performance of SOAP in Web Service Environment Compared to CORBA.  |
APSEC  |
2002 |
DBLP DOI BibTeX RDF |
Web services, Performance, CORBA, SOAP |
81 | Deron Liang, Chen-Liang Fang, Chyouhwa Chen, Fengyi Lin |
Fault tolerant web service.  |
APSEC  |
2003 |
DBLP DOI BibTeX RDF |
|
81 | Steffen Heinzl, Markus Mathes, Thomas Friese, Matthew Smith 0001, Bernd Freisleben |
Flex-SwA: Flexible Exchange of Binary Data Based on SOAP Messages with Attachments.  |
ICWS  |
2006 |
DBLP DOI BibTeX RDF |
|
81 | Marcel-Catalin Rosu |
A-SOAP: Adaptive SOAP Message Processing and Compression.  |
ICWS  |
2007 |
DBLP DOI BibTeX RDF |
|
79 | Smriti Kumar Sinha, Azzedine Benameur |
A formal solution to rewriting attacks on SOAP messages.  |
SWS  |
2008 |
DBLP DOI BibTeX RDF |
context-free signature, context-sensitive signature, regular tree grammar, xml rewriting attacks, security, formal methods, soap |
79 | Naresh Apte, Keith Deutsch, Ravi Jain |
Wireless SOAP: optimizations for mobile wireless web services.  |
WWW (Special interest tracks and posters)  |
2005 |
DBLP DOI BibTeX RDF |
web services, networks, wireless, compression, applications, services, SOAP, WSDL |
72 | Toshiro Takase, Keishi Tajima |
Lazy XML Parsing/Serialization Based on Literal and DOM Hybrid Representation.  |
ICWS  |
2008 |
DBLP DOI BibTeX RDF |
|
72 | Hao Wang 0002, Yizhu Tong, Hong Liu 0018, Taoying Liu |
Application-aware Interface for SOAP Communication in Web Services.  |
CLUSTER  |
2006 |
DBLP DOI BibTeX RDF |
|
72 | Michael R. Head, Madhusudhan Govindaraju, Aleksander Slominski, Pu Liu, Nayef Abu-Ghazaleh, Robert van Engelen, Kenneth Chiu, Michael J. Lewis |
A Benchmark Suite for SOAP-based Communication in Grid Web Services.  |
SC  |
2005 |
DBLP DOI BibTeX RDF |
|
72 | Sergio Congia, Michael Gaylord, Bhavik Merchant, Hussein Suleman |
Applying SOAP to OAI-PMH.  |
ECDL  |
2004 |
DBLP DOI BibTeX RDF |
|
72 | Kei Iwasaki, Keichi Matsuzawa, Tomoyuki Nishita |
Real-Time Rendering of Soap Bubbles Taking into Account Light Interference.  |
Computer Graphics International  |
2004 |
DBLP DOI BibTeX RDF |
light interference, graphics hardware, real-time animation |
72 | Madhusudhan Govindaraju, Aleksander Slominski, Kenneth Chiu, Pu Liu, Robert van Engelen, Michael J. Lewis |
Toward Characterizing the Performance of SOAP Toolkits.  |
GRID  |
2004 |
DBLP DOI BibTeX RDF |
|
70 | Masahiro Nakamura, Go Inaba, Jun Tamaoki, Kazuhito Shiratori, Junichi Hoshino |
Mounting and application of bubble display system: bubble cosmos.  |
Advances in Computer Entertainment Technology  |
2006 |
DBLP DOI BibTeX RDF |
interactive visual display, soap bubble, interactive entertainment |
70 | Roland Kübert, Hai-Lang Thai, Axel Tenschert |
A SOAP performance comparison of different WSRF implementations.  |
MEDES  |
2009 |
DBLP DOI BibTeX RDF |
Apache muse, Java, web services, benchmark, SOAP, globus toolkit, WSRF, UNICORE |
70 | Chen-Liang Fang, Deron Liang, Fengyi Lin, Chien-Cheng Lin |
A Preliminary Study on Portable Interceptor Mechanism to SOAP.  |
SNPD  |
2008 |
DBLP DOI BibTeX RDF |
Web Services, Portable, SOAP, Interceptor |
70 | Patrick Baudisch, Mike Sinclair, Andrew Wilson |
Soap: a pointing device that works in mid-air.  |
UIST  |
2006 |
DBLP DOI BibTeX RDF |
10 foot user interfaces, mid-air input, hardware, soap, mouse, input, pointing device, optical sensor |
70 | Fabien Hantz, Julien Henriet |
Multimedia Flow Transmission Policies for Collaborative Platform based on SOAP.  |
DFMA  |
2005 |
DBLP DOI BibTeX RDF |
Tele-applications, Security, Web-services, Performance, Multimedia, Streaming, SOAP |
70 | Éric Garcia, Julien Henriet, Jean-Christophe Lapayre |
Comparison of Continuous Flow Transmission Strategies over a Distributed Platform Based on Soap.  |
IEEE SCC  |
2004 |
DBLP DOI BibTeX RDF |
Tele-applications, Security, Web-services, Performance, Multimedia, Streaming, SOAP |
63 | Gibson Lam, David Rossiter |
A SOAP-Based Streaming Content Delivery Framework for Multimedia Web Services.  |
APSCC  |
2008 |
DBLP DOI BibTeX RDF |
|
63 | Khoi Anh Phan, Peter Bertók, Andrew Fry, Caspar Ryan |
Minimal Traffic-Constrained Similarity-Based SOAP Multicast Routing Protocol.  |
OTM Conferences (1)  |
2007 |
DBLP DOI BibTeX RDF |
|
63 | Chen-Liang Fang, Deron Liang, Fengyi Lin, Chien-Cheng Lin, William Cheng-Chung Chu |
A Portable Interceptor Mechanism on SOAP for Continuous Audit.  |
APSEC  |
2006 |
DBLP DOI BibTeX RDF |
|
63 | Lei Li, Chunlei Niu, Ningjiang Chen, Jun Wei 0001 |
High Performance Web Services Based on Service-Specific SOAP Processor.  |
ICWS  |
2006 |
DBLP DOI BibTeX RDF |
|
63 | Alexander Ridgewell, Xu Huang 0001, Dharmendra Sharma 0001 |
Evaluating the Size of the SOAP for Integration in B2B.  |
KES (4)  |
2005 |
DBLP DOI BibTeX RDF |
|
63 | Byong-In Lim, Ho-Jin Shin, Seung-Hyun Lee, Dong Ryeol Shin |
Remote Data Access Scheme for Service Delivery and Invocation Based on SOAP Protocol.  |
EC-Web  |
2005 |
DBLP DOI BibTeX RDF |
|
63 | Nayef Abu-Ghazaleh, Michael J. Lewis |
Differential Deserialization for Optimized SOAP Performance.  |
SC  |
2005 |
DBLP DOI BibTeX RDF |
XML |
63 | Christian Werner, Carsten Buschmann, Stefan Fischer 0001 |
Compressing SOAP Messages by using Differential Encoding.  |
ICWS  |
2004 |
DBLP DOI BibTeX RDF |
|
63 | Daniel Andresen, David Sexton, Kiran Devaram, Venkatesh Prasad Ranganath |
LYE: A High-Performance Caching SOAP Implementation.  |
ICPP  |
2004 |
DBLP DOI BibTeX RDF |
|
63 | Jaakko Kangasharju, Sasu Tarkoma, Kimmo E. E. Raatikainen |
Comparing SOAP Performance for Various Encodings, Protocols, and Connections.  |
PWC  |
2003 |
DBLP DOI BibTeX RDF |
Measurement Of Wireless And Mobile Systems, Mobile And Wireless Applications, Web Services Over Mobile And Wireless Networks |
61 | Axel Sylvester, Tanja Döring, Albrecht Schmidt 0001 |
Liquids, smoke, and soap bubbles: reflections on materials for ephemeral user interfaces.  |
TEI  |
2010 |
DBLP DOI BibTeX RDF |
ephemeral user interfaces, interactive art installation, soap bubbles, tangible user interfaces, materiality |
61 | Nik Looker, Jie Xu 0007 |
Assessing the Dependability of SOAP RPC-Based Web Services by Fault Injection.  |
WORDS Fall  |
2003 |
DBLP DOI BibTeX RDF |
Web Services, SOAP, Software Fault Injection |
61 | Ernesto Damiani, Sabrina De Capitani di Vimercati, Stefano Paraboschi, Pierangela Samarati |
Securing SOAP e-services.  |
Int. J. Inf. Sec.  |
2002 |
DBLP DOI BibTeX RDF |
Access control, SOAP, E-services, Digital certificates |
61 | Jia Zhang 0001, Jen-Yao Chung |
A SOAP-Oriented Component-Based Framework Supporting Device-Independent Multimedia Web Services.  |
ISMSE  |
2002 |
DBLP DOI BibTeX RDF |
XML/XSL, web services, multimedia, framework, profile, SOAP |
54 | Roger J. Castaldo, Michael A. McKay, Vladimir Tosic |
Exposing GNU Octave Signal Processing Functions as Extensible Markup Language (XML) Web Services.  |
CCECE  |
2006 |
DBLP DOI BibTeX RDF |
|
54 | Chen-Liang Fang, De-Ron Liang, Chyouhwa Chen, PuSan Lin |
A Redundant Nested Invocation Suppression Mechanism for Active Replication Fault-Tolerant Web Service.  |
EEE  |
2004 |
DBLP DOI BibTeX RDF |
|
54 | Navya Sidharth, Jigang Liu |
Intrusion Resistant SOAP Messaging with IAPF.  |
APSCC  |
2008 |
DBLP DOI BibTeX RDF |
|
54 | Kun Zhou, Yanmin Song, Xintian Shen, Yurong Yan, Wen Wang |
An Application of Fuzzy Control Based on PLC in the Electrical Control System of Fancy Soap Production.  |
FSKD (3)  |
2008 |
DBLP DOI BibTeX RDF |
|
54 | Khoi Anh Phan, Zahir Tari, Peter Bertók |
eSMP: A Multicast Protocol to Minimize SOAP Network Traffic in Low Bandwidth Environments.  |
LCN  |
2007 |
DBLP DOI BibTeX RDF |
|
54 | Theo Ferreira Franco, Weldson Queiroz de Lima, Giancarlo Silvestrin, Rafael Corezola Pereira, Maria Janilce Bosquiroli Almeida, Liane Margarida Rockenbach Tarouco, Lisandro Zambenedetti Granville, André Beller, Edgard Jamhour, Mauro Fonseca |
Substituting COPS-PR: An Evaluation of NETCONF and SOAP for Policy Provisioning.  |
POLICY  |
2006 |
DBLP DOI BibTeX RDF |
|
54 | Jun Wei 0001, Hua Lei, Chunlei Niu, Haoran Zheng |
High Performance SOAP Processing Driven by Data Mapping Template.  |
DAIS  |
2006 |
DBLP DOI BibTeX RDF |
|
54 | Yonglei Yao, Sen Su, Fangchun Yang |
SOAP Based Double-Channel Communication.  |
AICT/ICIW  |
2006 |
DBLP DOI BibTeX RDF |
|
54 | Hamid Malek, Jacques Durand |
A SOAP Container Model for e-Business Messaging Requirements.  |
WISE  |
2005 |
DBLP DOI BibTeX RDF |
|
54 | Pedro Ángel Castillo Valdivieso, Maribel García Arenas, Francisco Javier García Castellano, Juan Julián Merelo Guervós, Víctor Manuel Rivas Santos, Gustavo Romero |
Optimisation of Multilayer Perceptrons Using a Distributed Evolutionary Algorithm with SOAP.  |
PPSN  |
2002 |
DBLP DOI BibTeX RDF |
|
54 | Dan Wang, Ge Yu 0001, Baoyan Song, Derong Shen, Guoren Wang |
Study on SOAP-Based Mobile Agent Techniques.  |
EDCIS  |
2002 |
DBLP DOI BibTeX RDF |
|
54 | Andrew S. Glassner |
Soap Bubbles: Part 1.  |
IEEE Computer Graphics and Applications  |
2000 |
DBLP DOI BibTeX RDF |
|
52 | Mohamed Shehab, Kamal Bhattacharya, Arif Ghafoor |
Web services discovery in secure collaboration environments.  |
ACM Trans. Internet Techn.  |
2007 |
DBLP DOI BibTeX RDF |
Secure collaboration, encapsulated SOAP, private UDDI registries, secure access paths, protocols, services |
52 | Casey K. Fung, Patrick C. K. Hung, Guijun Wang, Richard C. Linger, Gwendolyn H. Walton |
A Study of Service Composition with QoS Management.  |
ICWS  |
2005 |
DBLP DOI BibTeX RDF |
CBA, MEP, MDR, QoS, Web services, SOA, SLA, BPEL, SOAP, OOA |
52 | Júlio Cezar Estrella, Marcos José Santana, Regina Helena Carlucci Santana, Francisco José Monaco |
Real-time compression of SOAP messages in a SOA environment.  |
SIGDOC  |
2008 |
DBLP DOI BibTeX RDF |
web services, compression, SOAP, real-time communication |
52 | Ning Wang, Michael Welzl, Liang Zhang |
A High Performance SOAP Engine for Grid Computing.  |
GridNets  |
2008 |
DBLP DOI BibTeX RDF |
Web Service, SOAP, SCTP |
52 | Patrick Baudisch, Mike Sinclair, Andrew Wilson |
Soap: how to make a mouse work in mid-air.  |
CHI Extended Abstracts  |
2007 |
DBLP DOI BibTeX RDF |
10-foot user interfaces, mid-air input, hardware, Soap, mouse, input, pointing device, optical sensor |
52 | Gerald Brose |
A Gateway to Web Services Security - Securing SOAP with Proxies.  |
ICWS-Europe  |
2003 |
DBLP DOI BibTeX RDF |
SOAP message security, Web Services, WS-Security, security architecture, SAML |
52 | Timothy K. Shih, Wen-Chih Chang, Nigel H. Lin, Louis H. Lin, Hun-Hui Hsu, Ching-Tang Hsieh |
Using SOAP and .NET Web Service to Build SCORM RTE and LMS.  |
AINA  |
2003 |
DBLP DOI BibTeX RDF |
Web Service, SOAP, LMS, SCORM, RTE |
49 | Joe Tekli, Ernesto Damiani, Richard Chbeir |
Differential SOAP Multicasting.  |
ICWS  |
2011 |
DBLP DOI BibTeX RDF |
Message Multicasting, Differential Processing, SOAP Performance, Web Service Communications, XML, SOAP |
45 | Suhyun Kim, Daeyoung Kim 0001, Jongwoo Sung, Tomás Sánchez López |
Template based High Performance ALE-TSOAP Message Communication.  |
SERA  |
2007 |
DBLP DOI BibTeX RDF |
|
45 | Kamal Elbashir, Ralph Deters |
Nomadic Web Service Clients.  |
IDEAS  |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon 0001, Riccardo Pucella |
TulaFale: A Security Tool for Web Services.  |
FMCO  |
2003 |
DBLP DOI BibTeX RDF |
|
45 | Min Ki Park, Hyun Soo Kim, Han Kyun Choi, Seung Joo Lee, Kwang Hee Ko, Kwan H. Lee |
A deformable model of soap film considering physical properties.  |
SIGGRAPH ASIA Posters  |
2009 |
DBLP DOI BibTeX RDF |
deformation, physically-based modeling |
45 | Christian Werner, Carsten Buschmann, Ylva Brandt, Stefan Fischer 0001 |
Compressing SOAP Messages by using Pushdown Automata.  |
ICWS  |
2006 |
DBLP DOI BibTeX RDF |
|
45 | Ching-Ming Tien, Cho-Jun Lee, Po-Wen Cheng, Ying-Dar Lin |
SOAP Request Scheduling for Differentiated Quality of Service.  |
WISE Workshops  |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Hui Liu, Xin Lin, Minglu Li 0001 |
Modeling Response Time of SOAP over HTTP.  |
ICWS  |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Seong Joon Yoo, Min Kyung Kim 0002, Ho Il Lee, Hyun Seok Park |
SOAP API for Integrating Biological Interaction Databases.  |
DILS  |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Wei Lu, Kenneth Chiu, Aleksander Slominski, Dennis Gannon |
A streaming validation model for SOAP digital signature.  |
HPDC  |
2005 |
DBLP DOI BibTeX RDF |
|
45 | Jan Janecek |
Efficient SOAP Processing in Embedded Systems.  |
ECBS  |
2004 |
DBLP DOI BibTeX RDF |
|
45 | Chen-Liang Fang, Deron Liang, Fengyi Lin |
A Nested Invocation Suppression Mechanism for Cctive Replicated SOAP Systems.  |
APSEC  |
2004 |
DBLP DOI BibTeX RDF |
|
45 | Jimmy Zhang |
SOAP Processing: A Non-extractive Approach.  |
ECOWS  |
2004 |
DBLP DOI BibTeX RDF |
|
45 | Roberto Ruiz, Jesús S. Aguilar-Ruiz, José Cristóbal Riquelme Santos |
SOAP: Efficient Feature Selection of Numeric Attributes.  |
IBERAMIA  |
2002 |
DBLP DOI BibTeX RDF |
|
43 | Simon J. Woodman, Graham Morgan, Simon E. Parkin |
Portal Replication for Web Application Availability Via SOA.  |
WORDS  |
2003 |
DBLP DOI BibTeX RDF |
Web services, CORBA, replication, group communications, SOAP, portal |
43 | Cristian Pinzón, Belén Pérez Lancho, Angélica González Arrieta, Ana de Luis, Jesús A. Román |
A Solution CBR Agent-Based to Classify SOAP Message within SOA Environments.  |
HAIS  |
2009 |
DBLP DOI BibTeX RDF |
SOAP message, multi-agent systems, case-based reasoning, XML security |
43 | Ernesto Damiani, Stefania Marrara |
Efficient SOAP message exchange and evaluation through XML similarity.  |
SWS  |
2008 |
DBLP DOI BibTeX RDF |
soap messages, xml encryption, xml similarity, web-services |
43 | Morgan Ericsson |
The Effects of XML Compression on SOAP Performance.  |
World Wide Web  |
2007 |
DBLP DOI BibTeX RDF |
binary XML, small wireless devices, wireless telephony, Web Services, sensor networks, performance, benchmark, SOAP, XML compression |
43 | Dariusz Jaszkowski, Janusz Rzeszut |
Interference colours of soap bubbles.  |
Vis. Comput.  |
2003 |
DBLP DOI BibTeX RDF |
Interference colours, Thin film, Soap bubble, Thickness of the film, Spectral reflectivity of the film |
43 | Paul O'Connell, Rachel Jane McCrindle |
Using SOAP to Clean up Configuration Management.  |
COMPSAC  |
2001 |
DBLP DOI BibTeX RDF |
distributed software evolution, internet and web based systems, XML, Configuration management, SOAP, component-based software development |
41 | 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 |
|
41 | Ben Liblit, Yingjun Lyu, Rajdeep Mukherjee, Omer Tripp, Yanjun Wang 0005 |
User-Assisted Code Query Optimization.  |
SOAP@PLDI  |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Marc Miltenberger, Steven Arzt |
Extensible and Scalable Architecture for Hybrid Analysis.  |
SOAP@PLDI  |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella |
Speeding up Static Analysis with the Split Operator.  |
SOAP@PLDI  |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Sangrok Lee, Jieun Lee, Jaeyong Ko, Jaewoo Shim |
Crosys: Cross Architectural Dynamic Analysis.  |
SOAP@PLDI  |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Konrad Hohentanner, Florian Kasten, Lukas Auer |
HWASanIO: Detecting C/C++ Intra-object Overflows with Memory Shading.  |
SOAP@PLDI  |
2023 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
|
41 | Tobias Reinhard, Justus Fasse, Bart Jacobs 0002 |
Completeness Thresholds for Memory Safety of Array Traversing Programs.  |
SOAP@PLDI  |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Luca Negrini, Guruprerana Shabadi, Caterina Urban |
Static Analysis of Data Transformations in Jupyter Notebooks.  |
SOAP@PLDI  |
2023 |
DBLP DOI BibTeX RDF |
|
41 | Samuel Coward, George A. Constantinides, Theo Drane |
Combining E-Graphs with Abstract Interpretation.  |
SOAP@PLDI  |
2023 |
DBLP DOI BibTeX RDF |
|
41 | 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 |
|
41 | 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 |
|
41 | 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 |
|
41 | Pavle Subotic, Uros Bojanic, Milan Stojic |
Statically detecting data leakages in data science code.  |
SOAP@PLDI  |
2022 |
DBLP DOI BibTeX RDF |
|
41 | Ignacio Laguna, Xinyi Li, Ganesh Gopalakrishnan |
BinFPE: accurate floating-point exception detection for GPU applications.  |
SOAP@PLDI  |
2022 |
DBLP DOI BibTeX RDF |
|
41 | Guillaume Bau, Antoine Miné, Vincent Botbol, Mehdi Bouaziz |
Abstract interpretation of Michelson smart-contracts.  |
SOAP@PLDI  |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 966 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|