Hello,
Please, find below the final call for papers for IFL 2015.
Note that the draft submission date has been extended until August 15.
Please forward these to anyone you think may be interested.
Apologies for any duplicates you may receive.
best regards,
Jurriaan Hage
Publicity Chair of IFL
——
IFL 2015 - Call for papers
27th SYMPOSIUM ON IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES - IFL 2015
University of Koblenz-Landau, Koblenz, Germany
In cooperation with ACM SIGPLAN
September 14-16, 2015
http://ifl2015.wikidot.com/
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 2015 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.
Peer-review
Following the IFL tradition, IFL 2015 will use a post-symposium review process to produce the formal proceedings. All participants of IFL2015 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.
Important dates
August 15: Submission deadline draft papers
August 17: Notification of acceptance for presentation
August 19: Early registration deadline
August 26: Late registration deadline
September 7: Submission deadline for pre-symposium proceedings
September 14-16: IFL Symposium
December 1: Submission deadline for post-symposium proceedings
January 15, 2016: Notification of acceptance for post-symposium proceedings
March 1, 2016: Camera-ready version for post-symposium proceedings
Submission details
Prospective authors are encouraged to submit papers or extended abstracts to be published in the draft proceedings and to present them at the symposium. All contributions must be written in English. Papers must adhere to the standard ACM two columns conference format. For the pre-symposium proceedings we adopt a 'weak' page limit of 12 pages. For the post-symposium proceedings the page limit of 12 pages is firm. A suitable document template for LaTeX can be found at:
http://www.acm.org/sigs/sigplan/authorInformation.htm
Authors submit through EasyChair:
https://easychair.org/conferences/?conf=ifl2015
Topics
IFL welcomes submissions describing practical and theoretical work as well as submissions describing applications and tools in the context of functional programming. If you are not sure whether your work is appropriate for IFL 2015, please contact the PC chair at rlaemmel(a)acm.org. Topics of interest include, but are not limited to:
- language concepts
- type systems, type checking, type inferencing
- compilation techniques
- staged compilation
- run-time function specialization
- run-time code generation
- partial evaluation
- (abstract) interpretation
- metaprogramming
- generic programming
- automatic program generation
- array processing
- concurrent/parallel programming
- concurrent/parallel program execution
- embedded systems
- web applications
- (embedded) domain specific languages
- security
- novel memory management techniques
- run-time profiling performance measurements
- debugging and tracing
- virtual/abstract machine architectures
- validation, verification of functional programs
- tools and programming techniques
- (industrial) applications
Peter Landin Prize
The Peter Landin Prize is awarded to the best paper presented at the symposium every year. The honored 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
Chair: Ralf Lämmel, University of Koblenz-Landau, Germany
- Malgorzata Biernacka, University of Wroclaw, Poland
- Laura M. Castro, University of A Coruña, Spain
- Martin Erwig, Oregon State University, USA
- Dan Ghica, University of Birmingham, UK
- Andrew Gill, University of Kansas, USA
- Stephan Herhut, Google, USA
- Zhenjiang Hu, National Institute of Informatics (NII), Japan
- Mauro Jaskelioff, CIFASIS/Universidad Nacional de Rosario, Argentina
- Frédéric Jouault, ESEO, France
- Oleg Kiselyov, Tohoku University, Japan
- Lindsey Kuper, Indiana University, USA
- Rita Loogen, Philipps-Universität Marburg, Germany
- Akimasa Morihata, University of Tokyo, Japan
- Atsushi Ohori, Tohoku University, Japan
- Bruno C. D. S. Oliveira, The University of Hong Kong, Hong Kong
- Frank Piessens, Katholieke Universiteit Leuven, Belgium
- Norman Ramsey, Tufts University, USA
- Matthew Roberts, Macquarie University, Australia
- Manfred Schmidt-Schauss, Goethe-University Frankfurt, Germany
- Simon Thompson, University of Kent, UK
- Stephanie Weirich, University of Pennsylvania, USA
- Steve Zdancewic, University of Pennsylvania , USA
Venue
The 27th IFL will be held in association with the Faculty of Computer Science, University of Koblenz-Landau, Campus Koblenz. Koblenz is well connected by train to several international airports. For instance, Koblenz can be reached from Frankfurt by high-speed train ICE within an hour. The modern Koblenz campus is close to the city center and can be reached by foot, bus, or cab. See the website for more information on the venue.
Social events
The conference attendees are welcome at „Kaffeewirtschaft“ in the historical center of Koblenz on the evening of arrival (Sunday, 13 September). A special reception takes places on Monday in the form of a wine tasting and guided tour at „Weingut Lunnebach“. The conference banquet on Tuesday is held at the historical site „Festung Ehrenbreitstein“ at Restaurant Casino with a wonderful view over the city and the two rivers Rhine and Moselle.
- http://www.kaffeewirtschaft.de/
- http://www.weingut-lunnebach.de/
- https://www.cafehahn.de/impressionen_189.html
Call for Papers
===============
18th International Symposium on
Practical Aspects of Declarative Languages (PADL 2016)
http://conf.researchr.org/home/PADL-2016
St. Petersburg, Florida, United States
Mon 18 - Tue 19 January 2016
Co-located with ACM POPL 2016
Conference Description
======================
Declarative languages build on sound theoretical bases to provide
attractive frameworks for application development. These languages
have been successfully applied to many different real-world
situations, ranging from data base management to active networks to
software engineering to decision support systems.
New developments in theory and implementation have opened up new
application areas. At the same time, applications of declarative
languages to novel problems raise numerous interesting research
issues. Well-known questions include designing for scalability,
language extensions for application deployment, and programming
environments. Thus, applications drive the progress in the theory and
implementation of declarative systems, and benefit from this progress
as well.
PADL is a forum for researchers and practitioners to present
original work emphasizing novel applications and implementation
techniques for all forms of declarative concepts, including,
functional, logic, constraints, etc. Topics of interest include, but
are not limited to:
* Innovative applications of declarative languages
* Declarative domain-specific languages and applications
* Practical applications of theoretical results
* New language developments and their impact on applications
* Declarative languages and software engineering
* Evaluation of implementation techniques on practical applications
* Practical experiences and industrial applications
* Novel uses of declarative languages in the classroom
* Practical extensions such as constraint-based, probabilistic, and
reactive languages.
PADL 2016 welcomes new ideas and approaches pertaining to
applications and implementation of declarative languages. PADL 2016 will
be co-located with the Symposium on Principles of Programming Languages
(POPL 2016), in St. Petersburg, Florida (USA).
Important Dates and Submission Guidelines
=========================================
Abstract Submission: September 10, 2015
Paper Submission: September 18, 2015
Notification: October 21, 2015
Camera-ready: November 10, 2015
Symposium: January 18-19, 2016
Authors should submit an electronic copy of the full paper in PDF
using the Springer LNCS format. The submission will be done through
EasyChair conference system:
https://easychair.org/conferences/?conf=padl2016
All submissions must be original work written in English. Submissions
must be unpublished and not submitted for publication elsewhere. Work
that already appeared in unpublished or informally published workshops
proceedings may be submitted but the authors should notify the program
chair about the place on which it has previously appeared.
PADL 2016 will accept both technical and application papers:
* Technical papers must describe original, previously unpublished
research results. Technical papers must not exceed 15 pages (plus
one page of references) in Springer LNCS format.
* Application papers are a mechanism to present important practical
applications of declarative languages that occur in industry or
in areas of research other than Computer Science.
Application papers are expected to describe complex and/or
real-world applications that rely on an innovative use of
declarative languages. Application descriptions, engineering
solutions and real-world experiences (both positive and negative)
are solicited. The limit for application papers is 8 pages in
Springer LNCS format but such papers can also point to sites with
supplemental information about the application or the system that
they describe.
The proceedings of PADL 2016 will appear in the LNCS series of Springer
Verlag.
Contacts
========
For additional information about papers and submissions, please
contact the Program Chairs:
Marco Gavanelli and John Reppy
University of Ferrara University of Chicago
Italy USA
http://docente.unife.it/marco.gavanellihttp://people.cs.uchicago.edu/~jhr
email: padl2016(a)easychair.org
*Editorial:*Over a month has elapsed since the last issue.
Is the Weekly News turning into the Monthly News?
No.
I've been working on getting full-length articles into the News. Imagine
articles that investigate, analyze, and give the low-down on hoary issues
like cabal hell that cannot be telegrammed in a two-sentence paragraph.
But my time isn't quantum mechanical. When I do A, I can't at the same time
do B.
I know that there are fine haskellers who'd gladly write for pay. However,
HWN has never had a foundation in place for paid articles. Building that
foundation takes time.
Now that much of it is in place, let me duly announce that HWN hereby
solicits reviews, reports, criticism pieces, and personal essays.
- Flexible word count: anywhere between 250 and 750 is fine.
- Send me an outline first.
- Published articles pay at 68 bitcents, under 200 euros / dollars right
now.
- You can count on extensive editing for the requisite polish and also
to conform to 'house' style.
Interested? Email me with a subject line that starts with "[HWN pitch]"
followed by the title of your piece. In the body, outline the main points
you'll hit and explain how they engage the HWN readership.
So on with the News :
*Top picks:*
- Galois organizes this year's ICFP contest. The 72-hour countdown has
just started! After tantalizing us with whisperings of more computational
archaelogy (see 2006 ICFP contest <http://www.boundvariable.org/>)
centering on honey bees, national food security, and the Hebrew alphabet;
Portland, Oregon reveals a classic offline AI game programming challenge
<http://icfpcontest.org/spec.html>. According to redditor skatenerd
<https://www.reddit.com/r/haskell/comments/3g1n8f/this_years_icfp_contest_st…>,
"it's a lot like Tetris, except you know what pieces are coming."
- Rick Dzekman
<http://rickdzekman.com/thoughts/the-haskell-user-experience/> offers
constructive criticism based on his "poor UX (User Experience) of a great
language (Haskell)". Among the low-lying fruit he identifies: a web search
doesn't always link to the latest version on the Hackage website, something
easily fixed. Not so low-lying are Cabal, a modern IDE, and Haskell wiki
documentation. In sympathy with the sentiments are HN readers
<https://news.ycombinator.com/item?id=10008169> and /r/haskell
<https://www.reddit.com/r/haskell/comments/3ftsh0/the_haskell_user_experienc…>
.
- Christoffer Stjernlöf brings attention to how only in imperative land
does one encounter the awfulness of the same boolean expression getting
tested twice in a nested if-inside-if. He uses it to make "the case for
controlled side effects", the title of his blog post. Discussions on
/r/haskell
<http://www.reddit.com/r/haskell/comments/3fzmt6/the_case_for_controlled_sid…>
and Hacker News <https://news.ycombinator.com/item?id=10017613>.
- Alexey Shmalko introduces Haskell IO as "the command pattern"
<http://www.alexeyshmalko.com/2015/io-is-your-command-pattern/> to
object-oriented programmers. His article resists mentioning monads or
do-notation. Appreciated on /r/haskell
<http://www.reddit.com/r/haskell/comments/3fzmt6/the_case_for_controlled_sid…>
.
- The latest issue of the Functional Works monthly newsletter
<http://us10.campaign-archive2.com/?u=30f19e2c5b9f15cfb95906716&id=cee1ab0dc6>
reminds us about Chakravarty and Keller's "An Introduction to Computing
(with Haskell)", a textbook written from multiple years teaching first-year
CS. At 150 pages, the book dodges monads -- nary a single mention -- and
zooms into I/O actions. It's out-of-print but readily downloadable
<https://www.cse.unsw.edu.au/~chak/papers/#sec:books>.
- The program for this year's Haskell Symposium
<https://www.haskell.org/haskell-symposium/2015/> is out. PC chaired by
Ben Lippmeier, it's truly a smorgasbord. If you can't find a
preprint, indefatigable
redditors
<http://www.reddit.com/r/haskell/comments/3dxxj3/haskell_symposium_2015_acce…>
might just have got you covered.
- Zhenjiang Hu, John Hughes, and Meng Wang publish "How Functional
Programming Mattered"
<http://nsr.oxfordjournals.org/content/early/2015/07/13/nsr.nwv042>, a
survey of FP's impact outside its academic domain in recent years. It is
written in the mold of and complements A History of Haskell: Being Lazy
with Class (2007)
<http://research.microsoft.com/en-us/um/people/simonpj/papers/history-of-has…>.
Comprising 17.5 pages of 2-column ACM-proceedings-style 9-point text, it
houses the bibliographical treasure of 122 references, itself a
contribution to any debate over priority. /r/haskell
<https://www.reddit.com/r/haskell/comments/3f5yew/how_functional_programming…>
- Victor Maia writes a lambda calculus evaluator in javascript
<https://github.com/SrVictorMaia/optlam> that computes 200^200 mod 31
without breaking a sweat. No mean feat, since all numbers are church
numerals. How did he pull it off? His javascript implements a fragment of
Lamping's optimal algorithm, which is based on interaction nets.
(Optimality here is in the sense of Levy-optimality: keeping the number of
beta reductions down to an absolute minimum. By itself, this count is
generally an inaccurate measure of efficiency.) He wonders on
stackoverflow
<http://stackoverflow.com/questions/31707614/why-are-%CE%BB-calculus-optimal…>
why optimal evaluation has such magical superpowers. The convo at
/r/haskell
<http://www.reddit.com/r/haskell/comments/3f21wv/why_are_%CE%BBcalculus_opti…>
has yet to crack the mystery.
- Philippe Desjardins Proulx
<http://phdp.github.io/posts/2015-04-05-automated-reasoning.html> codes
and compares a basic arithmetic expression evaluator in all 5 languages of
F#, Scala, Haskell, C++, and Julia. The evaluator acts on a given tree:
Philippe doesn't touch parsing. Go, Erlang, and Elixir versions are in HN
comments <https://news.ycombinator.com/item?id=9995896>.
- Redditor gilmi starts a discussion on /r/haskell about the various FRP
systems
<https://www.reddit.com/r/haskell/comments/3fr5ij/frp_systems_discussion/>
out there and whether they're ready for real-world use. Ollie Charles
glosses classic vs arrowized systems, Doug Beardsley at Soostone testifies
that "reflex is the first thing I've used that makes building web UIs
enjoyable for me, which is very exciting", and Joseph Abrahamson channels
Conal Elliott in staking out the acronym to mean exclusively those systems
that admit continuous time.
*Quotes of the Week:*
- Andrew Cowie <https://twitter.com/afcowie/status/612764291863703552>:
The highlight of my day is "cd ~/src/haskell/stack ; git pull ; stack
install". What goodies have they landed this time?
- Cale Gibbard
<http://ircbrowse.net/browse/haskell?id=20873306×tamp=1434453345#t14344…>:
I basically never turn on IncoherentInstances because it basically means "I
don't want anything to work, and I'd like to be confused about why."
- Redditor fegu
<https://www.reddit.com/r/haskell/comments/3fqiff/dont_give_up_on_haskell/ct…>:
Haskell is like a mental drug, after a few initial hits you absolutely
crave it. You will forego lucrative .Net career moves just to keep it,
hence your long-term career will take a hit. But the days will be brighter,
more enjoyable and there is just that glimmer of hope that in the end you
will be able to practice Haskell full time in a well-paid position. I wish
I was joking.
- On ageism in the software industry
<https://news.ycombinator.com/item?id=9710936#up_9711829>: Maybe I've
been lucky, but this doesn't mesh with my experience at all. The oldest
guys at my company are the ones teaching the classes about Haskell or
Scalaz. They're the ones trying out Elixir. They're the ones building
frameworks for everyone else to build on top of. The youngest people are
banging out feature #4,501 for the website.
*Real World Haskell of the Week:*
- Fed up with the laggy Netflix UI? Check out the snappy Haskell-powered
instantwatcher.com. H/T erichmond on HN
<https://news.ycombinator.com/item?id=10013434#up_10016932>.
-- Kim-Ee
just want to know why do I have to be a root user to install haskell platform?
------------------
吕文龙 MP：18801735051
复旦大学2010级微电子学与固体电子学专业（School of Microelectronics,Fudan University）
通讯地址：上海市浦东新区蔡伦路1433弄3号楼803（Room 803 Building 3 Lane 1433 Cailun Road, Pudong District, Shanghai, China）
------------------ Original ------------------
From: "haskell-request";<haskell-request(a)haskell.org>;
Date: Wed, Aug 5, 2015 08:00 PM
To: "haskell"<haskell(a)haskell.org>;
Subject: Haskell Digest, Vol 144, Issue 4
Send Haskell mailing list submissions to
haskell(a)haskell.org
To subscribe or unsubscribe via the World Wide Web, visit
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
or, via email, send a message with subject or body 'help' to
haskell-request(a)haskell.org
You can reach the person managing the list at
haskell-owner(a)haskell.org
When replying, please edit your Subject line so it is more specific
than "Re: Contents of Haskell digest..."
Today's Topics:
1. Re: ANNOUNCE: Haskell Platform 7.10.2-a (Mark Lentczner)
----------------------------------------------------------------------
Message: 1
Date: Tue, 4 Aug 2015 13:51:36 -0700
From: Mark Lentczner <mark.lentczner(a)gmail.com>
To: haskell <haskell-cafe(a)haskell.org>,
haskell-platform(a)projects.haskell.org, haskell(a)haskell.org
Subject: Re: [Haskell] ANNOUNCE: Haskell Platform 7.10.2-a
Message-ID:
<CAAOoiFbC5moqKFCaAJ25S44auZBJbLEFwx27y8Vy40p4N29XkQ(a)mail.gmail.com>
Content-Type: text/plain; charset="utf-8"
As promised in the Haskell Platform 7.10.2 announcement, we have now
release Haskell Platform 7.10.2-a. The only changes from 7.10.2 are:
text-1.2.1.3 - to work around the issue with text literals in GHC 7.10.2
fgl-5.5.2.1 - this release changes no APIs, but fixes builds with older GHCs
Available, as always, from: https://www.haskell.org/platform/
- Mark
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell/attachments/20150804/cce27f0f/att…>
------------------------------
Subject: Digest Footer
_______________________________________________
Haskell mailing list
Haskell(a)haskell.org
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell
------------------------------
End of Haskell Digest, Vol 144, Issue 4
***************************************
As promised in the Haskell Platform 7.10.2 announcement, we have now
release Haskell Platform 7.10.2-a. The only changes from 7.10.2 are:
text-1.2.1.3 - to work around the issue with text literals in GHC 7.10.2
fgl-5.5.2.1 - this release changes no APIs, but fixes builds with older GHCs
Available, as always, from: https://www.haskell.org/platform/
- Mark
======================================================================
The 15th International Workshop on
Automated Verification of Critical Systems
1-4 September 2015, Edinburgh, UK
https://sites.google.com/site/avocs15/
avocs2015(a)easychair.org
-----------------------|*** HIGHLIGHTS ***|----------------------------
+ Registration is now open !
+ Special research ideas session: short papers due 10th August
+ Several student grants available: application due 10th August
+ Invited talks by
Colin O'Halloran (D-RisQ/Oxford)
Don Sannella (Contemplate/Edinburgh)
+ AI4FM workshop including invited talk by
J Strother Moore (Univerity of Texas at Austin)
+ Proceedings to be published by EASST
+ Special issues of Science of Computer Programming
=======================================================================
REGISTRATION
Registration for AVoCS is available from
https://sites.google.com/site/avocs15/registration
Early registration ends 18 August.
SPONSORS
Altran
D-RisQ Software Systems
Formal Methods Europe (FME)
The Scottish Informatics & Computer Science Alliance (SICSA)
BACKGROUND
The aim of Automated Verification of Critical Systems (AVoCS) 2015
is to contribute to the interaction and exchange of ideas among members
of the international research community on tools and techniques for the
verification of critical systems.
SCOPE
We encourage the submissions of research ideas in order to stimulate
discussions at the workshop. Reports on ongoing work or surveys on work
published elsewhere are welcome. The Programme Committee will select
research ideas on the basis of submitted abstracts according to significance
and general interest. The subject of the ideas is to be interpreted broadly
and inclusively. It covers all aspects of automated verification, including
model checking, theorem proving, SAT/SMT constraint solving, abstract
interpretation, and refinement pertaining to various types of critical
systems which need to meet stringent dependability requirements
(safety-critical, business-critical, performance-critical, etc.). Contributions
that describe different techniques, or industrial case studies are encouraged.
Topics include (but are not limited to):
- Model Checking
- Automatic and Interactive Theorem Proving
- SAT, SMT or Constraint Solving for Verification
- Abstract Interpretation
- Specification and Refinement
- Requirements Capture and Analysis
- Verification of Software and Hardware
- Specification and Verification of Fault Tolerance and Resilience
- Probabilistic and Real-Time Systems
- Dependable Systems
- Verified System Development
- Industrial Applications
IMPORTANT DATES
Submission of research idea papers: 10th August 2015
Submission of student grant application: 10th August 2015
Notification (research idea): 14th August 2015
Early registration: 18th August 2015
Submissions of final versions: 21st August 2015
INVITED SPEAKERS
Colin O'Halloran (D-RisQ & the University of Oxford)
Don Sannella (Contemplate & the University of Edinburgh)
WORKSHOPS
AI4FM 2015: 1 September 2015 -- www.ai4fm.org/ai4fm-2015/
including invited talk by J Strother Moore (Univerity of Texas at Austin)
VENUE
The event will be held in the International Centre for Mathematical Sciences
(ICMS) in the centre of the historic old town of Edinburgh - an UNESCO world
heritage site.
SUBMISSION DETAILS
Research ideas must be written in English and not exceed 2 pages using the
dedicated AVoCS 2015 EASST template available from the the following link
(for LaTeX and Word):
http://journal.ub.tu-berlin.de/public/template/
The presentation of these ideas will be organised around discussions, where the presenter
should also prepare a set of question in which the audience will discuss.
Submissions are handled via Easychair:
https://easychair.org/conferences/?conf=avocs2015
The research ideas will be included in the pre-proceedings, which will be available
in the form of a Heriot-Watt University Technical Report and will be available at the
workhsop.
STUDENT GRANTS
Thanks to sponsorships from Altran, FME and SICSA we can offer financial
support for a limited number of students registering for AVoCS in the form
of a registration fee waiver (full or partial). As this is limited, we
ask the students that would like to take the advantage of this support
to submit a short application. The details on how to apply is available
from AVoCS webpage.
SPECIAL SCP JOURNAL ISSUE
Authors of a selection of the best papers presented at the workshop will be
invited to submit extended versions of their work for publication in a
special issue of Elsevier's journal Science of Computer Programming.
PROGRAM COMMITTEE
Ernie Cohen, University of Pennsylvania, USA
Ewen Denney, NASA Ames, USA
Jean-Christophe Filliatre, CNRS, France
Michael Goldsmith, University of Oxford, UK
Gudmund Grov, Heriot-Watt University, UK (co-chair)
Keijo Heljanko, Aalto University, Finland
Mike Hinchey, University of Limerick, Ireland
Marieke Huisman, University of Twente, Netherlands
Andrew Ireland, Heriot-Watt University, UK (co-chair)
Gerwin Klein, NICTA/UNSW, Australia
Thierry Lecomte, ClearSy, France
Yuhui Lin, Heriot-Watt University, UK
Peter Gorm Larsen, Aarhus University, Denmark
Panagiotis (Pete) Manolios, Northeastern University, USA
Stephan Merz, INRIA Nancy & LORIA, France
Jaco van de Pol, University of Twente, Netherlands
Markus Roggenbach, Swansea University, UK
Marco Roveri, FBK, Italy
Thomas Santen, Microsoft Research, Germany
Bernard Steffen, Technical University Dortmund, Germany
Jan Strejček, Masaryk University, Czech Republic
Jun Sun, Singapore University of Technology and Design, Singapore
Tayssir Touili, LIAFA, CNRS & University Paris Diderot, France
Helen Treharne, University of Surrey, UK
Laurent Voisin, Systerel, France
Angela Wallenburg, Altran, UK
John Wickerson, Imperial College London, UK
Peter Ölveczky, University of Oslo, Norway
ORGANISERS
Gudmund Grov, Heriot-Watt University, UK
Andrew Ireland, Heriot-Watt University, UK
Yuhui Lin, Heriot-Watt University, UK (local arrangements and publicity chair)
STEERING COMMITTEE
Michael Goldsmith, University of Oxford, UK
Stephan Merz, INRIA Nancy & LORIA, France
Markus Roggenbach, Swansea University, UK
-----
We invite research leaders and ambitious early career researchers to
join us in leading and driving research in key inter-disciplinary themes.
Please see www.hw.ac.uk/researchleaders for further information and how
to apply.
Heriot-Watt University is a Scottish charity
registered under charity number SC000278.
CALL FOR PAPERS
Workshop on PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM 2016)
St. Petersburg, Florida, January 18 - 19, 2016
http://conf.researchr.org/track/POPL-2016/pepm-2016-main
The 2016 PEPM workshop will be based on a broad interpretation of
semantics-based program manipulation and continues efforts to expand the scope
of PEPM beyond the traditionally covered areas of partial evaluation and
specialization. Specifically, PEPM will 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’16 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 participants 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 program, see its web page.
All accepted papers, short papers included, will appear in formal proceedings
published by ACM Press. Accepted papers will be included in the ACM Digital
Library. Selected papers from PEPM’16 will be published in a special issue of
the journal Science of Computer Programming.
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 tool demonstration papers will be made available
on the PEPM’16 web site.
Papers should be submitted electronically via EasyChair.
easychair.org/conferences/?conf=pepm2016
Authors using LaTeX to prepare their submissions should use the new improved
SIGPLAN proceedings style. Specifically, use the sigplanconf.cls 9pt template.
Important Dates
* Abstract submission: Tue, September 8, 2015
* Paper submission: Sun, September 13, 2015 (FIRM)
* Author notification: Tue, October 20, 2015
* Camera ready copies: Fri, November 20, 2015
* Workshop: Monday, January 18 - Tuesday, January 19, 2016
Note: The paper submission deadline is firm. The above schedule is tight: We
have absolutely no time to wait for late submissions, and we will have no
deadline extension.
