Search results for "PASTE"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	David Notkin	Longitudinal program analysis.	PASTE	2002	DBLP DOI BibTeX RDF
1	James F. Bowring, Alessandro Orso, Mary Jean Harrold	Monitoring deployed software using software tomography.	PASTE	2002	DBLP DOI BibTeX RDF	gamma technology, software tomography, tomographic refinement, software engineering, code coverage
1	Taweesup Apiwattanapong, Mary Jean Harrold	Selective path profiling.	PASTE	2002	DBLP DOI BibTeX RDF	static analysis, dynamic analysis, path profiling
1	Mustafa M. Tikir, Jeffrey K. Hollingsworth, Guei-Yuan Lueh	Recompilation for debugging support in a JIT-compiler.	PASTE	2002	DBLP DOI BibTeX RDF	Java virtual machine debugger interface, debug information, dynamic recompilation, field access watch, Java, just-in-time compilation
1	John Howard Eli Fiskio-Lasseter, Michal Young	Flow equations as a generic programming tool for manipulation of attributed graphs.	PASTE	2002	DBLP DOI BibTeX RDF
1	Michael Hind	Pointer analysis: haven't we solved this problem yet?	PASTE	2001	DBLP DOI BibTeX RDF
1	Ismail Kadayif, T. Chinoda, Mahmut T. Kandemir, Narayanan Vijaykrishnan, Mary Jane Irwin, Anand Sivasubramaniam	vEC: virtual energy counters.	PASTE	2001	DBLP DOI BibTeX RDF	system energy consumption, optimizations, embedded systems, signal processing, hardware performance counters
1	Thomas Ball, Sriram K. Rajamani	Bebop: a path-sensitive interprocedural dataflow engine.	PASTE	2001	DBLP DOI BibTeX RDF
1	Donglin Liang, Maikel Pennings, Mary Jean Harrold	Extending and evaluating flow-insenstitive and context-insensitive points-to analyses for Java.	PASTE	2001	DBLP DOI BibTeX RDF	Java
1	Gagan Agrawal, Liang Guo	Evaluating explicitly context-sensitive program slicing.	PASTE	2001	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann	Economics of software verification.	PASTE	2001	DBLP DOI BibTeX RDF	model checking, testing, software verification, spin
1	William G. Griswold	Making slicing practical: the final mile (Abstract).	PASTE	2001	DBLP DOI BibTeX RDF	program slicing
1	Claus Brabrand, Anders Møller, Michael I. Schwartzbach	Static validation of dynamically generated HTML.	PASTE	2001	DBLP DOI BibTeX RDF	HTML
1	John Field, Gregor Snelting (eds.)	Proceedings of the 2001 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'01, Snowbird, Utah, USA, June 18-19, 2001	PASTE	2001	DBLP BibTeX RDF
1	Markus Mock, Manuvir Das, Craig Chambers, Susan J. Eggers	Dynamic points-to sets: a comparison with static analyses and potential applications in program understanding and optimization.	PASTE	2001	DBLP DOI BibTeX RDF	calpa, dynamic analysis, program understanding, program optimization, points-to analysis, alias analysis, program instrumentation
1	Steven P. Reiss	An overview of BLOOM.	PASTE	2001	DBLP DOI BibTeX RDF
1	Jan-Willem Maessen, Vivek Sarkar, David Grove	Program analysis for safety guarantees in a Java virtual machine written in Java.	PASTE	2001	DBLP DOI BibTeX RDF	Java
1	Amie L. Souter, Lori L. Pollock	Contextual def-use associations for object aggregation.	PASTE	2001	DBLP DOI BibTeX RDF
1	Corinne Ancourt, Thi Viet Nga Nguyen	Array resizing for scientific code debugging, maintenance and reuse.	PASTE	2001	DBLP DOI BibTeX RDF	array declaration, array region, array resizing, reverse-engineering, debug, reuse, FORTRAN, program analysis, program comprehension
1	Adam Brooks Webber	What is a class invariant?	PASTE	2001	DBLP DOI BibTeX RDF	Java
1	Cormac Flanagan, Stephen N. Freund	Detecting race conditions in large programs.	PASTE	2001	DBLP DOI BibTeX RDF	Java
1	Barbara G. Ryder, Frank Tip	Change impact analysis for object-oriented programs.	PASTE	2001	DBLP DOI BibTeX RDF
1	Jens Palsberg	Type-based analysis and applications.	PASTE	2001	DBLP DOI BibTeX RDF
1	Hira Agrawal	Efficient Coverage Testing Using Global Dominator Graphs.	PASTE	1999	DBLP DOI BibTeX RDF
1	Satish Chandra 0001, Thomas W. Reps	Physical Type Checking for C.	PASTE	1999	DBLP DOI BibTeX RDF	C
1	Gabriella Kókai, Jörg Nilson, Christian Niss	GIDTS: A Graphical Programming Environment for Prolog.	PASTE	1999	DBLP DOI BibTeX RDF	Prolog
1	Nicky Williams Preston	New Type Signatures for Legacy Fortran Subroutines.	PASTE	1999	DBLP DOI BibTeX RDF	array region, dynamic alias, reverse engineering, Fortran, FORTRAN, alias analysis
1	Liz Whiting, Mike Hill	Safety Analysis of Hawk in Flight Monitor.	PASTE	1999	DBLP DOI BibTeX RDF
1	Gleb Naumovich, Lori A. Clarke, Jamieson M. Cobleigh	Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification.	PASTE	1999	DBLP DOI BibTeX RDF
1	Donglin Liang, Mary Jean Harrold	Equivalence Analysis: A General Technique to Improve the Efficiency of Data-flow Analyses in the Presence of Pointers.	PASTE	1999	DBLP DOI BibTeX RDF	data-flow analysis, alias analysis
1	Christoph Steindl	Benefits of a Data Flow-Aware Programming Environment.	PASTE	1999	DBLP DOI BibTeX RDF
1	Amie L. Souter, Lori L. Pollock, Dixie Hisley	Inter-Class Def-Use Analysis with Partial Class Representations.	PASTE	1999	DBLP DOI BibTeX RDF
1	Jong-Deok Choi, David Grove, Michael Hind, Vivek Sarkar	Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs.	PASTE	1999	DBLP DOI BibTeX RDF	Java
1	Francoise Balmas	Query by Outlines: A New Paradigm to Help Manage Programs.	PASTE	1999	DBLP DOI BibTeX RDF
1	William G. Griswold, Susan Horwitz (eds.)	Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '99, Toulouse, France, September 6, 1999	PASTE	1999	DBLP BibTeX RDF
1	John Field, G. Ramalingam	Identifying Procedural Structure in Cobol Programs.	PASTE	1999	DBLP DOI BibTeX RDF	COBOL
1	Thomas Ball, Frank Tip, A. Michael Berman (eds.)	Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE '98, Montreal, Canada, June 16, 1998	PASTE	1998	DBLP DOI BibTeX RDF
1	Steven P. Reiss	Software Visualization in the Desert Environment.	PASTE	1998	DBLP DOI BibTeX RDF
1	Caroline Tice, Susan L. Graham	OPTVIEW: A New Approach for Examining Optimized Code.	PASTE	1998	DBLP DOI BibTeX RDF
1	Gleb Naumovich, Lori A. Clarke, Leon J. Osterweil	Efficient Composite Data Flow Analysis Applied to Concurrent Programs.	PASTE	1998	DBLP DOI BibTeX RDF
1	Jens Krinke	Static Slicing of Threaded Programs.	PASTE	1998	DBLP DOI BibTeX RDF
1	Nurit Dor, Michael Rodeh, Shmuel Sagiv	Detecting Memory Errors via Static Pointer Analysis (Preliminary Experience).	PASTE	1998	DBLP DOI BibTeX RDF
1	Clinton L. Jeffery, Wenyi Zhou, Kevin Templer, Michael Brazell	A Lightweight Architecture for Program Execution Monitoring.	PASTE	1998	DBLP DOI BibTeX RDF
1	Melissa P. Chase, Steven M. Christey, David R. Harris 0001, Alexander S. Yeh	Recovering Software Architecture from Multiple Source Code Analyses.	PASTE	1998	DBLP DOI BibTeX RDF
1	Oscar Waddell, J. Michael Ashley	Visualizing the Performance of Higher-Order Programs.	PASTE	1998	DBLP DOI BibTeX RDF
1	Gregor Snelting	Concept Analysis - A New Framework for Program Understanding.	PASTE	1998	DBLP DOI BibTeX RDF
1	Sean Zhang, Barbara G. Ryder, William Landi	Experiments with Combined Analysis for Pointer Aliasing.	PASTE	1998	DBLP DOI BibTeX RDF
1	Mary Jean Harrold, Gregg Rothermel, Rui Wu, Liu Yi	An Empirical Investigation of Program Spectra.	PASTE	1998	DBLP DOI BibTeX RDF

Publications at "PASTE"( http://dblp.L3S.de/Venues/PASTE )