[m-rev.] diff: AADEBUG paper and talk for the web page

[Zoltan Somogyi]

information/papers/aadebug03_paper.pdf:
information/papers/aadebug03_talk.pdf:
	Add my paper and talk at aadebug 2003.

information/include/papers.inc:
	Add references to my paper and talk at aadebug 2003.

Zoltan.

cvs diff: Diffing .
cvs diff: Diffing bin
cvs diff: Diffing contact
cvs diff: Diffing contact/include
cvs diff: Diffing download
cvs diff: Diffing download/include
cvs diff: Diffing download/patches
cvs diff: Diffing htdig
cvs diff: Diffing htdig/include
cvs diff: Diffing images
cvs diff: Diffing include
cvs diff: Diffing information
cvs diff: Diffing information/bench
cvs diff: Diffing information/deep_demo
cvs diff: Diffing information/developers
cvs diff: Diffing information/dotnet
cvs diff: Diffing information/events
cvs diff: Diffing information/events/images
cvs diff: Diffing information/include
Index: information/include/papers.inc
===================================================================
RCS file: /home/mercury/mercury1/repository/w3/information/include/papers.inc,v
retrieving revision 1.41
diff -u -b -r1.41 papers.inc
--- information/include/papers.inc	15 Nov 2002 16:39:35 -0000	1.41
+++ information/include/papers.inc	15 Sep 2003 00:07:34 -0000
@@ -22,6 +22,20 @@
 
 <li>
 <strong>
+<a href = "papers.html#aadebug03-paper">
+Idempotent I/O for safe time travel
+</a>
+</strong>
+<br>
+Zoltan Somogyi.
+<em>
+Proceedings of the Fifth International Workshop on Automated Debugging,
+</em>
+Ghent, Belgium, September 2003.
+<p>
+
+<li>
+<strong>
 <a href = "papers.html#juliensf-hons">
 Termination analysis for Mercury using convex constraints
 </a>
@@ -471,10 +485,24 @@
 </ul>
 
 <h3><a href = "papers.html#presentations">Presentations</a></h3>
+
 <ul>
 
 <li>
 <strong>
+<a href = "papers.html#aadebug03-talk">
+Idempotent I/O for safe time travel
+</a>
+</strong>
+<br>
+Zoltan Somogyi.
+Invited talk presented at
+the Fifth International Workshop on Automated Debugging,
+Ghent, Belgium, September 2003.
+<p>
+
+<li>
+<strong>
 <a href="papers.html#sas_talk">
 Termination analysis for Mercury
 </a>
@@ -598,6 +626,49 @@
 
 <li>
 <strong>
+<a name = "papers.html#aadebug03-paper">
+Idempotent I/O for safe time travel
+</a>
+</strong>
+<br>
+Zoltan Somogyi.
+<em>
+Proceedings of the Fifth International Workshop on Automated Debugging,
+</em>
+Ghent, Belgium, September 2003.
+<a href = "papers/aadebug03_paper.pdf">
+Available here (143K).
+</a>
+<p>
+Debuggers for logic programming languages have traditionally had
+a capability most other debuggers did not:
+the ability to jump back to a previous state of the program,
+effectively travelling back in time in the history of the computation.
+% effectively ``warping time''.
+This ``retry'' capability is very useful,
+allowing programmers to examine in detail
+a part of the computation that they previously stepped over.
+Unfortunately, it also creates a problem:
+while the debugger may be able to restore the previous values of variables,
+it cannot restore the part of the program's state
+that is affected by I/O operations.
+If the part of the computation being jumped back over performs I/O,
+then the program will perform these I/O operations twice,
+which will result in unwanted effects ranging
+from the benign (e.g. output appearing twice)
+to the fatal (e.g. trying to close an already closed file).
+<p>
+We present a simple mechanism for ensuring that
+every I/O action called for by the program is executed at most once,
+even if the programmer asks the debugger to travel back in time
+from after the action to before the action.
+The overhead of this mechanism is low enough and can be controlled well enough
+to make it practical to use it to debug
+computations that do significant amounts of I/O.
+<p>
+
+<li>
+<strong>
 <a name="juliensf-hons">
 Termination analysis for Mercury using convex constraints
 </a>
@@ -1810,6 +1881,24 @@
 <h2><a name="presentations">Presentations on Mercury</a></h2>
 
 <ul>
+
+<li>
+<strong>
+<a name = "papers.html#aadebug03-talk">
+Idempotent I/O for safe time travel
+</a>
+</strong>
+<br>
+Zoltan Somogyi.
+<em>
+Invited talk presented at
+the Fifth International Workshop on Automated Debugging,
+</em>
+Ghent, Belgium, September 2003.
+<a href = "papers/aadebug03_talk.pdf">
+Available here (20K).
+</a>
+<p>
 
 <li>
 <strong>
cvs diff: Diffing information/papers
Index: information/papers/aadebug03_paper.pdf
===================================================================
RCS file: information/papers/aadebug03_paper.pdf
diff -N information/papers/aadebug03_paper.pdf
Binary files /dev/null and aadebug03_paper.pdf differ
Index: information/papers/aadebug03_talk.pdf
===================================================================
RCS file: information/papers/aadebug03_talk.pdf
diff -N information/papers/aadebug03_talk.pdf
Binary files /dev/null and aadebug03_talk.pdf differ
cvs diff: Diffing information/reports
cvs diff: Diffing mailing-lists
cvs diff: Diffing mailing-lists/include
cvs diff: Diffing mailing-lists/mercury-ads
cvs diff: Diffing mailing-lists/mercury-ads/include
cvs diff: Diffing mailing-lists/mercury-developers
cvs diff: Diffing mailing-lists/mercury-developers/include
cvs diff: Diffing mailing-lists/mercury-reviews
cvs diff: Diffing mailing-lists/mercury-reviews/include
cvs diff: Diffing mailing-lists/mercury-users
cvs diff: Diffing mailing-lists/mercury-users/include
cvs diff: Diffing news
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------