[m-rev.] for review: Update papers on the website.

Paul Bone pbone at csse.unimelb.edu.au
Thu Aug 11 19:30:17 AEST 2011
Previous message: [m-rev.] diff: better singleton variable warnings for clause heads
Next message: [m-rev.] for review: Update papers on the website.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
For review by anyone, I've discussed some of this change with Zoltan.  Namely
changes to entries for papers we co-authored.  I'll update the news section on
the website after the website is updated with these changes.

The changes to the PDF and postscript files aren't included in the diff.

Add/modify ICLP papers on the website.

information/include/papers.inc:
    Add the ThreadScope paper to the papers page.

    Update the sizes of the overlap paper's files.

    Update conference/journal references to the overlap and dep-par-conj
    papers.

    Add bibtex for the overlap and dep-par-conj papers.

    Add entries for each of the talks corresponding to the three ICLP papers.

information/papers/overlap.pdf:
information/papers/overlap.ps:
    Use the version of the paper in the ICLP proceedings.  This version
    has a corrected citation and preprint information has been removed.

information/papers/threadscope.pdf:
information/papers/threadscope_talk.pdf:
    Add the threadscope paper and talk.  No postscript version is included
    because pdf2ps generates a really really big file (I'm using the PDF
    from the proceedings.

Index: information/include/papers.inc
===================================================================
RCS file: /home/mercury1/repository/w3/information/include/papers.inc,v
retrieving revision 1.75
diff -u -p -b -r1.75 papers.inc
--- information/include/papers.inc	7 Jul 2011 12:21:03 -0000	1.75
+++ information/include/papers.inc	11 Aug 2011 09:20:49 -0000
@@ -22,6 +22,21 @@ given on Mercury, at a variety of levels
 
 <li>
 <strong>
+<a href="papers.html#threadscope">
+Profiling parallel Mercury programs with ThreadScope.
+</a>
+</strong>
+<br>
+Paul Bone and Zoltan Somogyi
+<br>
+<em>
+21st Workshop on Logic-based methods in Programming Environments.
+</em>
+Lexington, Kentucky, July 2011.
+<p>
+
+<li>
+<strong>
 <a href="papers.html#overlap">
 Estimating the overlap between dependent computations
 for automatic parallelization.
@@ -31,8 +46,8 @@ for automatic parallelization.
 Paul Bone, Zoltan Somogyi and Peter Schachte.
 <br>
 <em>
-Proceedings of the 27th International Conference on
-Logic Programming (ILCP '11),
+Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic
+Programming (ICLP'11) Special Issue, volume 11, issue 4-5.
 </em>
 Lexington, Kentucky, July 2011.
 <p>
@@ -47,8 +62,8 @@ Minimizing the overheads of dependent AN
 Peter Wang and Zoltan Somogyi.
 <br>
 <em>
-Proceedings of the 27th International Conference on
-Logic Programming (ILCP '11),
+Technical Communications of the 27th International Conference on Logic
+Programming (ICLP'11), LIPICS Vol. 11.
 </em>
 Lexington, Kentucky, July 2011.
 <p>
@@ -842,6 +857,52 @@ David B. Kemp and Kotagiri Ramamohanarao
 
 <li>
 <strong>
+<a href="papers.html#threadscope_talk">
+Profiling parallel Mercury programs with ThreadScope.
+</a>
+</strong>
+<br/>
+Paul Bone and Zoltan Somogyi
+<em>
+21st Workshop on Logic-based methods in Programming Environments.
+</em>
+Lexington, Kentucky, July 2011.
+<a href="papers.html#threadscope">corresponding paper</a>
+<p>
+
+<li>
+<strong>
+<a href="papers.html#overlap_talk">
+Estimating the overlap between dependent computations
+for automatic parallelization.
+</a>
+</strong>
+<br/>
+Paul Bone, Zoltan Somogyi and Peter Schachte.
+<em>
+27th International. Conference on Logic Programming (ICLP'11)
+</em>
+Lexington, Kentucky, July 2011.
+<a href="papers.html#overlap">corresponding paper</a>
+<p>
+
+<li>
+<strong>
+<a href="papers.html#dep_and_parallel_talk">
+Minimizing the overheads of dependent AND-parallelism.
+</a>
+</strong>
+<br/>
+Peter Wang and Zoltan Somogyi.
+<em>
+27th International. Conference on Logic Programming (ICLP'11)
+</em>
+Lexington, Kentucky, July 2011.
+<a href="papers.html#dep_and_parallel">corresponding paper</a>
+<p>
+
+<li>
+<strong>
 <a href="papers.html#luv_2011">
 The Mercury project
 </a>
@@ -1118,6 +1179,48 @@ Tyson Dowd, 1998.
 
 <li>
 <strong>
+<a name="threadscope">
+Profiling parallel Mercury programs with ThreadScope.
+</a>
+</strong>
+<br>
+Paul Bone and Zoltan Somogyi
+<br>
+<em>
+21st Workshop on Logic-based methods in Programming Environments.
+</em>
+Lexington, Kentucky, July 2011.
+Available here
+<a href = "papers/threadscope.pdf">
+as PDF (429K).
+</a>
+<p>
+The behavior of parallel programs is even harder to understand than the
+behavior of sequential programs. Parallel programs may suffer from any of the
+performance problems afﬂicting sequential programs, as well as from several
+problems unique to parallel systems. Many of these problems are quite hard (or
+even practically impossible) to diagnose without help from specialized tools.
+We present a proposal for a tool for profiling the parallel execution of
+Mercury programs, a proposal whose implementation we have already started. This
+tool is an adaptation and extension of the ThreadScope profiler that was first
+built to help programmers visualize the execution of parallel Haskell programs.
+<p>
+<code>
+<pre>
+ at inprocedings{bone-somogyi_2011_threadscope,
+    author = {Paul Bone and Zoltan Somogyi},
+    title = {Profiling parallel {M}ercury programs with {T}hread{S}cope},
+    booktitle = {21st Workshop on Logic-based methods in Programming Environments (WLPE 2011)},
+    year = {2011},
+    month = {July},
+    editor = {Peter Schneider-Kamp},
+    pages = {32--46},
+}
+</pre>
+</code>
+
+<li>
+<strong>
 <a name="overlap">
 Estimating the overlap between dependent computations
 for automatic parallelization.
@@ -1127,17 +1230,17 @@ for automatic parallelization.
 Paul Bone, Zoltan Somogyi and Peter Schachte.
 <br>
 <em>
-Proceedings of the 27th International Conference on
-Logic Programming (ILCP '11),
+Theory and Practice of Logic Programming, 27th Int'l. Conference on Logic
+Programming (ICLP'11) Special Issue, volume 11, issue 4-5.
 </em>
 Lexington, Kentucky, July 2011.
 Available here
 <a href = "papers/dep_par_conj_overlap.ps">
-as PostScript (436K).
+as PostScript (959K).
 </a>
 and
 <a href = "papers/dep_par_conj_overlap.pdf">
-as PDF (206K).
+as PDF (196K).
 </a>
 <p>
 Researchers working on the automatic parallelization of programs
@@ -1178,6 +1281,23 @@ We present preliminary results that show
 this technique can yield useful parallelization speedups,
 while requiring nothing more from the programmer
 <p>
+<code>
+<pre>
+ at article{bone-somogyi-schachte_2011_overlap,
+    author = {Paul Bone and Zoltan Somogyi and Peter Schachte},
+    title = {Estimating the overlap between dependent computations
+             for automatic parallelization},
+    journal = {Theory and Practice of Logic Programming, 27th Int’l.
+               Conference on Logic Programming (ICLP’11) Special Issue},
+    year = {2011},
+    month = {July},
+    publisher = {Cambridge University Press},
+    volume = {11},
+    number = {(4--5)},
+    pages = {575--587}
+}
+</pre>
+</code>
 
 <li>
 <strong>
@@ -1189,8 +1309,8 @@ Minimizing the overheads of dependent AN
 Peter Wang and Zoltan Somogyi.
 <br>
 <em>
-Proceedings of the 27th International Conference on
-Logic Programming (ILCP '11),
+Technical Communications of the 27th International Conference on Logic
+Programming (ICLP'11), LIPICS Vol. 11.
 </em>
 Lexington, Kentucky, July 2011.
 Available here
@@ -1227,6 +1347,22 @@ dependent AND-parallelism in logic progr
 that uses mode information to add synchronization code
 only to the variable accesses that actually need it.
 <p>
+<code>
+<pre>
+ at inproceedings{wang-somogyi_2011_dep-par-conj,
+    author = {Peter Wang and Zoltan Somogyi},
+    title = {Minimizing the overheads of dependent {AND}-parallelism},
+    booktitle = {Technical Communications of the 27th Int’l. Conference on
+                 Logic Programming (ICLP’11)},
+    pages = {128-138},
+    volume = {11},
+    year = {2011},
+    month = {July},
+    publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
+    series = {Leibniz International Proceedings in Informatics (LIPIcs)},
+}
+</pre>
+</code>
 
 <li>
 <strong>
@@ -3551,6 +3687,61 @@ available here (560K).
 
 <li>
 <strong>
+<a name="threadscope_talk">
+Profiling parallel Mercury programs with ThreadScope.
+</a>
+</strong>
+<br/>
+Paul Bone and Zoltan Somogyi
+<em>
+21st Workshop on Logic-based methods in Programming Environments.
+</em>
+Lexington, Kentucky, July 2011.
+<a href="papers/threadscope_talk.pdf">
+Available here (338K)
+</a>
+<a href="papers.html#threadscope">corresponding paper</a>
+<p>
+
+<li>
+<strong>
+<a name="overlap_talk">
+Estimating the overlap between dependent computations
+for automatic parallelization.
+</a>
+</strong>
+<br/>
+Paul Bone, Zoltan Somogyi and Peter Schachte.
+<em>
+27th International Conference on Logic Programming (ICLP'11)
+</em>
+Lexington, Kentucky, July 2011.
+<a href="papers/dep_par_conj_overlap_talk.pdf">
+Available here (272K)
+</a>
+<a href="papers.html#overlap">corresponding paper</a>
+<p>
+
+<li>
+<strong>
+<a name="dep_and_parallel_talk">
+Minimizing the overheads of dependent AND-parallelism.
+</a>
+</strong>
+<br/>
+Peter Wang and Zoltan Somogyi.
+<em>
+27th International Conference on Logic Programming (ICLP'11)
+</em>
+Lexington, Kentucky, July 2011.
+<a href="papers/minimizing_overheads_talk.pdf">
+Available here (106K)
+</a>
+<a href="papers.html#dep_and_parallel">corresponding paper</a>
+<p>
+
+<li>
+<strong>
 <a name="luv_2011">
 The Mercury project
 </a>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 490 bytes
Desc: Digital signature
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20110811/2fb4cbe7/attachment.sig>
Previous message: [m-rev.] diff: better singleton variable warnings for clause heads
Next message: [m-rev.] for review: Update papers on the website.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
More information about the reviews mailing list