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

Peter Ross pdross at gmail.com
Tue Mar 23 15:45:58 AEDT 2010
Previous message: [m-rev.] For review: Add papers to the website.
Next message: [m-rev.] For review: Add papers to the website.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
On Tue, Mar 23, 2010 at 3:19 PM, Paul Bone <pbone at csse.unimelb.edu.au> wrote:
>
> 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.
>
Looks fine.

> 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>.
>  "),
>
> -----BEGIN PGP SIGNATURE-----
> Version: GnuPG v1.4.9 (GNU/Linux)
>
> iQEcBAEBCAAGBQJLqEFJAAoJEJb4ru68D9OcxlgIAKJNU070zpssLy4aquiVbNrO
> daS64TZf9nWeAwQKp+p5Kmi8EkhDjz1tMitya0Lpa54YtdNUHHYpZ+Zr4wHHjxP1
> R+mXzZ1UqvnEo4VkHZqRvNUiKiKjC26XRPVveybBwX6LKRMNE36vkoWgURBtKqgF
> jN7FgXCijUQS8Spp2fqnbTuvVj7eOI3DTgv7Fg3ZoOU422oj3gNM+QLATVy7yIF0
> zH8GsbNcvNpMhgGUOPWsbfc/go3oponxbiilGg2X2LzQRlb1Itf9eL4honZNu82o
> I7mLms1fvfZLt1+Eca38Z2E5vVEYb6tZLIiFTnFssqL6h3Yduv364z4KnxuksxA=
> =LnQD
> -----END PGP SIGNATURE-----
>
>



-- 
Peter Ross - Mission Critical Australia
AU: +61 424 651 834
BE: +32 485 482 559

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------
Previous message: [m-rev.] For review: Add papers to the website.
Next message: [m-rev.] For review: Add papers to the website.
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
More information about the reviews mailing list