Filters








10,301 Hits in 7.5 sec

Analysis and Transformations for Efficient Query-Based Debugging

Michael Gorbovitski, K. Tuncay Tekle, Tom Rothamel, Scott D. Stoller, Yanhong A. Liu
2008 2008 Eighth IEEE International Working Conference on Source Code Analysis and Manipulation  
This paper describes a framework that supports powerful queries in debugging tools, and describes in particular the transformations, alias analysis, and type analysis used to make the queries efficient  ...  The transformations are based on incrementally maintaining the results of expensive queries studied in previous work.  ...  The next two sections describe our alias analysis and type analysis. We call the system we have implemented qbdPy (Query-based debugging for Python).  ... 
doi:10.1109/scam.2008.27 dblp:conf/scam/GorbovitskiTRSL08 fatcat:24zj6w3atver3cj7ebt344bz2i

A language and framework for invariant-driven transformations

Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller
2009 Proceedings of the eighth international conference on Generative programming and component engineering - GPCE '09  
Invariant-driven transformations Transformations for optimization and verification, as well as refactoring, instrumentation, and debugging, are all driven by invariants.  ...  This paper also describes our implementations for transforming Python and C programs and experiments with successful applications of the systems in generating efficient implementations from clear and modular  ...  Coordinated transformations for maintaining invariants were implemented as early as 20 or 30 years ago and recently for incrementalization, runtime invariant checking, and query-based debugging.  ... 
doi:10.1145/1621607.1621617 dblp:conf/gpce/LiuGS09 fatcat:tvv2ryuouzexpkoz7fy4hcp6ji

A language and framework for invariant-driven transformations

Yanhong A. Liu, Michael Gorbovitski, Scott D. Stoller
2010 SIGPLAN notices  
Invariant-driven transformations Transformations for optimization and verification, as well as refactoring, instrumentation, and debugging, are all driven by invariants.  ...  This paper also describes our implementations for transforming Python and C programs and experiments with successful applications of the systems in generating efficient implementations from clear and modular  ...  Coordinated transformations for maintaining invariants were implemented as early as 20 or 30 years ago and recently for incrementalization, runtime invariant checking, and query-based debugging.  ... 
doi:10.1145/1837852.1621617 fatcat:itwjuiy4kbainl7xlng5yceuzu

The nautilus analyzer

Melanie Herschel, Hanno Eichelberger
2012 Proceedings of the 21st ACM international conference on Information and knowledge management - CIKM '12  
The demonstration will show the capabilities of this component for data transformations specified in SQL on scenarios from different domains that are based on real-world data.  ...  Declarative specifications of data transformations, e.g., SQL or ETL tools, increase developer productivity but usually provide limited or no means for inspection or debugging.  ...  We thank the students having contributed to the visualization and annotation analyzer components as well as Adriane Chapman and Quoc Trung Tran to have shared their programs with us.  ... 
doi:10.1145/2396761.2398743 dblp:conf/cikm/HerschelE12 fatcat:ee53yyszwbd7nmiurzuig34kni

Special issue: synthesis, transformation and analysis of logic programs

Annalisa Bossi, Yves Deville
1999 The Journal of Logic Programming  
Usually, the adjective "'better" refers to "more efficient" with respect to rome operational semantics. The borderline between synthesis and transformation ~ very thin and rather subjective.  ...  This Special Issue of JLP is devoted to three basic areas of logic program development: synthesis, transformation and analysis of logic programs.  ...  Opium is based on a trace query model. The essential features of this model are ability of modeling execution data, synchronous trace querying and meta-debugging capabilities.  ... 
doi:10.1016/s0743-1066(98)10031-6 fatcat:awn2suyxh5erbfqs52vh4qysk4

Analyzing & debugging ILP data mining query execution

Remko Tronçon, Gerda Janssens
2005 Proceedings of the Sixth sixth international symposium on Automated analysis-driven debugging - AADEBUG'05  
We discuss the use of traces as the basis for easy and fast, semi-automated debugging of the underlying (query) execution engine of the ILP system.  ...  The traces can be extended further, and as such be useful for visualization and monitoring of other aspects of ILP data mining systems.  ...  Acknowledgments Remko Tronçon is supported by the Institute for the Promotion of Innovation by Science and Technology in Flanders (I.W.T.).  ... 
doi:10.1145/1085130.1085144 dblp:conf/aadebug/TronconJ05 fatcat:acqe7olc7ffy5ah4jwivkz2y6m

Efficient and scalable omniscient debugging for model transformations

Jonathan Corley, Brian P. Eddy, Eugene Syriani, Jeff Gray
2016 Software quality journal  
Several MDE tools provide basic support for debugging to aid developers in locating and removing defects.  ...  Omniscient debugging enables enhanced navigation and exploration features during a debugging session.  ...  The only modeling tool I am aware of that includes an advanced dynamic debugging technique is TROPIC, which provides support for query-based debugging using OCL to pose queries against a Petri-net based  ... 
doi:10.1007/s11219-015-9304-4 fatcat:7j2jqvts2ngrpnuczanojlh5hy

A Hardware-Aware Debugger for the OpenGL Shading Language [article]

