Program

9:00 AM - 10:00 AM Opening & Keynote

Olin Shivers (Northeastern University) 10:00 AM - 10:30 AM Coffee Break 10:30 AM - 10:55 AM R7RS Considered Unifier of Previous Standards

William D Clinger (Northeastern University) 10:55 AM - 11:20 AM A Framework for Extending microKanren with Constraints

Jason Hemann (Indiana University) and Daniel P. Friedman (Indiana University) 11:20 AM - 11:40 AM Break 11:40 AM - 12:05 PM State Exploration Choices in a Small-Step Abstract Interpreter

Steven Lyde (University of Utah) and Matthew Might (University of Utah) 12:05 PM - 12:30 PM Type Check Removal Using Lazy Interprocedural Code Versioning

Baptiste Saleil (Université de Montréal) and Marc Feeley (Université de Montréal) 12:30 PM - 2:00 PM Lunch 2:00 PM - 2:45 PM Report on the Revised7 Report on the Algorithmic Language Scheme

William D Clinger (Northeastern University) 2:45 PM - 3:00 PM Break 3:00 PM - 4:00 PM Beyond Hygienic Macros

Ryan Culpepper (Northeastern University) 4:00 PM - 4:30 PM Tea Break 4:30 PM - 4:45 PM Beyond Hygienic Macros (continued)

Ryan Culpepper (Northeastern University) 4:45 PM - 6:00 PM Interpreting Scheme procedures as logic programs using miniKanren

Will Byrd (University of Utah) and Michael Ballantyne (University of Utah)

Accepted Papers

R7RS Considered Unifier of Previous Standards William D Clinger (Northeastern University) State Exploration Choices in a Small-Step Abstract Interpreter Steven Lyde (University of Utah) and Matthew Might (University of Utah) A Framework for Extending microKanren with Constraints Jason Hemann (Indiana University) and Daniel P. Friedman (Indiana University) Type Check Removal Using Lazy Interprocedural Code Versioning Baptiste Saleil (Université de Montréal) and Marc Feeley (Université de Montréal)

We will also have invited distilled tutorials on:

Beyond Hygienic Macros Ryan Culpepper (Northeastern University) Interpreting Scheme procedures as logic programs using miniKanren Will Byrd (University of Utah) and Michael Ballantyne (University of Utah)

Along with a report on the Revised 7 Report on the Algorithmic Language Scheme by William D Clinger (Northeastern University)

Topics

Submissions related to Scheme, Racket, Clojure, and functional programming are welcome and encouraged. Topics of interest include but are not limited to:

Program-development environments, debugging, testing

Implementation (interpreters, compilers, tools, benchmarks, etc.)

Syntax, macros, hygiene

Distributed computing, concurrency, parallelism

Interoperability with other languages, FFIs

Continuations, modules, object systems, types

Theory, formal semantics, correctness

History, evolution and standardization of Scheme

Applications, experience and industrial uses of Scheme

Education

Scheme pearls (elegant, instructive uses of Scheme)

We also welcome submissions related to dynamic or multiparadigmatic languages and programming techniques.

Submission Information

Submissions must be in ACM proceedings format, no smaller than 9-point type (10-point type preferred). Microsoft Word and LaTeX templates for this format are available at:

http://www.acm.org/sigs/sigplan/authorInformation.htm

Submissions should be in PDF and printable on US Letter.

To encourage authors to submit their best work, this year we are encouraging shorter papers (around 6 pages, excluding references). This is to allow authors to submit longer, revised versions of their papers to archival conferences or journals. Longer papers (10—12 pages) are also acceptable, if the extra space is needed. There is no maximum length limit on submissions, but good submissions will likely be in the range of 6 to 12 pages.

Proceedings will be printed as a University Technical Report and posted on this website ahead of the workshop.

Publication of a paper at this workshop is not intended to replace conference or journal publication, and does not preclude re-publication of a more complete or finished version of the paper at some later conference or in a journal.