debug-optimized.bib

%%% Debugging bibliography


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Debugging conferences
%%%



@Proceedings{pardistdebug91,
  title = 	 "Proceedings of ACM/ONR Workshop on Parallel and
		  Distributed Debugging",
  editor =       "Barton P. Miller and Charles E. McDowell",
  year = 	 1991,
  address =	 "Santa Cruz, CA, USA",
  month =	 May # "~20--21,"
}

@Proceedings{hldebug83,
  title = 	 "ACM SIGSOFT/SIGPLAN Software Engineering Symposium on
		  High-Level Debugging",
  editor =       "Mark Scott Johnson",
  year = 	 1983,
  address =	 "Pacific Grove, CA",
  month =	 Mar # "~20--23,"
}

@Proceedings{aadebug93,
  title = 	 "Automated and Algorithmic Debugging",
  year = 	 1993,
  editor =	 "Peter A. Fritzson",
  number =	 749,
  series =	 lncs,
  publisher =	 "Springer-Verlag",
  address = 	 "Link{\"o}ping, Sweden",
  month =	 May # "~3--5,"
}



@Proceedings{supercompdebug93,
  title = 	 "Proceedings of the Supercomputer Debugging Workshop",
  editor =       "Benjamin Young",
  year = 	 1993,
  address =	 "Portland, OR",
  month =	 Oct
}


@Proceedings{supercompdebug91,
  title = 	 "Proceedings of the Supercomputer Debugging Workshop",
  year = 	 1991,
  address =	 "Albuquerque, NM",
  month =	 nov # "~14--16,",
  editor = 	 "J. Brown",
}




%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Debugging optimized programs
%%%


@PhdThesis{Zellweger84:phd,
  author = 	 "P. T. Zellweger",
  title = 	 "Interactive Source-Level Debugging for Optimized Programs",
  school = 	 "University of California, Berkeley",
  year = 	 1984,
  address = 	 "Berkeley, California, USA",
  month = 	 may,
  note = 	 "Technical Report CSL-84-5, Xerox Palo Alto Research Center",
}

@TechReport{Zellweger83:TR,
  author = 	 "Polle T. Zellweger",
  title = 	 "An Interactive High-Level Debugger for Control-Flow
		  Optimized Programs",
  institution =  PARC,
  year = 	 1983,
  number =	 "CSL-83-1",
  address =	 "Palo Alto, California",
  month =	 Jan
}


