[m-rev.] For review: Add papers to the website.

[Paul Bone]

For review by Peter Ross.

Peter, I've moved your paper from one section to another add added a sentence
summarising the paper.  I haven't read the paper, so please adjust my
summarization as appropriate.

Thanks.


Add Ben Mellor's honours report and Paul Bone's Linuxconf presentation to the
website.

information/include/papers.inc:
    Include the new paper and new presentation.

    Move a Mission Critical paper from the "Papers on Mercury" to the "Papers
    related to Mercury" section.  The paper's entry in the index was already in
    this section so I assume it is the correct one.

    Add some missing separators to the list of related papers.

news/newsdb.inc:
    Announce the new papers.

Index: information/include/papers.inc
===================================================================
RCS file: /home/mercury1/repository/w3/information/include/papers.inc,v
retrieving revision 1.69
diff -u -p -b -r1.69 papers.inc
--- information/include/papers.inc	10 Dec 2009 15:18:31 -0000	1.69
+++ information/include/papers.inc	23 Mar 2010 04:15:13 -0000
@@ -22,6 +22,23 @@ given on Mercury, at a variety of levels
 
 <li>
 <strong>
+<a href="papers.html#bmellor-hons">
+Towards Software Transactional Memory for Real-World Programs
+</a>
+</strong>
+<br/>
+Ben Mellor.
+<br/>
+<em>
+Honours report,
+</em>
+Department of Computer Science and Software Engineering,
+The University of Melbourne,
+October 2009.
+<p>
+
+<li>
+<strong>
 <a href="papers.html#quan-phd">
 Region-based memory management for the logic programming language Mercury
 </a>
@@ -770,6 +787,7 @@ Database transactions in a purely declar
 David B. Kemp, Thomas Conway, Evan Harris, Fergus Henderson,
 Kotagiri Ramamohanarao and Zoltan Somogyi.
 <em>Tech Report 96/45</em>, Melbourne, 1996.
+<p>
 
 <li>
 <strong>
@@ -791,6 +809,21 @@ David B. Kemp and Kotagiri Ramamohanarao
 
 <li>
 <strong>
+<a href="papers.html#linuxconf_2010_autopar">
+Automatic Parallelisation in Mercury
+</a>
+</strong>
+<br/>
+Paul Bone
+<em>
+Multicore Miniconference, Linuxconf Australia,
+</em>
+Wellington NZ, 
+January 2010
+<p>
+
+<li>
+<strong>
 <a href = "papers.html#fpu_rules_2009">
 Writing Business Rules Engines in Mercury.
 </a>
@@ -1007,31 +1040,39 @@ Tyson Dowd, 1998.
 
 <li>
 <strong>
-<a name="mc_swese_2007">
-Ontology Driven Software Engineering for Real Life Applications
+<a name="bmellor-hons">
+Towards Software Transactional Memory for Real-World Programs
 </a>
 </strong>
-<br>
-Michel Vanden Bossche, Peter Ross, Ian MacLarty, Bert Van Nuffelen,
-Nikolay Pelov
-<br>
+<br/>
+Ben Mellor.
+<br/>
 <em>
-3rd International Workshop on Semantic Web Enabled
-Software Engineering (SWESE 2007)
+Honours report,
 </em>
-Innsbruck, Austria, 2007.
-<a href = "papers/mc_swese_2007.pdf">
-Available here (121K).
-</a>
-<p>
-In this paper we introduce ODASE (Ontology Driven Architecture for Software
-Engineering). We present how we used ODASE to build a 250 person month
-e-insurance project for a multi-national insurance firm, where only 35% of the
-requirements were known at kick- off.  We required one third of the time of the
-next closest quote for the project, and a similar project built classically at
-another insurance firm required also around three times the resources.
-[The ODASE platform uses Mercury as its implementation language.]
-
+Department of Computer Science and Software Engineering,
+The University of Melbourne,
+October 2009.
+<a href = "papers/bmellor_hons.pdf">
+Available here (533K).
+</a>
+<p>
+Parallel programming is becoming more and more important as commonly available
+machines begin to grow in their capability for parallel execution. Parallel
+streams of execution that operate on shared data to achieve a common task need
+to be carefully synchronised. The standard way of achieving this
+synchronisation is to use locks, but lock-based programming is difficult and
+error-prone, making parallel programs costly and unreliable.
+<p>
+Another method of providing synchronised access to shared data is the
+transactional memory model. Software Transactional Memory (STM), implementing
+this model purely in software and thus compatible with today's hardware, has
+been an area of much research in the last decade.
+<p>
+This report describes the implementation of a sophisticated STM system using
+recently developed techniques as well as novel innovations. This implementation
+is for the logic programming language Mercury, building on an earlier and
+simpler STM implementation.
 <p>
 
 <li>
