Hello,
Please, find below the second call for papers for PEPM 2014.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.
best regards,
Jurriaan Hage
Co-chair of PEPM 2014
-----------------------------
C A L L F O R P A P E R S
-----------------------------
======= PEPM 2014 ===========
ACM SIGPLAN 2014 WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION
Mon-Tue, January 20-21, 2014
San Diego, California, USA
co-located with POPL'14
Sponsored by ACM SIGPLAN
http://www.program-transformation.org/PEPM14
SCOPE
The PEPM Symposium/Workshop series aims at bringing together researchers and
practitioners working in the areas of program manipulation, partial evaluation,
and program generation. PEPM focuses on techniques, theory, tools, and
applications of analysis and manipulation of programs.
The 2014 PEPM workshop will be based on a broad interpretation of semantics-based
program manipulation and continue last years' successful effort to expand the
scope of PEPM significantly beyond the traditionally covered areas of partial
evaluation and specialization and include practical applications of program
transformations such as refactoring tools, and practical implementation techniques
such as rule-based transformation systems. In addition, the scope of PEPM covers
manipulation and transformations of program and system representations such as
structural and semantic models that occur in the context of model-driven
development. In order to reach out to practitioners, a separate category of tool
demonstration papers will be solicited.
Topics of interest for PEPM'14 include, but are not limited to:
Program and model manipulation techniques such as: supercompilation,
partial evaluation, fusion, on-the-fly program adaptation, active libraries,
program inversion, slicing, symbolic execution, refactoring, decompilation,
and obfuscation.
Program analysis techniques that are used to drive program/model manipulation
such as: abstract interpretation, termination checking, binding-time
analysis, constraint solving, type systems, automated testing and
test case generation.
Techniques that treat programs/models as data objects including
metaprogramming, generative programming, embedded domain-specific languages,
program synthesis by sketching and inductive programming, staged computation,
and model-driven program generation and transformation.
Application of the above techniques including case studies of program
manipulation in real-world (industrial, open-source) projects and software
development processes, descriptions of robust tools capable of effectively
handling realistic applications, benchmarking. Examples of application
domains include legacy program understanding and transformation, DSL
implementations, visual languages and end-user programming, scientific
computing, middleware frameworks and infrastructure needed for distributed
and web-based applications, resource-limited computation, and security.
To maintain the dynamic and interactive nature of PEPM, we will continue the
category of `short papers' for tool demonstrations and for presentations of
exciting if not fully polished research, and of interesting academic, industrial
and open-source applications that are new or unfamiliar.
Student attendants with accepted papers can apply for a SIGPLAN PAC grant to
help cover travel expenses and other support. PAC also offers other support,
such as for child-care expenses during the meeting or for travel costs for
companions of SIGPLAN members with physical disabilities, as well as for travel
from locations outside of North America and Europe. For details on the PAC
programme, see its web page.
All accepted papers, short papers included, will appear in formal proceedings
published by ACM Press. In addition to printed proceedings, accepted papers will
be included in the ACM Digital Library. A special issue for Science of Computer
Programming is planned with recommended papers from PEPM'14.
PEPM has also established a Best Paper award. The winner will be announced at
the workshop.
SUBMISSION CATEGORIES AND GUIDELINES
Regular Research Papers must not exceed 12 pages in ACM Proceedings style
(including appendix). Tool demonstration papers and short papers must not
exceed 6 pages in ACM Proceedings style (including appendix). At least one
author of each accepted contribution must attend the workshop and present the
work. In the case of tool demonstration papers, a live demonstration of the
described tool is expected. Suggested topics, evaluation criteria, and writing
guidelines for both research and tool demonstration papers will be made available
on the PEPM'14 Web-site. Papers should be submitted electronically via the
workshop web site.
Authors using LaTeX to prepare their submissions should use the new improved
SIGPLAN proceedings style (sigplanconf.cls, 9pt template).
IMPORTANT DATES
Abstract due: Sat, September 28, 2013
Paper submission: Sat, October 5, 2013, 23:59, GMT
Author notification: Mon, November 11, 2013
Camera-ready papers due: * to be announced *
INVITED SPEAKERS
to be announced
PROGRAM CHAIRS
Wei Ngan Chin (National University of Singapore, Singapore)
Jurriaan Hage (Utrecht University, Netherlands)
PROGRAM COMMITTEE
ƒvelyne Contejean (LRI, CNRS, UniversitŽ Paris-Sud, France)
Cristina David (University of Oxford, UK)
Alain Frisch (LexiFi, France)
Ronald Garcia (University of British Columbia, Canada)
Zhenjiang Hu (National Institute of Informatics, Japan)
Paul H J Kelly (Imperial College, UK)
Oleg Kiselyov (Monterey, USA)
Naoki Kobayashi (University of Tokyo, Japan)
Jens Krinke (University College London, UK)
Ryan Newton (University of Indiana, USA)
Alberto Pardo (Universidad de la Repœblica, Uruguay)
Sungwoo Park (Pohang University of Science and Technology, South Korea)
Tiark Rompf (Oracle Labs & EPFL, Switzerland)
Sukyoung Ryu (KAIST, South Korea)
Kostis Sagonas (Uppsala University, Sweden)
Max Schaefer (Nanyang Technological University, Singapore)
Harald S¿ndergaard (The University of Melbourne, Australia)
Eijiro Sumii (Tohoku University, Japan)
Eric Van Wyk (University of Minnesota, USA)
Jeremy Yallop (University of Cambridge, UK)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2013-08-17
[Caml-list] ICFP 2013 Call for Participation
=====================================================================
CALL FOR PARTICIPATION
18th ACM SIGPLAN International Conference on Functional Programming
ICFP 2013
Boston, MA, USA, 25-27 September 2013
Affiliated events 22-24 September, 28 September 2013
http://www.icfpconference.org/icfp2013
=====================================================================
ICFP is a forum for researchers and practitioners to hear about the
latest developments in the art and science of functional
programming. The conference cover the entire spectrum of work, from
theory to practice.
The keynote speakers of ICFP 2013 are Ulf Norell on dependently typed
programming and Simon Peyton Jones on computer science as a school
subject.
The 40 contributed papers on all aspects of functional programming
were selected by the program committee from 133 submissions.
Affiliated to ICFP 2013 are:
ACM SIGPLAN Commercial Users of Functional Programming Workshop
ACM SIGPLAN Workshop on Dependently Typed Programming
ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design
ACM SIGPLAN Workshop on Functional High-Performance Computing
ACM SIGPLAN Erlang Workshop
ACM SIGPLAN Functional Programming in Domain-Specific Languages Workshop
ACM SIGPLAN Workshop on Generic Programming
ACM SIGPLAN Haskell Symposium
ACM SIGPLAN Haskell Implementors Workshop
ACM SIGPLAN Workshop on Higher-Order Programming with Effects
ACM SIGPLAN International Workshop on Logical Frameworks and
Meta-Languages: Theory and Practice
ACM SIGPLAN Workshop on ML
ACM SIGPLAN OCaml Workshop
VENUE
The conference will take place at Hilton Boston Logan Airport Hotel.
REGISTRATION
Registration is available at
https://regmaster3.com/2013conf/ICFP13/register.php
*Note that early registration ends 22 August 2013.*
ICFP 2013 PROGRAMME
Wednesday, 25 September
9-10 Keynote 1
Interactive Programming with Dependent Types
Ulf Norell (Chalmers University of Technology)
10-1020 Break
1020-1100 Session 1: Verification with Grammars and Automata
Verified Decision Procedures for MSO on Words Based on Derivatives of
Regular Expressions [Functional Pearl]
Dmitriy Traytel and Tobias Nipkow
C-SHORe
Christopher Broadbent, Arnaud Carayol, Matthew Hague and Olivier Serre
1100-1130 Break
1130-1230 Session 2
Automatic SIMD Vectorization for Haskell
Leaf Petersen, Dominic Orchard and Neal Glew
Exploiting Vector Instructions with Generalized Stream Fusion
Geoffrey Mainland, Roman Leshchinskiy and Simon Peyton Jones
Optimising Purely Functional GPU Programs
Trevor L. McDonell, Manuel Chakravarty, Gabriele Keller and Ben Lippmeier
1230-14 Lunch
14-15 Session 3: Dependent Types
Type-Theory In Color
Jean-Philippe Bernardy and Guilhem Moulin
Typed Syntactic Meta-programming
Dominique Devriese and Frank Piessens
Mtac: A Monad for Typed Tactic Programming in Coq
Beta Ziliani, Derek Dreyer, Neelakantan Krishnaswami, Aleksandar Nanevski
and Viktor Vafeiadis
15-1530 Break
1530-1630 Session 4: Fun in the Afternoon
Fun with Semirings [Functional Pearl]
Stephen Dolan
Efficient Divide-and-Conquer Parsing of Practical Context-Free Languages
Jean-Philippe Bernardy and Koen Claessen
Functional Geometry and the "Traité de Lutherie" [Functional Pearl]
Harry Mairson
1630-17 Break
17-1740 Session 5: Handling Effects
Programming and Reasoning with Algebraic Effects and Dependent Types
Edwin Brady
Handlers in Action
Ohad Kammar, Sam Lindley and Nicolas Oury
1740-18 Program Chair's Report
Thursday, 26 September
9-10 Keynote 2
Computer Science as a School Subject
Simon Peyton Jones (Microsoft Research, Cambridge, UK)
10-1020 Break
1020-11 Session 6: Concurrency
Correctness of an STM Haskell Implementation
Manfred Schmidt-Schauss and David Sabel
Programming with Permissions in Mezzo
Francois Pottier and Jonathan Protzenko
11-1130 Break
1130-1230 Session 7: (Co-)Recursion
Wellfounded Recursion with Copatterns
Andreas Abel and Brigitte Pientka
Productive Coprogramming with Guarded Recursion
Robert Atkey and Conor McBride
Unifying Structured Recursion Schemes
Ralf Hinze, Nicolas Wu and Jeremy Gibbons
1230-14 Lunch
14-15 Session 8: Functional Reactive Programming (and More)
Higher-Order Functional Reactive Programming without Spacetime Leaks
Neelakantan Krishnaswami
Functional Reactive Programming with Liveness Guarantees
Alan Jeffrey
A Short Cut to Parallelization Theorems
Akimasa Morihata
15-1530 Break
1530-1630 Session 9: Lambda-Calculus
Using Circular Programs for Higher-Order Syntax [Functional Pearl]
Emil Axelsson and Koen Claessen
Weak Optimality, and the Meaning of Sharing
Thibaut Balabonski
System FC with Explicit Kind Equality
Stephanie Weirich, Justin Hsu and Richard A. Eisenberg
1630-17 Break
17-1740 Programming Contest Co-Chairs' Report and Awards
1740-18 ICFP 2003 Most Influential Paper Award
Friday, 27 September
9-10 Session 10: Monads
The Constrained-Monad Problem
Neil Sculthorpe, Jan Bracker, George Giorgidze and Andy Gill
Simple and Compositional Reification of Monadic Embedded Languages
[Functional Pearl]
Josef Svenningsson and Bo Joel Svensson
Structural Recursion for Querying Ordered Graphs
Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato and Keisuke
Nakano
10-1020 Break
1020-11 Session 11: Modular Meta-Theory
Modular Monadic Meta-Theory
Benjamin Delaware, Steven Keuchel, Tom Schrijvers and Bruno Oliveira
Modular and Automated Type-Soundness Verification for Language Extensions
Florian Lorenzen and Sebastian Erdweg
11-1130 Break
1130-1230 Session 12: Experience Reports (Chair: John Launchbury)
A Nanopass Framework for Commercial Compiler Development [Experience
Report]
Andrew Keep and R Kent Dybvig
Applying Random Testing to a Base Type Environment [Experience Report]
Vincent St-Amour and Neil Toronto
Functional Programming of mHealth Applications [Experience Report]
Christian Petersen, Matthias Gorges, Dustin Dunsmuir, Mark Ansermino and
Guy Dumont
1230-14 Lunch
14-15 Session 13: Program Logics
Hoare-Style Reasoning with (Algebraic) Continuations
Germán Andrés Delbianco and Aleksandar Nanevski
Unifying Refinement and Hoare-Style Reasoning in a Logic for
Higher-Order Concurrency
Aaron Turon, Derek Dreyer and Lars Birkedal
The Bedrock Structured Programming System
Adam Chlipala
15-1530 Break
1530-1630 Session 14: Language Design
A Practical Theory of Language-Integrated Query
James Cheney, Sam Lindley and Philip Wadler
Calculating Threesomes, with Blame
Ronald Garcia
Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
Joshua Dunfield and Neelakantan R. Krishnaswami
1630-17 Break
17-1740 Session 15: Analysis and Optimization
Optimizing Abstract Abstract Machines
J. Ian Johnson, Nicholas Labich, Matthew Might and David Van Horn
Testing Noninterference, Quickly
Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky,
Dimitrios Vytiniotis, Arthur Azevedo de Amorim and Leonidas Lampropoulos
1740-18 ICFP 2014 Advert & Closing
GENERAL CHAIR
Greg Morrisett, Harvard University
PROGRAM CHAIR
Tarmo Uustalu, Institute of Cybernetics, Tallinn
PROGRAM COMMITTEE
Thorsten Altenkirch, University of Nottingham
Olaf Chitil, University of Kent
Silvia Ghilezan, University of Novi Sad
Michael Hanus, Christian-Albrechts-Universität zu Kiel
Fritz Henglein, University of Copenhagen
Mauro Jaskelioff, Universidad Nacional de Rosario
Alan Jeffrey, Alcatel-Lucent Bell Labs
Shin-ya Katsumata, Kyoto University
Shriram Krishnamurthi Brown University
John Launchbury, Galois
Ryan Newton, Indiana University
Sungwoo Park, Pohang University of Science and Technology
Sam Staton, University of Cambridge
Nikhil Swamy, Microsoft Research, Redmond, WA
Dimitrios Vytiniotis, Microsoft Research, Cambridge
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
CALL FOR PARTICIPATION
18th ACM SIGPLAN International Conference on Functional Programming
ICFP 2013
Boston, MA, USA, 25-27 September 2013
Affiliated events 22-24 September, 28 September 2013
http://www.icfpconference.org/icfp2013
=====================================================================
ICFP is a forum for researchers and practitioners to hear about the
latest developments in the art and science of functional
programming. The conference cover the entire spectrum of work, from
theory to practice.
The keynote speakers of ICFP 2013 are Ulf Norell on dependently typed
programming and Simon Peyton Jones on computer science as a school
subject.
The 40 contributed papers on all aspects of functional programming
were selected by the program committee from 133 submissions.
Affiliated to ICFP 2013 are:
ACM SIGPLAN Commercial Users of Functional Programming Workshop
ACM SIGPLAN Workshop on Dependently Typed Programming
ACM SIGPLAN Workshop on Functional Art, Music, Modeling and Design
ACM SIGPLAN Workshop on Functional High-Performance Computing
ACM SIGPLAN Erlang Workshop
ACM SIGPLAN Functional Programming in Domain-Specific Languages Workshop
ACM SIGPLAN Workshop on Generic Programming
ACM SIGPLAN Haskell Symposium
ACM SIGPLAN Haskell Implementors Workshop
ACM SIGPLAN Workshop on Higher-Order Programming with Effects
ACM SIGPLAN International Workshop on Logical Frameworks and
Meta-Languages: Theory and Practice
ACM SIGPLAN Workshop on ML
ACM SIGPLAN OCaml Workshop
VENUE
The conference will take place at Hilton Boston Logan Airport Hotel.
REGISTRATION
Registration is available at
https://regmaster3.com/2013conf/ICFP13/register.php
*Note that early registration ends 22 August 2013.*
ICFP 2013 PROGRAMME
Wednesday, 25 September
9-10 Keynote 1
Interactive Programming with Dependent Types
Ulf Norell (Chalmers University of Technology)
10-1020 Break
1020-1100 Session 1: Verification with Grammars and Automata
Verified Decision Procedures for MSO on Words Based on Derivatives of
Regular Expressions [Functional Pearl]
Dmitriy Traytel and Tobias Nipkow
C-SHORe
Christopher Broadbent, Arnaud Carayol, Matthew Hague and Olivier Serre
1100-1130 Break
1130-1230 Session 2
Automatic SIMD Vectorization for Haskell
Leaf Petersen, Dominic Orchard and Neal Glew
Exploiting Vector Instructions with Generalized Stream Fusion
Geoffrey Mainland, Roman Leshchinskiy and Simon Peyton Jones
Optimising Purely Functional GPU Programs
Trevor L. McDonell, Manuel Chakravarty, Gabriele Keller and Ben Lippmeier
1230-14 Lunch
14-15 Session 3: Dependent Types
Type-Theory In Color
Jean-Philippe Bernardy and Guilhem Moulin
Typed Syntactic Meta-programming
Dominique Devriese and Frank Piessens
Mtac: A Monad for Typed Tactic Programming in Coq
Beta Ziliani, Derek Dreyer, Neelakantan Krishnaswami, Aleksandar Nanevski
and Viktor Vafeiadis
15-1530 Break
1530-1630 Session 4: Fun in the Afternoon
Fun with Semirings [Functional Pearl]
Stephen Dolan
Efficient Divide-and-Conquer Parsing of Practical Context-Free Languages
Jean-Philippe Bernardy and Koen Claessen
Functional Geometry and the "Traité de Lutherie" [Functional Pearl]
Harry Mairson
1630-17 Break
17-1740 Session 5: Handling Effects
Programming and Reasoning with Algebraic Effects and Dependent Types
Edwin Brady
Handlers in Action
Ohad Kammar, Sam Lindley and Nicolas Oury
1740-18 Program Chair's Report
Thursday, 26 September
9-10 Keynote 2
Computer Science as a School Subject
Simon Peyton Jones (Microsoft Research, Cambridge, UK)
10-1020 Break
1020-11 Session 6: Concurrency
Correctness of an STM Haskell Implementation
Manfred Schmidt-Schauss and David Sabel
Programming with Permissions in Mezzo
Francois Pottier and Jonathan Protzenko
11-1130 Break
1130-1230 Session 7: (Co-)Recursion
Wellfounded Recursion with Copatterns
Andreas Abel and Brigitte Pientka
Productive Coprogramming with Guarded Recursion
Robert Atkey and Conor McBride
Unifying Structured Recursion Schemes
Ralf Hinze, Nicolas Wu and Jeremy Gibbons
1230-14 Lunch
14-15 Session 8: Functional Reactive Programming (and More)
Higher-Order Functional Reactive Programming without Spacetime Leaks
Neelakantan Krishnaswami
Functional Reactive Programming with Liveness Guarantees
Alan Jeffrey
A Short Cut to Parallelization Theorems
Akimasa Morihata
15-1530 Break
1530-1630 Session 9: Lambda-Calculus
Using Circular Programs for Higher-Order Syntax [Functional Pearl]
Emil Axelsson and Koen Claessen
Weak Optimality, and the Meaning of Sharing
Thibaut Balabonski
System FC with Explicit Kind Equality
Stephanie Weirich, Justin Hsu and Richard A. Eisenberg
1630-17 Break
17-1740 Programming Contest Co-Chairs' Report and Awards
1740-18 ICFP 2003 Most Influential Paper Award
Friday, 27 September
9-10 Session 10: Monads
The Constrained-Monad Problem
Neil Sculthorpe, Jan Bracker, George Giorgidze and Andy Gill
Simple and Compositional Reification of Monadic Embedded Languages
[Functional Pearl]
Josef Svenningsson and Bo Joel Svensson
Structural Recursion for Querying Ordered Graphs
Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato and Keisuke
Nakano
10-1020 Break
1020-11 Session 11: Modular Meta-Theory
Modular Monadic Meta-Theory
Benjamin Delaware, Steven Keuchel, Tom Schrijvers and Bruno Oliveira
Modular and Automated Type-Soundness Verification for Language Extensions
Florian Lorenzen and Sebastian Erdweg
11-1130 Break
1130-1230 Session 12: Experience Reports (Chair: John Launchbury)
A Nanopass Framework for Commercial Compiler Development [Experience
Report]
Andrew Keep and R Kent Dybvig
Applying Random Testing to a Base Type Environment [Experience Report]
Vincent St-Amour and Neil Toronto
Functional Programming of mHealth Applications [Experience Report]
Christian Petersen, Matthias Gorges, Dustin Dunsmuir, Mark Ansermino and
Guy Dumont
1230-14 Lunch
14-15 Session 13: Program Logics
Hoare-Style Reasoning with (Algebraic) Continuations
Germán Andrés Delbianco and Aleksandar Nanevski
Unifying Refinement and Hoare-Style Reasoning in a Logic for
Higher-Order Concurrency
Aaron Turon, Derek Dreyer and Lars Birkedal
The Bedrock Structured Programming System
Adam Chlipala
15-1530 Break
1530-1630 Session 14: Language Design
A Practical Theory of Language-Integrated Query
James Cheney, Sam Lindley and Philip Wadler
Calculating Threesomes, with Blame
Ronald Garcia
Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism
Joshua Dunfield and Neelakantan R. Krishnaswami
1630-17 Break
17-1740 Session 15: Analysis and Optimization
Optimizing Abstract Abstract Machines
J. Ian Johnson, Nicholas Labich, Matthew Might and David Van Horn
Testing Noninterference, Quickly
Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky,
Dimitrios Vytiniotis, Arthur Azevedo de Amorim and Leonidas Lampropoulos
1740-18 ICFP 2014 Advert & Closing
GENERAL CHAIR
Greg Morrisett, Harvard University
PROGRAM CHAIR
Tarmo Uustalu, Institute of Cybernetics, Tallinn
PROGRAM COMMITTEE
Thorsten Altenkirch, University of Nottingham
Olaf Chitil, University of Kent
Silvia Ghilezan, University of Novi Sad
Michael Hanus, Christian-Albrechts-Universität zu Kiel
Fritz Henglein, University of Copenhagen
Mauro Jaskelioff, Universidad Nacional de Rosario
Alan Jeffrey, Alcatel-Lucent Bell Labs
Shin-ya Katsumata, Kyoto University
Shriram Krishnamurthi Brown University
John Launchbury, Galois
Ryan Newton, Indiana University
Sungwoo Park, Pohang University of Science and Technology
Sam Staton, University of Cambridge
Nikhil Swamy, Microsoft Research, Redmond, WA
Dimitrios Vytiniotis, Microsoft Research, Cambridge
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2013-08-16
[Caml-list] Call for participation IFL 2013
CALL FOR PARTICIPATION
25th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2013
RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS
ACM In-Cooperation / ACM SIGPLAN
AUGUST 28 - 30 2013
"Landgoed Holthurnsche Hof"
http://ifl2013.cs.ru.nl
[program available - late registration still open]
We are proud to announce that the 25th edition of the IFL series returns to its roots at
the Radboud University Nijmegen in the Netherlands. The symposium is held from 28th
to 30th of August 2013.
Scope
-----
The goal of the IFL symposia is to bring together researchers actively engaged in the
implementation and application of functional and function-based programming languages.
IFL 2013 will be a venue for researchers to present and discuss new ideas and concepts,
work in progress, and publication-ripe results related to the implementation and
application of functional languages and function-based programming.
Following the IFL tradition, IFL 2013 will use a post-symposium review process to
produce the formal proceedings which will be published in the ACM Digital Library. All
participants of IFL 2013 are invited to submit either a draft paper or an extended
abstract describing work to be presented at the symposium. At no time may work submitted
to IFL be simultaneously submitted to other venues; submissions must adhere to
ACM SIGPLAN's republication policy:
http://www.sigplan.org/Resources/Policies/Republication
The submissions will be screened by the program committee chair to make sure they are
within the scope of IFL, and will appear in the draft proceedings distributed at the
symposium. Submissions appearing in the draft proceedings are not peer-reviewed
publications. Hence, publications that appear only in the draft proceedings do not
count as publication for the ACM SIGPLAN republication policy. After the symposium,
authors will be given the opportunity to incorporate the feedback from discussions at
the symposium and will be invited to submit a revised full article for the formal
review process. From the revised submissions, the program committee will select papers
for the formal proceedings considering their correctness, novelty, originality,
relevance, significance, and clarity.
Invited Speaker
---------------
Lennart Augustsson, currently employed by the Standard Chartered Bank, well-known for
his work on Haskell, parallel Haskell, Cayenne, and Bluespec, is the invited speaker of
IFL 2013. The title and abstract of his talk is:
"Implementation and Application of Functional Languages - A personal perspective"
It is now over 30 years ago since I implemented my first functional language,
and over 15 years ago since I wrote my first commercial application. In this
talk I will look back to those bygone days and remind you of things that you
might have forgotten or never known. The talk will be absolutely free of
anything new.
Peter Landin Prize
------------------
The Peter Landin Prize is awarded to the best paper presented at the symposium every
year. The honoured article is selected by the program committee based on the submissions
received for the formal review process. The prize carries a cash award equivalent to
150 Euros.
Programme committee
-------------------
• Thomas Arts, Quviq, Gothenburg, Sweden
• Andrew Butterfield, Trinity College, Dublin, Ireland
• Edwin Brady, University of St. Andrews, UK
• Clemens Grelck, University of Amsterdam, Netherlands
• Adam Granicz, IntelliFactory, Budapest, Hungary
• Jeremy Gibbons, University of Oxford, UK
• Fritz Henglein, University of Copenhagen, Denmark
• Stephan Herhut, Intel Labs, Santa Clara, US
• Ralf Hinze (co-chair), University of Oxford, UK
• Zoltán Horváth, Eötvös Loránd University, Budapest, Hungary
• Zhenjiang Hu, University of Tokyo, Japan
• Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina
• Johan Jeuring, University of Utrecht, Netherlands
• Rita Loogen, University of Marburg, Germany
• Marco T. Morazán, Seton Hall University, New Jersey, US
• Dominic Orchard, University of Cambridge, UK
• Rinus Plasmeijer (chair), Radboud University Nijmegen, Netherlands
• Tim Sheard, Portland State University, US
• Sam Tobin-Hochstadt, Northeastern University / Indiana University, US
• Peter Thiemann, University of Freiburg, Germany
• Simon Thompson, University of Kent, UK
Venue
-----
The 25th IFL is organized by the Radboud University Nijmegen, Model Based Software
Development Department at the Nijmegen Institute for Computing and Information Sciences.
The event is held in the Landgoed "Holthurnsche Hof", a rural estate in the woodlands
surrounding Nijmegen. It can be reached quickly and easily by public transport.
Program
-------
Wednesday August 28
-------------------
8:15 registration
8:50 opening
9:00 Marcos Viera First Class Syntax, Semantics, and Their Composition
Doaitse Swierstra
9:25 Olivier Danvy Circularity and Lambda Abstraction
Peter Thiemann
Ian Zerny
9:50 break
10:20 Loic Denuziere Piglets to the rescue
Ernesto Rodriguez
Adam Granicz
10:45 Simon Fowler Correct and Secure Web Programming using Dependent Types
Edwin Brady and Embedded Domain-Specific Languages
11:10 break
11:40 Jennifer Hackett The Under-Performing Unfold: A new approach to optimising
Graham Hutton corecursive programs
Mauro Jaskelioff
12:05 Laurence Edward Day Compilation á la Carte
Graham Hutton
12:30 Artjoms Sinkarovs Functionally Redundant Declarations for Improved
Sven-Bodo Scholz Performance Portability
12:55 lunch
14:00 Xavier Clerc OCaml-Java: Typing Java Accesses from OCaml Programs
14:25 Jonathan Protzenko The implementation of the Mezzo type-checker
14:50 break
15:20 Ralf Lämmel The 101haskell chrestomathy
Thomas Schmorleiz
Andrei Varanovich
15:45 Chide Groenouwe Instant playful access to serious programming for non-programmers
with a visual functional programming language
16:10 break
16:40 Arjan Boeijink Supercompiling Haskell to Hardware
Philip Hölzenspies
Christiaan Baaij
Jan Kuper
17:05 Bas van Gijzel Towards a framework for the implementation and verification
Henrik Nilson of translations between argumentation models
17:30 end of talks
18:00 dinner
20:00 25th IFL reunion
23:00
Thursday August 29
------------------
9:00 Bas Lijnse Supporting Semi-Structured Work using Higher Order Tasks
Jan Martin Jansen
9:25 Viktória Zsók A Prototype of CPS Systems
9:50 break
10:20 Majed Al Saeed A Critical Analysis of Parallel Functional Profilers
Patrick Maier
Phil Trinder
Lilia Georgieva
10:45 Vladimir Janjic Using Erlang Skeletons to Parallelise Realistic
Christopher Brown Medium-Scale Parallel Programs
Kevin Hammond
11:10 break
11:40 Lennart Augustsson Invited talk: Implementation and Application of Functional Languages
A personal perspective
12:40 lunch
13:45 - 23:00 Social event: excursion, symposium dinner, Peter Landin award
Friday August 30
----------------
9:00 Malak Aljabri The Design and Implementation of GUMSMP:
Hans-Wolfgang Loidl a Multilevel Parallel Haskell Implementation
Phil Trinder
9:25 Henrique Ferreiro Kindergarten Cop:
Laura Castro Dynamic Nursery Resizing for Increasing Parallelism in GHC
Vladimir Janjic
David Castro
Kevin Hammond
9:50 break
10:20 Fangyong Tang User-Defined Shape Constraints in SAC
Clemens Grelck
10:45 Leaf Petersen Measuring the Haskell Gap
Todd Anderson
Hai Liu
Neal Glew
11:10 break
11:40 Marco T. Morazán Immediate Dominators in Linear Time
12:05 Merijn Verstraaten On Predicting the Impact of Resource Redistribution
Sven-Bodo Scholz in Streaming Applications
12:30 IFL 2014
12:40 lunch
14:00 Melinda Tóth Reduction of regression tests for Erlang based on impact analysis
István Bozó
Zoltán Horváth
14:25 Macías López A DSL for Web Services Automatic Test Data Generation
Henrique Ferreiro
Laura M. Castro
Thomas Arts
14:50 break
15:20 Kanae Tsushima A Weighted Type Error Slicer
Kenichi Asai
15:45 Ben Thorner A Type Inference Debugger for ML in Education
Kathryn Gray
16:10 break
16:40 Nicolas Wu Structured Sharing for Dynamic Programming
17:05 Clemens Grelck Towards Persistent and Parallel Asynchronous Adaptive Specialisation
Heinz Wiesinger for Data-Parallel Array Processing in SAC
17:30 closing
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
25th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2013
RADBOUD UNIVERSITY NIJMEGEN, THE NETHERLANDS
ACM In-Cooperation / ACM SIGPLAN
AUGUST 28 - 30 2013
"Landgoed Holthurnsche Hof"
http://ifl2013.cs.ru.nl
[program available - late registration still open]
We are proud to announce that the 25th edition of the IFL series returns to its roots at
the Radboud University Nijmegen in the Netherlands. The symposium is held from 28th
to 30th of August 2013.
Scope
-----
The goal of the IFL symposia is to bring together researchers actively engaged in the
implementation and application of functional and function-based programming languages.
IFL 2013 will be a venue for researchers to present and discuss new ideas and concepts,
work in progress, and publication-ripe results related to the implementation and
application of functional languages and function-based programming.
Following the IFL tradition, IFL 2013 will use a post-symposium review process to
produce the formal proceedings which will be published in the ACM Digital Library. All
participants of IFL 2013 are invited to submit either a draft paper or an extended
abstract describing work to be presented at the symposium. At no time may work submitted
to IFL be simultaneously submitted to other venues; submissions must adhere to
ACM SIGPLAN's republication policy:
http://www.sigplan.org/Resources/Policies/Republication
The submissions will be screened by the program committee chair to make sure they are
within the scope of IFL, and will appear in the draft proceedings distributed at the
symposium. Submissions appearing in the draft proceedings are not peer-reviewed
publications. Hence, publications that appear only in the draft proceedings do not
count as publication for the ACM SIGPLAN republication policy. After the symposium,
authors will be given the opportunity to incorporate the feedback from discussions at
the symposium and will be invited to submit a revised full article for the formal
review process. From the revised submissions, the program committee will select papers
for the formal proceedings considering their correctness, novelty, originality,
relevance, significance, and clarity.
Invited Speaker
---------------
Lennart Augustsson, currently employed by the Standard Chartered Bank, well-known for
his work on Haskell, parallel Haskell, Cayenne, and Bluespec, is the invited speaker of
IFL 2013. The title and abstract of his talk is:
"Implementation and Application of Functional Languages - A personal perspective"
It is now over 30 years ago since I implemented my first functional language,
and over 15 years ago since I wrote my first commercial application. In this
talk I will look back to those bygone days and remind you of things that you
might have forgotten or never known. The talk will be absolutely free of
anything new.
Peter Landin Prize
------------------
The Peter Landin Prize is awarded to the best paper presented at the symposium every
year. The honoured article is selected by the program committee based on the submissions
received for the formal review process. The prize carries a cash award equivalent to
150 Euros.
Programme committee
-------------------
• Thomas Arts, Quviq, Gothenburg, Sweden
• Andrew Butterfield, Trinity College, Dublin, Ireland
• Edwin Brady, University of St. Andrews, UK
• Clemens Grelck, University of Amsterdam, Netherlands
• Adam Granicz, IntelliFactory, Budapest, Hungary
• Jeremy Gibbons, University of Oxford, UK
• Fritz Henglein, University of Copenhagen, Denmark
• Stephan Herhut, Intel Labs, Santa Clara, US
• Ralf Hinze (co-chair), University of Oxford, UK
• Zoltán Horváth, Eötvös Loránd University, Budapest, Hungary
• Zhenjiang Hu, University of Tokyo, Japan
• Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina
• Johan Jeuring, University of Utrecht, Netherlands
• Rita Loogen, University of Marburg, Germany
• Marco T. Morazán, Seton Hall University, New Jersey, US
• Dominic Orchard, University of Cambridge, UK
• Rinus Plasmeijer (chair), Radboud University Nijmegen, Netherlands
• Tim Sheard, Portland State University, US
• Sam Tobin-Hochstadt, Northeastern University / Indiana University, US
• Peter Thiemann, University of Freiburg, Germany
• Simon Thompson, University of Kent, UK
Venue
-----
The 25th IFL is organized by the Radboud University Nijmegen, Model Based Software
Development Department at the Nijmegen Institute for Computing and Information Sciences.
The event is held in the Landgoed "Holthurnsche Hof", a rural estate in the woodlands
surrounding Nijmegen. It can be reached quickly and easily by public transport.
Program
-------
Wednesday August 28
-------------------
8:15 registration
8:50 opening
9:00 Marcos Viera First Class Syntax, Semantics, and Their Composition
Doaitse Swierstra
9:25 Olivier Danvy Circularity and Lambda Abstraction
Peter Thiemann
Ian Zerny
9:50 break
10:20 Loic Denuziere Piglets to the rescue
Ernesto Rodriguez
Adam Granicz
10:45 Simon Fowler Correct and Secure Web Programming using Dependent Types
Edwin Brady and Embedded Domain-Specific Languages
11:10 break
11:40 Jennifer Hackett The Under-Performing Unfold: A new approach to optimising
Graham Hutton corecursive programs
Mauro Jaskelioff
12:05 Laurence Edward Day Compilation á la Carte
Graham Hutton
12:30 Artjoms Sinkarovs Functionally Redundant Declarations for Improved
Sven-Bodo Scholz Performance Portability
12:55 lunch
14:00 Xavier Clerc OCaml-Java: Typing Java Accesses from OCaml Programs
14:25 Jonathan Protzenko The implementation of the Mezzo type-checker
14:50 break
15:20 Ralf Lämmel The 101haskell chrestomathy
Thomas Schmorleiz
Andrei Varanovich
15:45 Chide Groenouwe Instant playful access to serious programming for non-programmers
with a visual functional programming language
16:10 break
16:40 Arjan Boeijink Supercompiling Haskell to Hardware
Philip Hölzenspies
Christiaan Baaij
Jan Kuper
17:05 Bas van Gijzel Towards a framework for the implementation and verification
Henrik Nilson of translations between argumentation models
17:30 end of talks
18:00 dinner
20:00 25th IFL reunion
23:00
Thursday August 29
------------------
9:00 Bas Lijnse Supporting Semi-Structured Work using Higher Order Tasks
Jan Martin Jansen
9:25 Viktória Zsók A Prototype of CPS Systems
9:50 break
10:20 Majed Al Saeed A Critical Analysis of Parallel Functional Profilers
Patrick Maier
Phil Trinder
Lilia Georgieva
10:45 Vladimir Janjic Using Erlang Skeletons to Parallelise Realistic
Christopher Brown Medium-Scale Parallel Programs
Kevin Hammond
11:10 break
11:40 Lennart Augustsson Invited talk: Implementation and Application of Functional Languages
A personal perspective
12:40 lunch
13:45 - 23:00 Social event: excursion, symposium dinner, Peter Landin award
Friday August 30
----------------
9:00 Malak Aljabri The Design and Implementation of GUMSMP:
Hans-Wolfgang Loidl a Multilevel Parallel Haskell Implementation
Phil Trinder
9:25 Henrique Ferreiro Kindergarten Cop:
Laura Castro Dynamic Nursery Resizing for Increasing Parallelism in GHC
Vladimir Janjic
David Castro
Kevin Hammond
9:50 break
10:20 Fangyong Tang User-Defined Shape Constraints in SAC
Clemens Grelck
10:45 Leaf Petersen Measuring the Haskell Gap
Todd Anderson
Hai Liu
Neal Glew
11:10 break
11:40 Marco T. Morazán Immediate Dominators in Linear Time
12:05 Merijn Verstraaten On Predicting the Impact of Resource Redistribution
Sven-Bodo Scholz in Streaming Applications
12:30 IFL 2014
12:40 lunch
14:00 Melinda Tóth Reduction of regression tests for Erlang based on impact analysis
István Bozó
Zoltán Horváth
14:25 Macías López A DSL for Web Services Automatic Test Data Generation
Henrique Ferreiro
Laura M. Castro
Thomas Arts
14:50 break
15:20 Kanae Tsushima A Weighted Type Error Slicer
Kenichi Asai
15:45 Ben Thorner A Type Inference Debugger for ML in Education
Kathryn Gray
16:10 break
16:40 Nicolas Wu Structured Sharing for Dynamic Programming
17:05 Clemens Grelck Towards Persistent and Parallel Asynchronous Adaptive Specialisation
Heinz Wiesinger for Data-Parallel Array Processing in SAC
17:30 closing
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2013-08-14
[Caml-list] Call for Participation: Functional High-Performance Computing (FHPC 2013)
=====================================================================
CALL FOR PARTICIPATION
FHPC 2013
The 2nd ACM SIGPLAN Workshop on
Functional High-Performance Computing
Boston, Massachusetts
September 23, 2013
http://www.hiperfit.dk/fhpc13.html
Early Registration Deadline: August 22, 2013
Registration: https://regmaster3.com/2013conf/ICFP13/register.php
Co-located with the International Conference on Functional Programming
(ICFP 2013)
=====================================================================
The FHPC workshop aims at bringing together researchers exploring uses
of functional (or more generally, declarative or high-level)
programming technology in application domains where large-scale
computations arise naturally and high performance is essential.
Modern highly parallel systems, such as manycore multi-processor
systems, large-scale compute clusters, and graphics accelerators
(GPGPUs) as well as reconfigurable hardware (FPGAs), are complex to
program, and declarative languages present a nice sweet spot between
expressiveness and efficiency when programming such systems, to
address their inherent complexity and to reconcile execution
performance with programming productivity.
The aim of the meeting is to enable sharing of results, experiences,
and novel ideas about how high-level, declarative specifications of
computationally challenging problems can serve as highly transparent,
maintainable, and portable code that approaches (or even exceeds) the
performance of machine-oriented imperative implementations.
Papers and Invited Talks:
=========================
The accepted papers cover different topics related to FHPC:
declarative parallel programming models, optimising compilation of
declarative languages, libraries and bespoke runtime management which
take advantage of declarative constructs for better performance and
productivity.
FHPC'13 features two invited talks and one panel discussion.
In the morning session, Matthew Fluet from Rochester Institute of
Technology will provide an overview of the Manticore project.
In the late afternoon session, Manuel Chakravarty from the University
of New South Wales will present his work in data-parallel computing,
Data-Parallel Haskell and Accelerate. The topic of data-parallelism
and GPU computing will be further deepened in a panel discussion.
Schedule:
=========
9:00
RUNTIME TECHNIQUES FOR PARALLEL FUNCTIONAL PROGRAMMING
o Chairs' welcome
o Matthew Fluet.
The Manticore Project (invited talk)
o Sylvain Henry.
ViperVM: a Runtime System for Parallel Functional High-Performance
Computing on Heterogeneous Architectures
11:00
PARALLEL PROGRAMMING MODELS AND APPLICATION CLASSES
o Frederik M. Madsen and Andrzej Filinski.
Towards a Streaming Model for Nested Data Parallelism
o Qi Wang, Meixian Chen, Yu Liu and Zhenjiang Hu.
Towards Systematic Parallel Programming of Graph Problems via Tree
Decomposition and Tree Parallelism
o Josef Svenningsson, Joel Svensson and Mary Sheeran.
Counting and Occurrence sort for GPUs using an Embedded Language
13:30
OPTIMIZING COMPILATION OF FUNCTIONAL PROGRAMS
o Troels Henriksen and Cosmin E. Oancea.
A T2 Graph-Reduction Approach To Fusion
o Artjoms Sinkarovs and Sven-Bodo Scholz.
Sematics-Preserving Data Layout Transformations for Improved
Vectorisation
14:30
LIBRARIES AND RUNTIME TECHNIQUES FOR PARALLEL FUNCTIONAL PROGRAMMING
o Lindsey Kuper and Ryan R. Newton.
LVars: Lattice-based Data Structures for Deterministic Parallelism
o Mauro Blanco, Pablo Perdomo, Pablo Ezzatti, Alberto Pardo and Marcos
Viera. Towards a functional run-time for dense NLA domain
16:00
FUNCTIONAL DATA PARALLELISM
o Manuel Chakravarty.
Data Parallelism in Haskell (invited talk)
o Panel discussion: Data Parallelism and GPU Computing
Workshop organisation
=====================
Programme Committee:
Umut Acar (co-chair), Carnegie Mellon U., PA, USA
Arvind, MIT, MA, USA
Jost Berthold (co-chair), U. of Copenhagen, Denmark
Guy Blelloch, Carnegie Mellon U., PA, USA
Hassan Chafi, Oracle Labs, CA, USA
Dan Spoonhower, Google, CA, USA
Sergei Gorlatch, U. Münster, Germany
Clemens Grelck, U. of Amsterdam, Netherlands
Vinod Grover, NVidia, USA
Torsten Grust, U.Tübingen, Germany
Zhenjiang Hu, National Inst. of Informatics, Tokyo, Japan
Gabriele Keller, U.New South Wales, Sydney, Australia
Jens Palsberg, U.California, CA, USA
Leaf Peterson, Intel, USA
Mike Rainey, MPI-SWS,Kaiserslautern, Germany
Suresh Jaganathan, Purdue U., USA
Sven-Bodo Scholz, Heriot-Watt U., Edinburgh, UK
Guy Steele, Oracle Labs, Burlington, MA, USA
Yaron Minsky, Jane Street Capital, NY, USA
General Chairs:
Clemens Grelck, University of Amsterdam, NL
Fritz Henglein, University of Copenhagen, DK
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
CALL FOR PARTICIPATION
FHPC 2013
The 2nd ACM SIGPLAN Workshop on
Functional High-Performance Computing
Boston, Massachusetts
September 23, 2013
http://www.hiperfit.dk/fhpc13.html
Early Registration Deadline: August 22, 2013
Registration: https://regmaster3.com/2013conf/ICFP13/register.php
Co-located with the International Conference on Functional Programming
(ICFP 2013)
=====================================================================
The FHPC workshop aims at bringing together researchers exploring uses
of functional (or more generally, declarative or high-level)
programming technology in application domains where large-scale
computations arise naturally and high performance is essential.
Modern highly parallel systems, such as manycore multi-processor
systems, large-scale compute clusters, and graphics accelerators
(GPGPUs) as well as reconfigurable hardware (FPGAs), are complex to
program, and declarative languages present a nice sweet spot between
expressiveness and efficiency when programming such systems, to
address their inherent complexity and to reconcile execution
performance with programming productivity.
The aim of the meeting is to enable sharing of results, experiences,
and novel ideas about how high-level, declarative specifications of
computationally challenging problems can serve as highly transparent,
maintainable, and portable code that approaches (or even exceeds) the
performance of machine-oriented imperative implementations.
Papers and Invited Talks:
=========================
The accepted papers cover different topics related to FHPC:
declarative parallel programming models, optimising compilation of
declarative languages, libraries and bespoke runtime management which
take advantage of declarative constructs for better performance and
productivity.
FHPC'13 features two invited talks and one panel discussion.
In the morning session, Matthew Fluet from Rochester Institute of
Technology will provide an overview of the Manticore project.
In the late afternoon session, Manuel Chakravarty from the University
of New South Wales will present his work in data-parallel computing,
Data-Parallel Haskell and Accelerate. The topic of data-parallelism
and GPU computing will be further deepened in a panel discussion.
Schedule:
=========
9:00
RUNTIME TECHNIQUES FOR PARALLEL FUNCTIONAL PROGRAMMING
o Chairs' welcome
o Matthew Fluet.
The Manticore Project (invited talk)
o Sylvain Henry.
ViperVM: a Runtime System for Parallel Functional High-Performance
Computing on Heterogeneous Architectures
11:00
PARALLEL PROGRAMMING MODELS AND APPLICATION CLASSES
o Frederik M. Madsen and Andrzej Filinski.
Towards a Streaming Model for Nested Data Parallelism
o Qi Wang, Meixian Chen, Yu Liu and Zhenjiang Hu.
Towards Systematic Parallel Programming of Graph Problems via Tree
Decomposition and Tree Parallelism
o Josef Svenningsson, Joel Svensson and Mary Sheeran.
Counting and Occurrence sort for GPUs using an Embedded Language
13:30
OPTIMIZING COMPILATION OF FUNCTIONAL PROGRAMS
o Troels Henriksen and Cosmin E. Oancea.
A T2 Graph-Reduction Approach To Fusion
o Artjoms Sinkarovs and Sven-Bodo Scholz.
Sematics-Preserving Data Layout Transformations for Improved
Vectorisation
14:30
LIBRARIES AND RUNTIME TECHNIQUES FOR PARALLEL FUNCTIONAL PROGRAMMING
o Lindsey Kuper and Ryan R. Newton.
LVars: Lattice-based Data Structures for Deterministic Parallelism
o Mauro Blanco, Pablo Perdomo, Pablo Ezzatti, Alberto Pardo and Marcos
Viera. Towards a functional run-time for dense NLA domain
16:00
FUNCTIONAL DATA PARALLELISM
o Manuel Chakravarty.
Data Parallelism in Haskell (invited talk)
o Panel discussion: Data Parallelism and GPU Computing
Workshop organisation
=====================
Programme Committee:
Umut Acar (co-chair), Carnegie Mellon U., PA, USA
Arvind, MIT, MA, USA
Jost Berthold (co-chair), U. of Copenhagen, Denmark
Guy Blelloch, Carnegie Mellon U., PA, USA
Hassan Chafi, Oracle Labs, CA, USA
Dan Spoonhower, Google, CA, USA
Sergei Gorlatch, U. Münster, Germany
Clemens Grelck, U. of Amsterdam, Netherlands
Vinod Grover, NVidia, USA
Torsten Grust, U.Tübingen, Germany
Zhenjiang Hu, National Inst. of Informatics, Tokyo, Japan
Gabriele Keller, U.New South Wales, Sydney, Australia
Jens Palsberg, U.California, CA, USA
Leaf Peterson, Intel, USA
Mike Rainey, MPI-SWS,Kaiserslautern, Germany
Suresh Jaganathan, Purdue U., USA
Sven-Bodo Scholz, Heriot-Watt U., Edinburgh, UK
Guy Steele, Oracle Labs, Burlington, MA, USA
Yaron Minsky, Jane Street Capital, NY, USA
General Chairs:
Clemens Grelck, University of Amsterdam, NL
Fritz Henglein, University of Copenhagen, DK
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2013-08-10
[Caml-list] ECSCW 2013: Call for Participation (Early Registration Deadline Extended!)
| CALL FOR PARTICIPATION The 13th European Conference on Computer Supported Cooperative Work (ECSCW 2013) 21-25 September 2013 Paphos, Cyprus https://ecscw2013.cs.ucy.ac.cy NEWS - Early bird registration with reduced fee *extended* until August 26, 2013. https://ecscw2013.cs.ucy.ac.cy/index.php?p=Registration - Conference Program available ABOUT THE CONFERENCE ECSCW is a series of international conferences on computer-supported cooperative work. The conference series is affiliated with the European Society for Socially Embedded Technologies (EUSSET). CSCW is committed to grounding technological development and systems design in an understanding of "the specifics of practical, situated action". ECSCW remains committed to this program. ECSCW has been instrumental in defining the agenda of CSCW research since the beginning, and it still is. It has been the key forum for identifying and exploring issues such as · the situated nature of action and interaction and its implications; · the role of ethnography in CSCW and in computing in general, · the role and nature of 'awareness' in cooperative work; · the role of paper-based and other material artifacts in cooperative work; · highly flexible collaboration infrastructures and tailorable systems. The ECSCW conferences are single-track conferences in order to facilitate critical discussion across the disciplinary and national subdivisions of the field. The acceptance rate for papers has been between 20 and 25%. The ECSCW conference is sponsored by the ECSCW Foundation (sometimes also called the European CSCW Foundation). The role of the ECSCW Foundation is to foster research on computer-suppoted cooperative work in Europe and globally, primarily by safeguarding and facilitating the continuation of the ECSCW conference series. KEYNOTES Sampsa Hyysalo, Marco Susani PROGRAM - https://ecscw2013.cs.ucy.ac.cy/index.php?p=Program The scientific program features 15 rigorously peer-reviewed papers plus 7 workshops and masterclasses, a work-in-progress session and a doctoral colloquium. REGISTRATION - https://ecscw2013.cs.ucy.ac.cy/index.php?p=Registration Reduced-fee early bird registration was extended! VENUE & ACCOMMODATION - https://ecscw2013.cs.ucy.ac.cy/index.php?p=Accommodation EC-TEL 2013 will be hosted at the 5-star Coral Beach Hotel in beautiful Paphos, Cyprus. Besides staying at the conference hotel, attendees can choose to stay in nearby hotels, offering all price categories. Cyprus is easy to reach from all major airports Europe. |
| -------------------------------------------------------------------- This is not SPAM. If you want to be removed from this list, please send an email to [announce@cs.ucy.ac.cy] with the single word 'remove' in the subject of the email. |
2013-08-08
[Caml-list] OOPS track at SAC 2014: Call for Papers
OOPS 2014 Call for Papers
Object-Oriented Programming Languages and Systems
http://oops.disi.unige.it/OOPS14
Technical Track at the 29th ACM Symposium on Applied Computing, SAC 2014
http://www.acm.org/conferences/sac/sac2014
Gyeongju, Korea
March 24-28, 2014
- Important Dates
Regular papers:
September 13, 2013
Submission of regular papers and SRC abstracts
November 15, 2013
Notification of paper and SRC acceptance/rejection
December 6, 2013
Camera-ready copies of accepted papers
March 24-28, 2014
SAC 2014
- Track Chair
Davide Ancona (davide@disi.unige.it)
DIBRIS, University of Genova, Italy
- Program Committee
PROGRAM COMMITTEE
Alexandre Bergel, University of Chile, Chile
Yu-Fang Chen, Academia Sinica, Taiwan
Shigeru Chiba, University of Tokyo, Japan
Jacques Garrigue, Nagoya University, Japan
Robert Hirschfeld, Hasso-Plattner-Institut, University of Potsdam, Germany
Hideya Iwasaki, The University of Electro-Communications, Japan
Jaakko J辰rvi, Texas A&M University, USA
Yuh-Jzer Joung, National Taiwan University, Taipei, Taiwan
Kiyokuni Kawachiya, IBM Tokyo Research Laboratory, Japan
Doug Lea, Suny Oswego, USA
Hidehiko Masuhara, Tokyo Institute of Technology, Japan
Sean McDirmid, Microsoft Research Asia, Beijing, China
Bruno Oliveira National University of Singapore, Singapore
Hakjoo Oh, Seoul National University, Korea
Sukyoung Ryu, Korea Advanced Institute of Science and Technology, Korea
Jo達o Costa Seco, Universidade Nova de Lisboa, Portugal
Marco Servetto, Victoria University of Wellington, New Zealand
Anh-Hoang Truong, VNU University of Engineering and Technology, Hanoi, Vietnam
Jianjun Zhao, Shanghai Jiaotong University, China
- SAC 2014
For the past twenty-eight years, the ACM Symposium on Applied Computing (SAC) has
been a primary gathering forum for applied computer scientists, computer engineers,
software engineers, and application developers from around the world.
SAC 2014 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP),
and will be held at Gyeongju, Korea.
- Call For Student Research Abstracts:
Graduate students seeking feedback from the scientific community on their research ideas
are invited to submit original abstracts of their research work in areas of experimental
computing and application development related to SAC 2014 Tracks. The Student Research
Competition (SRC) program is designed to provide graduate students the opportunity to meet
and exchange ideas with researcher and practitioners in their areas of interest.
- OOPS Track
Object-oriented programming (OOP) has become the mainstream programming paradigm for
developing complex software systems in most application domains.
However, existing OO languages and platforms need to evolve to meet the continuous
demand for new abstractions, features, and tools able to reduce the time, effort, and
cost of creating object-oriented software systems, and improving their performance, quality
and usability.
To this aim, OOPS is seeking for research advances bringing benefits in all those typical
aspects of software development, such as modeling, prototyping, design, implementation,
concurrency and distribution, code generation, analysis, verification, testing, evaluation,
deployment, maintenance, reuse, and software evolution and adaptation.
The specific OO related topics of interest for the OOPS track include, but are not limited to,
the following:
* Aspects and components
* Code generation, and optimization, just-in-time compilation
* Context-oriented programming
* Databases and persistence
* Distribution and concurrency
* Dynamic and scripting languages
* Evaluation
* Feature Oriented Software Development and Programming
* Formal verification
* Integration with other paradigms
* Interoperability, versioning and software evolution and adaptation
* Language design and implementation
* Modular and generic programming
* Reflection, meta-programming
* Secure and dependable software
* Static analysis
* Type systems and type inference
* Virtual machines
OOPS offers a great opportunity to the OOP community to gain visibility, and to
exploit the inter-disciplinary nature of SAC.
- Submission Instructions
Prospective papers should be submitted in pdf format using the provided automated submission system
(https://www.softconf.com/d/sac2014 for regular papers, and https://www.softconf.com/d/sac-src2014
for SRC papers.
All papers should represent original and previously unpublished works that are currently not under
review in any conference or journal. Both basic and applied research papers are welcome.
Hardcopy and fax submissions will not be accepted. Submission of the same paper to multiple tracks is
not allowed. The format of the paper must adhere to the sig-alternate style.
Full papers are limited to 6 pages with the option for up to 2 additional pages at cost (US$80 per page).
Posters are limited to 2 pages with the option for up to 1 additional page at cost (US$80).
Papers that fail to comply with length limitations risk rejection. All papers must be submitted by
September 13, 2013. For more information please visit the SAC 2014 Website.
- Proceedings
Accepted papers will be published by ACM in the annual conference proceedings. Accepted posters will be
published as extended abstracts in the same proceedings.
Please note that full registration is required for papers and posters to be included in the conference
proceedings and CD. Papers and posters NOT presented at conference will NOT be included in the ACM digital
library. Student registration is only intended to encourage student attendance and does not cover inclusion
of papers/posters in the conference proceedings.
Finally, following the tradition of the past OOPS editions, depending on the quality and the overall number
of accepted papers, authors of selected papers will be invited to submit an extended version for a journal
special issue, after the conference.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Object-Oriented Programming Languages and Systems
http://oops.disi.unige.it/OOPS14
Technical Track at the 29th ACM Symposium on Applied Computing, SAC 2014
http://www.acm.org/conferences/sac/sac2014
Gyeongju, Korea
March 24-28, 2014
- Important Dates
Regular papers:
September 13, 2013
Submission of regular papers and SRC abstracts
November 15, 2013
Notification of paper and SRC acceptance/rejection
December 6, 2013
Camera-ready copies of accepted papers
March 24-28, 2014
SAC 2014
- Track Chair
Davide Ancona (davide@disi.unige.it)
DIBRIS, University of Genova, Italy
- Program Committee
PROGRAM COMMITTEE
Alexandre Bergel, University of Chile, Chile
Yu-Fang Chen, Academia Sinica, Taiwan
Shigeru Chiba, University of Tokyo, Japan
Jacques Garrigue, Nagoya University, Japan
Robert Hirschfeld, Hasso-Plattner-Institut, University of Potsdam, Germany
Hideya Iwasaki, The University of Electro-Communications, Japan
Jaakko J辰rvi, Texas A&M University, USA
Yuh-Jzer Joung, National Taiwan University, Taipei, Taiwan
Kiyokuni Kawachiya, IBM Tokyo Research Laboratory, Japan
Doug Lea, Suny Oswego, USA
Hidehiko Masuhara, Tokyo Institute of Technology, Japan
Sean McDirmid, Microsoft Research Asia, Beijing, China
Bruno Oliveira National University of Singapore, Singapore
Hakjoo Oh, Seoul National University, Korea
Sukyoung Ryu, Korea Advanced Institute of Science and Technology, Korea
Jo達o Costa Seco, Universidade Nova de Lisboa, Portugal
Marco Servetto, Victoria University of Wellington, New Zealand
Anh-Hoang Truong, VNU University of Engineering and Technology, Hanoi, Vietnam
Jianjun Zhao, Shanghai Jiaotong University, China
- SAC 2014
For the past twenty-eight years, the ACM Symposium on Applied Computing (SAC) has
been a primary gathering forum for applied computer scientists, computer engineers,
software engineers, and application developers from around the world.
SAC 2014 is sponsored by the ACM Special Interest Group on Applied Computing (SIGAPP),
and will be held at Gyeongju, Korea.
- Call For Student Research Abstracts:
Graduate students seeking feedback from the scientific community on their research ideas
are invited to submit original abstracts of their research work in areas of experimental
computing and application development related to SAC 2014 Tracks. The Student Research
Competition (SRC) program is designed to provide graduate students the opportunity to meet
and exchange ideas with researcher and practitioners in their areas of interest.
- OOPS Track
Object-oriented programming (OOP) has become the mainstream programming paradigm for
developing complex software systems in most application domains.
However, existing OO languages and platforms need to evolve to meet the continuous
demand for new abstractions, features, and tools able to reduce the time, effort, and
cost of creating object-oriented software systems, and improving their performance, quality
and usability.
To this aim, OOPS is seeking for research advances bringing benefits in all those typical
aspects of software development, such as modeling, prototyping, design, implementation,
concurrency and distribution, code generation, analysis, verification, testing, evaluation,
deployment, maintenance, reuse, and software evolution and adaptation.
The specific OO related topics of interest for the OOPS track include, but are not limited to,
the following:
* Aspects and components
* Code generation, and optimization, just-in-time compilation
* Context-oriented programming
* Databases and persistence
* Distribution and concurrency
* Dynamic and scripting languages
* Evaluation
* Feature Oriented Software Development and Programming
* Formal verification
* Integration with other paradigms
* Interoperability, versioning and software evolution and adaptation
* Language design and implementation
* Modular and generic programming
* Reflection, meta-programming
* Secure and dependable software
* Static analysis
* Type systems and type inference
* Virtual machines
OOPS offers a great opportunity to the OOP community to gain visibility, and to
exploit the inter-disciplinary nature of SAC.
- Submission Instructions
Prospective papers should be submitted in pdf format using the provided automated submission system
(https://www.softconf.com/d/sac2014 for regular papers, and https://www.softconf.com/d/sac-src2014
for SRC papers.
All papers should represent original and previously unpublished works that are currently not under
review in any conference or journal. Both basic and applied research papers are welcome.
Hardcopy and fax submissions will not be accepted. Submission of the same paper to multiple tracks is
not allowed. The format of the paper must adhere to the sig-alternate style.
Full papers are limited to 6 pages with the option for up to 2 additional pages at cost (US$80 per page).
Posters are limited to 2 pages with the option for up to 1 additional page at cost (US$80).
Papers that fail to comply with length limitations risk rejection. All papers must be submitted by
September 13, 2013. For more information please visit the SAC 2014 Website.
- Proceedings
Accepted papers will be published by ACM in the annual conference proceedings. Accepted posters will be
published as extended abstracts in the same proceedings.
Please note that full registration is required for papers and posters to be included in the conference
proceedings and CD. Papers and posters NOT presented at conference will NOT be included in the ACM digital
library. Student registration is only intended to encourage student attendance and does not cover inclusion
of papers/posters in the conference proceedings.
Finally, following the tradition of the past OOPS editions, depending on the quality and the overall number
of accepted papers, authors of selected papers will be invited to submit an extended version for a journal
special issue, after the conference.
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
2013-08-06
[Caml-list] Call for Participation: CUFP 2013
Hope to see some of you at CUFP this year! The program looks great, with a nice talk by Facebook folks on how they use OCaml to analyze and type their internal PHP codebase.
Commercial Users of Functional Programming (CUFP) 2013 at ICFP 2013;
Boston, MA, Sep 22-24.
Call for Participation
Functional programming has been at the forefront of a new generation
of programming technologies: Companies employing functional
programming use it to enable more effective, robust, and flexible
software development.
The annual CUFP workshop is designed to serve the growing community of
commercial users of functional programming: Practitioners meet and
collaborate; language designers and users can share ideas about the
future of their languages; experts share their expertise on practical
functional programming.
CUFP 2013 begins with a day of talks about industrial applications of
functional programming, followed by two days of tutorials by top-notch
language experts including advanced tutorials on special topics.
More information about CUFP 2013 is available on the CUFP web site at
http://cufp.org/conference/schedule
Registration is available at:
https://regmaster3.com/2013conf/ICFP13/register.php
Note that early-registration discounts end August 22.
TALKS, SEPTEMBER 22
Keynote: "Small Talk" Dave Thomas, TBA.
Analyzing PHP statically (Julien Verlaguet, Facebook)
Introducing Erlang to OpenX (Anthony Molinaro, OpenX)
Redesigning the Computer for Security (Tom Hawkins, BAE Systems)
End to end Reactive Programming (Jafar Husain, Netflix)
Medical Device Automation using Message-Passing Concurrency in Scheme
(Vishesh Panchal & BobBurger, Beckman Coulter Inc.)
Enabling Microservice Architectures with Scala (Kevin Scaldeferri,
Gilt Groupe)
Functional Infrastructures (Antoni Batchelli, PalletOps)
Realtime MapReduce at Twitter (Sam Ritchie, Twitter Inc)
Functional Probabilistic Programming (Avi Pfeffer, Charles River
Analytics)
Building a commercial development platform Haskell, an experience
report. (Gregg Lebovitz, FP Complete)
Common Pitfalls of Functional Programming and How to Avoid Them: A
Mobile Gaming Platform Case Study (Yasuaki Takebe, GREE, Inc)
Building scalable, high-availability distributed systems in Haskell
(Jeff Epstein, Parallel Scientific)
Functional Reporting (Edward Kmett, S&P Capital IQ)
Enterprise Appointment Scheduling with Haskell (Ryan Trinkle,
skedge.me)
Programming Map/Reduce in Mathematica (Paul-Jean Letourneau, Wolfram)
TUTORIALS, SEPTEMBER 23
T1: Haskell Day 1 (Andres Löh)
T2 - OCaml tutorial (Yaron Minsky & Anil Madhavapeddy)
T3 - Erlang 101 - Your introduction to Concurrency and Multi-core
(Francesco Cesarini & Simon Thompson)
T4 - (Systematic generation of optimal code with MetaOCaml) Oleg
Kiselyov
T5 - (Erlang Web frameworks) Steve Vinoski
TUTORIALS, SEPTEMBER 24
T6 - Haskell Day 2 (Simon Marlow)
T7 - Clojure tutorial (Luke Vander Hart)
T8 - The Seductions of Scala (Dean Wampler)
T9 - Bending Clojure to your will: Macros and Domain Specific
Languages (Leonardo Borges)
T10 - Scalding - The Scala Tool for Data Analytics in Hadoop Systems
(Dean Wampler)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Commercial Users of Functional Programming (CUFP) 2013 at ICFP 2013;
Boston, MA, Sep 22-24.
Call for Participation
Functional programming has been at the forefront of a new generation
of programming technologies: Companies employing functional
programming use it to enable more effective, robust, and flexible
software development.
The annual CUFP workshop is designed to serve the growing community of
commercial users of functional programming: Practitioners meet and
collaborate; language designers and users can share ideas about the
future of their languages; experts share their expertise on practical
functional programming.
CUFP 2013 begins with a day of talks about industrial applications of
functional programming, followed by two days of tutorials by top-notch
language experts including advanced tutorials on special topics.
More information about CUFP 2013 is available on the CUFP web site at
http://cufp.org/conference/schedule
Registration is available at:
https://regmaster3.com/2013conf/ICFP13/register.php
Note that early-registration discounts end August 22.
TALKS, SEPTEMBER 22
Keynote: "Small Talk" Dave Thomas, TBA.
Analyzing PHP statically (Julien Verlaguet, Facebook)
Introducing Erlang to OpenX (Anthony Molinaro, OpenX)
Redesigning the Computer for Security (Tom Hawkins, BAE Systems)
End to end Reactive Programming (Jafar Husain, Netflix)
Medical Device Automation using Message-Passing Concurrency in Scheme
(Vishesh Panchal & BobBurger, Beckman Coulter Inc.)
Enabling Microservice Architectures with Scala (Kevin Scaldeferri,
Gilt Groupe)
Functional Infrastructures (Antoni Batchelli, PalletOps)
Realtime MapReduce at Twitter (Sam Ritchie, Twitter Inc)
Functional Probabilistic Programming (Avi Pfeffer, Charles River
Analytics)
Building a commercial development platform Haskell, an experience
report. (Gregg Lebovitz, FP Complete)
Common Pitfalls of Functional Programming and How to Avoid Them: A
Mobile Gaming Platform Case Study (Yasuaki Takebe, GREE, Inc)
Building scalable, high-availability distributed systems in Haskell
(Jeff Epstein, Parallel Scientific)
Functional Reporting (Edward Kmett, S&P Capital IQ)
Enterprise Appointment Scheduling with Haskell (Ryan Trinkle,
skedge.me)
Programming Map/Reduce in Mathematica (Paul-Jean Letourneau, Wolfram)
TUTORIALS, SEPTEMBER 23
T1: Haskell Day 1 (Andres Löh)
T2 - OCaml tutorial (Yaron Minsky & Anil Madhavapeddy)
T3 - Erlang 101 - Your introduction to Concurrency and Multi-core
(Francesco Cesarini & Simon Thompson)
T4 - (Systematic generation of optimal code with MetaOCaml) Oleg
Kiselyov
T5 - (Erlang Web frameworks) Steve Vinoski
TUTORIALS, SEPTEMBER 24
T6 - Haskell Day 2 (Simon Marlow)
T7 - Clojure tutorial (Luke Vander Hart)
T8 - The Seductions of Scala (Dean Wampler)
T9 - Bending Clojure to your will: Macros and Domain Specific
Languages (Leonardo Borges)
T10 - Scalding - The Scala Tool for Data Analytics in Hadoop Systems
(Dean Wampler)
--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
Subscribe to:
Posts (Atom)