Scheme '14 :: 2014 Scheme and Functional Programming Workshop

Important dates

Full papers:		~~5 Sept 2014~~
		12 Sept 2014
Notification:		10 Oct 2014
Camera-ready:		24 Oct 2014
Workshop:		19 Nov 2014
Deadlines are 23:59 (UTC-12)

Important links

~~Workshop Registration~~

~~Hotel Room Reservation~~

~~Paper submission~~ (closed)

@schemeworkshop

Scheme '14

19 November 2014
Conference Theater
Grand Hyatt Washington
1000 H Street NW
Washington, D.C.

In conjunction with Clojure/conj

Scheme '14 is the annual Scheme and Functional Programming Workshop.

News

The Scheme '14 proceedings are now available (also from the University of Indiana as CS Techreport 718)
Thanks everyone for a wonderful Scheme '14
Scheme '14 program and papers have been posted
Andy Wingo will be presenting the keynote. Andy is known, among other things, for being one of the maintainers of Guile Scheme.
John Cowan, the chair of R7RS Working Group 2, will be giving an update on their progress.

Program

Download all accepted papers: [papers.zip]

8:00	Registration
8:55	Welcome/opening remarks
Session 1 (R7 Scheming) Chair: Jason Hemann
9:00	Invited Talk: R7RS Update John Cowan Slides: [pdf]
9:30	Implementing R7RS on an R6RS Scheme system Authors: Takashi Kato Paper: [pdf]
9:55	Break
Session 2 (Scheme Implementation) Chair: Andy Keep
10:30	Code Versioning and Extremely Lazy Compilation of Scheme Authors: Baptiste Saleil and Marc Feeley Paper: [pdf]
10:55	Microscheme: Functional programming for the Arduino Authors: Ryan Suchocki and Sara Kalvala Paper: [pdf]
11:20	Structure Vectors and their Implementation Authors: Benjamin Cérat and Marc Feeley Paper: [pdf]
11:45	Lunch Break
Session 3 (Static Analysis) Chair: Paul Steckler
2:00	A Linear Encoding of Pushdown Control-Flow Analysis Authors: Steven Lyde, Thomas Gilray and Matthew Might Paper: [pdf]
2:25	Concrete and Abstract Interpretation: Better Together Authors: Maria Jenkins, Leif Andersen, Thomas Gilray and Matt Might Paper: [pdf]
2:50	Break
Session 4 (Domain-specific Languages) Chair: John Clements
3:15	Little Languages for Relational Programming Authors: Daniel Brady, Jason Hemann and Daniel P. Friedman Paper: [pdf]
3:40	Meta-Meta-Programming: Generating C++ Template Metaprograms with Racket Macros Authors: Michael Ballantyne, Chris Earl and Matthew Might Paper: [pdf]
Keynote
4:05	Keynote: What Scheme Can Learn from Javascript Andy Wingo Slides: [pdf]
After Hours Event
8:30	Programming Enthusiasts Unite for Great Justice! Mingle with Schemers and Clojurers, and talk about Lispy things! Mezzanine Lounge, Capitol City Brewing Company, 1100 New York Ave.

Topics

Submissions related to Scheme 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 requirements

Submissions must be in ACM proceedings format, 10-point type. 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 an Indiana University Technical Report.

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.

Location

Workshop Conference Theater, Grand Hyatt Washington, 1000 H Street NW, Washington, DC

After-hours event: Programming Enthusiasts Unite for Great Justice!
Mezzanine Lounge, Capitol City Brewing Company, 1100 New York Ave. NW, Washington, DC

Program Committee	Steering Committee
Michael Adams, University of Utah	Will Clinger, Northeastern University
Will Byrd, University of Utah	Marc Feeley, Université de Montréal
Stephen Chang, Northeastern University	Dan Friedman, Indiana University
John Clements, Cal Poly State University (chair)	Olin Shivers, Northeastern University
Chris Earl, University of Utah	Mitch Wand, Northeastern University
Kathy Gray, University of Cambridge
Jason Hemann, Indiana University (organizer)
Felix Klock II, Mozilla
Norman Ramsey, Tufts University
Paul Stansifer, Northeastern University
Paul Steckler, San Jose, CA
Mitch Wand, Northeastern University