@@ -3112,6 +3153,41 @@ Some of these are documented in the vers
 
 <h2><a name="related">Related Papers</a></h2>
 
+<p>
+<a name="mc_swese_2007">
+This paper covers a case study where Mercury was used as an implementation
+language.
+</a>
+<p>
+
+<ul>
+<li>
+<strong>
+Ontology Driven Software Engineering for Real Life Applications
+</strong>
+<br>
+Michel Vanden Bossche, Peter Ross, Ian MacLarty, Bert Van Nuffelen,
+Nikolay Pelov
+<br>
+<em>
+3rd International Workshop on Semantic Web Enabled
+Software Engineering (SWESE 2007)
+</em>
+Innsbruck, Austria, 2007.
+<a href = "papers/mc_swese_2007.pdf">
+Available here (121K).
+</a>
+<p>
+In this paper we introduce ODASE (Ontology Driven Architecture for Software
+Engineering). We present how we used ODASE to build a 250 person month
+e-insurance project for a multi-national insurance firm, where only 35% of the
+requirements were known at kick- off.  We required one third of the time of the
+next closest quote for the project, and a similar project built classically at
+another insurance firm required also around three times the resources.
+[The ODASE platform uses Mercury as its implementation language.]
+<p>
+</ul>
+
 <a name="mu_97_23">
 This paper gives an introduction to automatic termination analysis.
 It surveys termination analysis of logic programs and provides an
@@ -3242,6 +3318,7 @@ Available here (58K)
 <a href = "papers/tr_96_45_cover.ps.gz">
 with cover page.
 </a>
+</ul>
 
 <a name="tr90-2">
 The following paper is also relevant to the Aditi interface mentioned above.
@@ -3249,6 +3326,7 @@ It describes a source-to-source transfor
 Mercury compiler.
 </a>
 
+<ul>
 <li>
 <strong>
 Right-, left-, and multi-linear rule transformations that maintain
@@ -3283,6 +3361,24 @@ available here (560K).
 
 <li>
 <strong>
+<a name="linuxconf_2010_autopar">
+Automatic Parallelisation in Mercury
+</a>
+</strong>
+<br/>
+Paul Bone
+<em>
+Multicore Mini conference, Linuxconf Australia,
+</em>
+Wellington NZ, 
+January 2010
+<a href="papers/linuxconf_2010_autopar.pdf">
+Available here (542K).
+</a>
+<p>
+
+<li>
+<strong>
 <a name = "fpu_rules_2009">
 Writing Business Rules Engines in Mercury.
 </a>
Index: news/newsdb.inc
===================================================================
RCS file: /home/mercury1/repository/w3/news/newsdb.inc,v
retrieving revision 1.118
diff -u -p -b -r1.118 newsdb.inc
--- news/newsdb.inc	7 Feb 2010 22:05:26 -0000	1.118
+++ news/newsdb.inc	23 Mar 2010 00:36:11 -0000
@@ -21,6 +21,19 @@
 */
 
 $newsdb = array(
+"23 March 2010" => array("New paper and new slides",
+"<p>A new paper,
+Towards Software Transactional Memory for Real-World Programs, 
+has been added to our 
+<a href=\"information/papers.html\">papers page</a>.
+It describes recent work on Software Transactional Memory in Mercury.</p>
+
+<p>A set of slides from a talk given at LinuxConf in Wellington regarding
+automatic parallelisation are also available from the
+<a href=\"information/papers.html\">papers page</a>.
+</p>
+"),
+
 "4 February 2010" => array("10.04 beta release available",
 "The first beta of 10.04 is available <A HREF=\"download.html\">here</A>.
 "),
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 489 bytes
Desc: Digital signature
URL: <http://lists.mercurylang.org/archives/reviews/attachments/20100323/68cf1aca/attachment.sig>