Magnus Strengert, Thomas Klein, Thomas Ertl
2007 Proceedings of the ACM SIGGRAPH/EUROGRAPHICS conference on Graphics hardware - HWWS '04  
By transparently instrumenting the shader program we retrieve information directly from the hardware pipeline and provide data for visual debugging and program analysis.  ...  The turn-around time for debugging, profiling, and optimizing GPU-based algorithms is now a critical factor in application development which is not addressed adequately by the tools available.  ...  debug requests for shader variable data, and to provide capable analysis and interaction methods for the generated debug results.  ... 
doi:10.2312/eggh/eggh07/081-088 fatcat:rujxrznadrhzfnqabqnzkdvh3e

On-the-fly Query-Based Debugging with Examples [article]

Raimondas Lencevicius
2000 arXiv   pre-print
This paper discusses on-the-fly debugging and demonstrates the query-based debugger application for debugging Java gas tank applet as well as SPECjvm98 suite applications.  ...  To enable the query-based debugger in the middle of program execution in a portable way, we propose efficient Java class file instrumentation and discuss alternative techniques.  ...  Acknowledgments We thank Karel Driesen for valuable comments on this paper.  ... 
arXiv:cs/0011021v1 fatcat:lxbbpkvhk5caxdmmktgxrbok4e

EvAnT: Analysis and Checking of Event Traces for Wireless Sensor Networks

Matthias Woehrle, Christian Plessl, Roman Lim, Jan Beutel, Lothar Thiele
2008 2008 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (sutc 2008)  
This method should allow for a concise formulation of explorative queries to determine the occurrence and the cause of functional or performance problems.  ...  The contribution of this paper is an event analysis methodology that is implemented in the EvAnT framework. EvAnT allows for specifying queries that are executed on the collected traces.  ...  EvAnT can be used for macroscopic debugging by defining queries on the event sets or for testing by formulating assertions on the query sets.  ... 
doi:10.1109/sutc.2008.24 dblp:conf/sutc/WoehrlePLBT08 fatcat:gjbadc44snbthdp4cbgpmki3fi

Interactive and automated debugging for big data analytics

Muhammad Ali Gulzar
2018 Proceedings of the 40th International Conference on Software Engineering Companion Proceeedings - ICSE '18  
We showcase the data provenance and optimized incremental computation features to effectively and efficiently support interactive debugging, and investigate new research directions on how to automatically  ...  We seek to address these challenges with the development of BIGDEBUG, a framework providing interactive debugging primitives and tool-assisted fault localization services for big data analytics.  ...  ., for debugging machine learning and graph-based algorithms.  ... 
doi:10.1145/3183440.3190334 dblp:conf/icse/Gulzar18 fatcat:o36lxubmjzfqxmv6p2kfkufkia

Transparent Debugging of Dynamically Optimized Code

Naveen Kumar, Bruce Childers, Mary Lou Soffa
2009 2009 International Symposium on Code Generation and Optimization  
This paper presents a framework, called DeDoc, and lightweight techniques that allow debugging at the source level for programs that have been transformed by a trace-based binary dynamic optimizer.  ...  With the growing importance of dynamic optimization, there is a clear need for debugging support in the presence of runtime code transformation.  ...  Debuggers for statically optimized code have solved the code location and data value problems by performing static and dynamic analysis of optimized code to generate debug information [1, 7, 9, 11, 24  ... 
doi:10.1109/cgo.2009.28 dblp:conf/cgo/KumarCS09 fatcat:rf3zwzbcnva7tl5gqd3h6vkoly

GALO

Guilherme Damasio, Spencer Bryson, Vincent Corvinelli, Parke Godfrey, Piotr Mierzejewski, Jaroslaw Szlichta, Calisto Zuzarte
2019 Proceedings of the VLDB Endowment  
GALO's knowledge base is built on RDF and SPARQL, which is well-suited for manipulating and querying over SQL query plans, which are graphs themselves.  ...  It then uses the knowledge base online to re-optimize queries queued for execution to improve performance, often quite dramatically. PVLDB Reference Format:  ...  GALO's transformation engine is responsible for mapping SQL queries and query plans to the knowledge base's RDF format, and to the SPARQL queries used to query the knowledge base.  ... 
doi:10.14778/3352063.3352064 fatcat:kflxftkslzhvtifq24l7t4eawi

Summarized Trace Indexing and Querying for Scalable Back-in-Time Debugging [chapter]

Guillaume Pothier, Éric Tanter
2011 Lecture Notes in Computer Science  
We present a novel scalable disk-based approach that supports efficient capture, indexing, and interactive navigation of arbitrarily large execution traces.  ...  In particular, our approach provides strong guarantees in terms of query processing time, ensuring an interactive debugging experience.  ...  Introduction Execution traces are a valuable aid in program understanding and debugging. Most research is centered on the capture of execution traces for offline automatic analysis [7, 17, 20] .  ... 
doi:10.1007/978-3-642-22655-7_26 fatcat:xel3ltjm5nhydpgu4bamxlkhsm

A declarative debugger of incorrect answers for constraint functional-logic programs

Rafael Caballero
2005 Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming - WCFLP '05  
We present here a graphical debugging environment for constraint lazy functionallogic programs based on declarative debugging.  ...  However, the usual debugging techniques used in imperative languages such as the step by step execution often are not suitable for debugging declarative programming languages.  ...  Acknowledgments I would like to thank Mario Rodríguez-Artalejo for his useful suggestions.  ... 
doi:10.1145/1085099.1085102 dblp:conf/wcflp/Caballero05 fatcat:v7c7lnmuuffmzjz2pn7v5qtuvy
« Previous Showing results 1 — 15 out of 10,301 results