[PL-sem-jr] Upcoming Talks

[Richard Cobbe]

PL Seminar, Jr.
Thursday, June 16, 2005
2-4pm, WVH 166
=======================

Richard Cobbe will present "Concurrency Unlocked":

@inproceedings{harris-05-composable,
    author = "Tim Harris and Simon Marlow and Simon Peyton-Jones and
        Maurice Herlihy",
    title = "Composable memory transactions",
    booktitle = "PPoPP '05: Proceedings of the tenth ACM SIGPLAN
        Symposium on Principles and Practice of Parallel Programming",
    month = jun,
    year = 2005,
    isbn = "1-59593-080-9",
    pages = "48--60",
    location = "Chicago, IL, USA",
    doi = "\url{http://doi.acm.org/10.1145/1065944.1065952}",
    publisher = "ACM Press",
    address = "New York, NY, USA",
}

Abstract:
    Writing concurrent programs is notoriously difficult, and is of
    increasing practical importance. A particular source of concern is
    that even correctly-implemented concurrency abstractions cannot be
    composed together to form larger abstractions. In this paper we
    present a new concurrency model, based on transactional memory, that
    offers far richer composition. All the usual benefits of
    transactional memory are present (e.g. freedom from deadlock), but
    in addition we describe new modular forms of blocking and choice
    that have been inaccessible in earlier work.

=====================================================================

Upcoming talks:
    June 23: no meeting due to TeachScheme! at WPI
    June 30: Dale Vaillancourt on fault tolerance in Erlang
    July 7: Ryan Culpepper on metaprogramming systems

======================================================================

After Ryan's talk, we've got a bunch of open slots.  I'd like to take a
few minutes during our scheduled slot either on the 7th or the 14th to
discuss further scheduling, so be thinking of ideas.

See you tomorrow,

Richard