@inproceedings{Zellweger83:HLD,
	author = "Polle T. Zellweger",
	title = "An Interactive High-Level Debugger for Control-Flow
		Optimized Programs (Summary)",
	crossref = "HLD83",
	pages = "159--171",
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Recovering noncurrent/endangered variables
%%%




@Article{Hennessy82,
  author = 	 "John Hennessy",
  title = 	 "Symbolic Debugging of Optimized Code",
  journal =	 toplas,
  year =	 1982,
  volume =	 4,
  number =	 3,
  pages =	 "323--344",
  month =	 Jul
}


@Article{WallST85,
  author = 	 "David Wall and Amitabh Srivastava and Fred Templin",
  title = 	 "A Note on {H}ennessy's ``{S}ymbolic Debugging of
		  Optimized Code''",
  journal =	 toplas,
  year =	 1985,
  volume =	 7,
  number =	 1,
  pages =	 "176--181",
  month =	 Jan
}

@Article{CoppermanM93,
  author = 	 "Max Copperman and Charles E. McDowell",
  title = 	 "A Further Note on {H}ennessy's ``{S}ymbolic Debugging of
		  Optimized Code''",
  journal =	 toplas,
  year =	 1993,
  volume =	 15,
  number =	 2,
  pages =	 "357--365",
  month =	 Apr
}


@InProceedings{AdlTabatabaiG93,
  author = 	 "Ali-Reza Adl-Tabatabai and Thomas Gross",
  title = 	 "Detection and recovery of endangered variables caused by
		  instruction scheduling",
  crossref =     "PLDI93",
  pages =	 "13--25",
}


@TechReport{AdlTabatabaiG94,
  author = 	 "Ali-Reza Adl-Tabatabai and Thomas Gross",
  title = 	 "Symbolic Debugging of Globally Optimized Code: Data Value
		  Problems and Their Solutions",
  institution =  "Carnegie Mellon University",
  year = 	 1994,
  number =	 "CMU-CS-94-105",
  month =	 Jan
}
% Possibly submitted to PLDI '94 -- the .dvi file was named PLDI94-tr.dvi.


@InProceedings{CoutantMR88,
  author = 	 "Deborah S. Coutant and Sue Meloy and Michelle Ruscetta",
  title = 	 "{DOC}: A Practical Approach to Source-Level Debugging of
		  Globally Optimized Code",
  booktitle =	 "sigplan88",
  pages =	 "125--134",
  year =	 1988,
  address =	 "Atlanta, GA, USA",
  month =	 Jun # "~22--24,",
  note =	 "Also published as SIGPLAN Notices 23:7"
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% CXdb
%%%


@InProceedings{BrooksHS92,
  author = 	 "Gary Brooks and Gilbert J. Hansen and Steve Simmons",
  title = 	 "A new approach to debugging optimized code",
  crossref =     "PLDI92",
  pages =	 "1--11",
}




@InProceedings{Streepy91,
  author = 	 "Larry Streepy",
  title = 	 "{CX}db:  A new view on optimization",
  booktitle = 	 "Proceedings of the Supercomputer Debugging Workshop",
  year = 	 1993,
  address =	 "Albuquerque, NM",
  month =	 Nov
}


@InProceedings{BuyseC91,
  author = 	 "Russ Buyse and Mark Chiarelli",
  title = 	 "A User Interface Strategy for {CX}db",
  booktitle =	 "Xhibition 91 Conference Proceedings",
  pages =	 "9--15",
  year =	 1991,
  month =	 Jun
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Debugging parallel/distributed programs
%%%



@MastersThesis{Caro93,
  author = 	 "Alejandro Caro",
  title = 	 "A Debugger for {I}d",
  school = 	 MIT,
  year = 	 1993,
  address =	 "Cambridge, MA",
  month =	 Feb
}


@InProceedings{AdityaC93,
  author = 	 "Shail Aditya and Alejandro Caro",
  title = 	 "Compiler-directed type reconstruction for polymorphic
		  languages",
  crossref =	 "FPCA93",
}


@InProceedings{TolmachA90,
  author = 	 "Andrew P. Tolmach and Andrew W. Appel",
  title = 	 "Debugging {S}tandard {ML} without reverse engineering",
  crossref =     "LFP90",
  pages = 	 "1--12",
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Maintaining correspondences with sources
%%%






%%
%% Term rewriting a la FieldT94
%%



@InProceedings{Bertot91,
  author = 	 "Yves Bertot",
  title = 	 "Occurences in Debugger Specifications",
  crossref =     "PLDI91",
  pages =	 "327--337",
}
% Also SIGPLAN notices 26:6.


@InProceedings{Bertot92,
  author = 	 "Yves Bertot",
  title = 	 "Origin functions in $lambda$-calculus and term rewriting
		  systems",
  editor =	 "J.-C. Raoult",
  booktitle =	 "Proc. Seventeenth CAAP",
  pages =	 "49--64",
  year =	 1992,
  note =	 "Springer-Verlag LNCS 581"
}

@InProceedings{Maranget91,
  author = 	 "Luc Maranget",
  title = 	 "Optimal Derivations in Weak Lambda-calculi and in
		  Orthogonal Terms Rewriting Systems",
  crossref =	 "POPL91",
  pages =	 "255--269",
}

@TechReport{Klop90,
  author = 	 "J. W. Klop",
  title = 	 "Term rewriting systems",
  institution =  "CWI",
  year = 	 1990,
  number =	 "CS-R9073",
  address =	 "Amsterdam, The Netherlands"
}
% CWI = Centrum voor Wiskunde en Informatica
% Centre for Mathematics and Computer Science


@Article{vanDerusenKT93,
  author = 	 "A. van Deursen and P. Klint and F. Tip",
  title = 	 "Origin tracking",
  journal =	 "J. Symbolic Computation",
  year =	 1993,
  volume =	 15,
  pages =	 "523--545"
}



@InCollection{Schwartz71,
  author = 	 "J. T. Schwartz",
  title = 	 "An overview of bugs",
  booktitle =	 "Debugging Techniques in Large Systems, Courant Computer
		  Science Symposium 1",
  publisher =	 "Prentice-Hall",
  year =	 1971,
  editor =	 "R. Rustin"
}



@InProceedings{PLDI94*313,
  author =       "Robert H. B. Netzer and Mark H. Weaver",
  title =        "Optimal Tracing and Incremental Reexecution for
                 Debugging Long-Running Programs",
  pages =        "313--325",
  ISBN =         "0-89791-662-X",
  booktitle =    "Proceedings of the Conference on Programming Language
                 Design and Implementation",
  month =        jun,
  year =         "1994",
}


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Other
%%%

@inproceedings{Fritzson83,
  author = "P. Fritzson",
  title = "A Systematic Approach to Advanced Debugging through
	   Incremental Compilation",
  crossref = "HLD83",
  pages = "130--139",
}


@InProceedings{Bourdoncle93,
  author = 	 "Fran{\c{c}}ois Bourdoncle",
  title = 	 "Abstract debugging of higher-order imperative languages",
  crossref =     "PLDI93",
  pages =	 "46--55",
}


@InProceedings{Ferrante83,
  author = 	 "Jeanne Ferrante",
  title = 	 "High level language debugging with a compiler",
  crossref =	 "HLD83",
  pages =	 "123--129",
  year =	 1983,
  address =	 "Pacific Grove, CA",
  month =	 Mar # "~20--23,"
}


@InProceedings{OttensteinO83,
  author = 	 "Karl J. Ottenstein and Linda M. Ottenstein",
  title = 	 "High-level debugging assistance via optimizing compiler
		  technology (extended abstract)",
  crossref =	 "HLD83",
  pages =	 "152--154",
}


@InProceedings{WeberK83,
  author = 	 "Janice Cynthia Weber and Michael S. Kenniston",
  title = 	 "Implementation Issues (Session Summary)",
  crossref =	 "HLD83",
  pages =	 "114--120",
}


@InProceedings{HolzleCU92,
  author = 	 "Urs H{\"o}lzle and Craig Chambers and David Ungar",
  title = 	 "Debugging optimized code with dynamic deoptimization",
  crossref =     "PLDI92",
  pages =	 "32--43",
}


@article{CooperKT86,
  title="The Impact of Interprocedural Analysis and Optimization in
		 the {\bf R}$^{\mbox{\footnotesize n}}$
		 Programming Environment",
  author="Keith D. Cooper and Ken Kennedy and Linda Torczon",
  pages="491--523",
  journal=toplas,
  year=1986,
  month=oct,
  volume=8,
  number=4
}



@Article{Vessey89,
  author =       "Iris Vessey",
  title =        "Toward a Theory of Computer Program Bugs: An Empirical
                 Test",
  journal =      "International Journal of Man-Machine Studies",
  volume =       "30",
  number =       "1",
  pages =        "23--46",
  year =         "1989",
  copyright =    "(c) Copyright 1989 Academic Press",
  abstract =     "To develop a theory of computer program bugs and of
                 debugging, we need to classify on an abstract basis the
                 nature of the bug and to relate the nature of the bug
                 to the difficulty of debugging. Atwood and Ramsey
                 (1978) report the only attempt of this nature in a
                 study based on the theory of propositional hierarchies
                 (see Kintsch, 1974) from the text comprehension
                 literature. Propositional hierarchies are a
                 conceptualization of the way in which sentences are
                 stored in memory for the purpose of recall, etc. Atwood
                 and Ramsey's studies did not distinguish between the
                 difficulty of debugging as a function of the location
                 of the bug in the propositional hierarchy or the
                 location of the bug in the program structure. The
                 objective of the series of three studies reported here
                 is to differentiate between bug difficulty based on
                 location in the propositional hierarchy of the sentence
                 structure of the programming language and its location
                 in the serial structure of the program. Little support
                 was found for the effect of the location of the bug in
                 the program structure on debugging difficulty. The
                 effect of the location of the bug in the propositional
                 hierarchy warrants further investigation. The results
                 are interpreted in light of the need to formulate a
                 mental model of correct program functioning and to
                 determine the location of the program bug in terms of
                 the functioning of that model.",
}



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Unread
%%%

@inproceedings(KishonHC91,
  author= 	{Amir Kishon and Paul Hudak and Charles Consel},
  title= 	{Monitoring semantics: a formal framework for specifying,
		 implementing, and reasoning about execution monitors},
  crossref =     "PLDI91",
  pages= {338--352},
)


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%% Unobtained
%%%

@Unpublished{ZurawskiJ91,
  author = 	 "Lawrence W. Zurawski and Ralph E. Johnson",
  title = 	 "Debugging optimized code with expected behavior",
  note = 	 "Unpublished manuscript.
		  University of Illinois at Urbana-Champaign",
  year =	 1991,
  month =	 Apr # "~14,"
}

@TechReport{Copperman92,
  author = 	 "Copperman, Max",
  title = 	 "Debugging optimized code without being misled",
  institution =  "University of California at Santa Cruz",
  year = 	 1992,
  number =	 "UCSC-CRL-92-01",
  month =	 Jan,
  note =	 "Submitted to TOPLAS."
}






@InProceedings{StAmourTHF2012,
  author = 	 "St-Amour, Vincent and Tobin-Hochstadt, Sam and Felleisen, Matthias",
  title = 	 "Optimization coaching: Optimizers learn to communicate with programmers",
  crossref =     "OOPSLA2012",
  pages = 	 "163--178",
}