BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:MPhil Presentations: (1) An investigation of the Join Calculus Abs
 tract Machine (2) Ownership in Object-Oriented Languages - Borja Moreno Fe
 rnandez and Artem Glebov (University of Cambridge)
DTSTART:20120518T141500Z
DTEND:20120518T151500Z
UID:TALK38203@talks.cam.ac.uk
CONTACT:Dominic Orchard
DESCRIPTION:Borja Moreno Fernandez (1) and Artem Glebov (2) will be practi
 sing their MPhil project talks. \n\n(1) An investigation of the Join Calcu
 lus Abstract Machine\n\nAbstract:\nThe Join Calculus Abstract Machine (JCA
 M) is a parallel\, non-deterministic\, stack-based abstract machine based 
 on the Join Calculus. It aims to become a universal intermediate represent
 ation (IR) for parallel programming languages. In this talk I first introd
 uce the Join Calculus\, and then present the investigation of the JCAM tha
 t I am performing. The investigation includes the implementation of a JCAM
  interpreter\, an analysis of the suitability of the JCAM as an IR\, and o
 ptimizations of JCAM code.\n\n(2) Ownership in Object-Oriented Languages\n
 \nAbstract: Ownership types make bad programs harder to write. They preven
 t unintended aliasing and help guard the objects' invariants - all using a
  clear and elegant syntax with various tools out there to help automate th
 e tedious bit.\nStill\, despite the progress made in the area for more tha
 n a decade\, the idea seems to be surprisingly far from acceptance by the 
 developers' community. Does this mean ownership types are technically imma
 ture?  Is it just a technical problem or do we miss some important\npoints
  in our reasoning about how programmers do their job? Has the gap between 
 research and practice gone too wide? In this work\, I examine recent advan
 ces in the area with the aim of identifying major obstacles that separate 
 ownership types from adoption\, and suggest steps that will help overcome 
 those obstacles.\n
LOCATION:SS03\, Computer Laboratory
END:VEVENT
END:VCALENDAR