ÿþ<HTML><HEAD><TITLE>ACM SIGPLAN Erlang Workshop 2008, Victoria, BC, Canada.</TITLE> </HEAD> <BODY bgColor=#ffffff> <HR> <TABLE width="100%" border=0> <TBODY> <TR> <TD align=middle><a href="http://www.victoria.ca/common/index.shtml"> <IMG src="http://www.erlang.org/workshop/2008/vic2.png" border=0></a></TD> <TD align=middle><FONT color=#0066cc size=+3><B>Seventh ACM SIGPLAN Erlang Workshop</B></FONT> <HR width="75%"> <FONT size=+1><B>Victoria, British Columbia, Canada, September&nbsp;27, 2008</B></FONT> <HR width="75%"> Satellite event of the ACM SIGPLAN International <A href="http://www.icfpconference.org/icfp2008/">Conference</A> on<br>Functional Programming, September 22-24,&nbsp;2008</TD> <TD vAlign=center align=middle><A href="http://www.acm.org/sigplan/"><IMG src="http://www.erlang.se/images/acm.gif" border=0></A> <P></P> <P><A href="http://www.erlang.org/"><IMG src="http://www.erlang.se/images/erlang090.gif" border=0></A></P></TD></TR></TBODY></TABLE> <HR> <TABLE> <TBODY> <TR> <TD colSpan=2><FONT size=+1><B>Workshop Proceedings</B></FONT></TD></TR> <TR> <TD>&nbsp; &nbsp; &nbsp;</TD> <TD><BR>The workshop papers are found in the <a href="http://portal.acm.org/dl.cfm">ACM Digital Library</a>. The links below are to the overhead slides shown at the workshop.</TD></TR> <TR> <TD>&nbsp; &nbsp; &nbsp;</TD> <TD><BR> <P><B><a href="photographs.html#1">Session 1</a></B> <UL> <LI><B>Workshop Welcome</B> <BR>Tee Teoh (<I>Canadian Bank Note</I>), workshop chair, and <BR>Zoltán Horváth (<I>Eötvös Loránd University</I>), program chair <LI><B><a href="Sess11.pdf">Invited talk: The Future of Erlang</a></B> <BR>Kenneth Lundin (<I>Ericsson AB</I>) </UL> <P><B><a href="photographs.html#2">Session 2 - Applications</a></B> --- Session chairman Thomas Arts <UL> <LI><B><a href="Sess21.pdf">A Comparative Evaluation of Imperative and Functional Implementations of the IMAP Protocol</a></B> <BR>Francesco Cesarini (<I>Erlang Training and Consulting Ltd.</I>), <BR>Viviana Pappalardo (<I>Univeristy of Catania</I>) and <BR>Corrado Santoro (<I>Univeristy of Catania</I>) <LI><B><a href="Sess22.pdf">Scalaris: Reliable Transactional P2P Key/Value Store</a></B> <BR>Thorsten Schütt (<I>Zuse Institute Berlin</I>), <BR>Florian Schintke (<I>Zuse Institute Berlin</I>) and <BR>Alexander Reinefeld (<I>Zuse Institute Berlin</I>) <LI><B><a href="Sess23.pdf">High-performance Technical Computing with Erlang</a></B> <BR>Alceste Scalas (<I>Center for Advanced Studies, Research and Development in Sardinia</I>), <BR>Giovanni Casu (<I>Center for Advanced Studies, Research and Development in Sardinia</I>) and <BR>Piero Pili (<I>Center for Advanced Studies, Research and Development in Sardinia</I>)</LI> </UL> <P><B><a href="photographs.html#3">Session 3 - Testing</a></B> --- Session chairman Simon Thompson <UL> <LI><B><a href="Sess31.pdf">Testing Erlang Data Types with Quviq QuickCheck</a></B> <BR>Laura M. Castro (<I>University of A Coruña</I>), <BR>Thomas Arts (<I>IT University of Gothenburg/Quviq AB</I>) and <BR>John Hughes (<I>Chalmers University of Technology/Quviq AB</I>) <LI><B><a href="Sess32.pdf">Early Fault Detection with Model-Based Testing</a></B> <BR>Jonas Boberg (<I>Erlang Training and Consulting Ltd.</I>) <LI><B><a href="Sess33.pdf">Erlang Testing and Tools Survey</a></B> <BR>Anikó Nagyné Víg (<I>Erlang Training and Consulting Ltd.</I>) and <BR>Tamás Nagy (<I>Erlang Training and Consulting Ltd.</I>)</LI> </UL> <P><B><a href="photographs.html#4">Session 4 - Typing and Refactoring</a></B> --- Session chairman Francesco Cesarini <UL> <LI><B><a href="Sess41.pdf">Refactoring with Wrangler, updated</a></B> <BR>Huiqing Li (<I>University of Kent</I>), <BR>Simon Thompson (<I>University of Kent</I>), <BR>György Orosz (<I>Eötvös Loránd University</I>) and <BR>Melinda Tóth (<I>Eötvös Loránd University</I>) <LI><B><a href="Sess42.pdf">Gradual Typing of Erlang Programs: A Wrangler Experience</a></B> <BR>Konstantinos Sagonas (<I>National Technical University of Athens</I>) and <BR>Daniel Luna (<I>University of Uppsala</I>) <LI><B><a href="Sess43.pdf">Refactoring Module Structure</a></B> <BR>Tamás Nagy (<I>Erlang Training and Consulting Ltd./Eötvös Loránd University</I>), <BR>László Lövei (<I>Eötvös Loránd University</I>), <BR>Csaba Hoch (<I>Eötvös Loránd University</I>), <BR>Hanna KQllQ (<I>Eötvös Loránd University</I>), <BR>Dániel Horpácsi (<I>Eötvös Loránd University</I>), <BR>Anikó Nagyné Víg (<I>Erlang Training and Consulting Ltd./Eötvös Loránd University</I>), <BR>Róbert Kitlei (<I>Eötvös Loránd University</I>) and <BR>Roland Király (<I>Eötvös Loránd University</I>)</LI> </UL> <P><B><a href="photographs.html#5">Session 5 - Informal Five Minute Presentations</a></B> --- Session chairman Tee Teoh <br>&nbsp; </P></TD></TR></TBODY></TABLE> <TABLE> <TBODY> <TR> <TD><FONT size=+1><B>Workshop Chair</B></FONT></TD></TR> <TR> <TD> <UL> <LI>Tee Teoh, <a href="http://www.cbnco.com/">Canadian Bank Note</a>, Ottawa, Canada</LI></UL></TD></TR></TBODY></TABLE> <TABLE> <TBODY> <TR> <TD><FONT size=+1><B>Program Chair</B></FONT></TD></TR> <TR> <TD> <UL> <LI><a href="http://people.inf.elte.hu/hz/">Zoltán Horváth</a>, <a href="http://plcportal.inf.elte.hu/en/Pages/default.aspx">Department of Programming Languages and Programming</a>,<br>Faculty of Informatics, Eötvös Loránd University, Budapest, Hungary </LI></UL></TD></TR></TBODY></TABLE> <TABLE> <TBODY> <TR> <TD><FONT size=+1><B>Program Committee</B></FONT></TD></TR> <TR> <TD> <UL> <LI>Thomas Arts, <a href="http://www.ituniv.se/">IT University</a>, G&ouml;teborg, Sweden</LI> <LI>Francesco Cesarini, <a href="http://www.erlang-consulting.com/index.html">Erlang Training and Consulting</a>, London, UK</LI> <LI><a href="http://www.caos.inf.uc3m.es/~cbenac/">Clara Benac Earle</a>, University Carlos III, Madrid, Spain</LI> <LI><a href="http://www.cs.chalmers.se/~rjmh/">John Hughes</a>, Chalmers University of Technology, G&ouml;teborg, Sweden</LI> <LI>Erik Stenman, <a href="http://kreditor.se/">Kreditor</a>, Stockholm, Sweden</LI> <LI>Zoltán Theisz, Ericsson, Ireland</LI> <LI><a href="http://www.cs.kent.ac.uk/people/staff/sjt/">Simon Thompson</a>, University of Kent, Canterbury, UK</LI> <LI><a href="http://www.cs.ou.edu/~rlpage/">Rex Page</a>, University of Oklahoma, USA</LI> </UL></TD></TR></TBODY></TABLE> <TABLE> <TBODY> <TR> <TD><FONT size=+1><B>Related Links</B></FONT></TD></TR> <TR> <TD> <UL> <LI>Participants <a href="participants.html">list</a>. <LI><a href="photographs.html">Photographs</a> from the workshop. <LI>ACM Digital Library <a href="http://portal.acm.org/dl.cfm">http://portal.acm.org/dl.cfm</a>. Search for "Erlang workshop". <LI>ICFP 2008 web site <A href="http://www.icfpconference.org/icfp2008/"> http://www.icfpconference.org/icfp2008/</A>. <LI>Past ACM SIGPLAN Erlang workshops <A href="http://www.erlang.se/workshop">http://www.erlang.se/workshop</A>. <LI>Open Source Erlang <A href="http://www.erlang.org/">http://www.erlang.org/</A>.</LI> </UL></TD></TR></TBODY></TABLE> </BODY> </HTML>