2009-01-29

CfP: Scheme Workshop 2009!


SCHEME AND FUNCTIONAL PROGRAMMING WORKSHOP 2009

Cambridge, Massachusetts

August 22, 2009

call for papers

http://www.schemeworkshop.org/2009/


The Scheme and Functional Programming Workshop showcases research and experience related to Scheme, and more broadly to all aspects of functional programming.

Areas of interest include:

  • Language Design, Type Systems, Theory
  • Program Development Environments, Education
  • Agile Methodologies, Lightweight Software Engineering
  • Applications, Implementation, and Experience
  • SRFIs!

In addition to technical papers on matters of programming-language research, we encourage submissions that present experience or innovation with a particular project. The key criterion for any paper--technical or not--is that it makes a contribution from which other practitioners can benefit.

Dates:

Dates are firm, and will not be extended. Please plan accordingly.

  • Submission Deadline: June 5, 2009 (FIRM)
  • Author Notification: June 26, 2009
  • Final Papers Due: July 24, 2009
  • Workshop: August 22, 2009

Program Committee:

  • John Clements, Cal Poly State University (organizer & chair)
  • Dominique Boucher, Nu Echo
  • Abdulaziz Ghuloum, Indiana University
  • David Herman, Northeastern University
  • Shriram Krishnamurthi, Brown University
  • Matthew Might, University of Utah
  • David Van Horn, Northeastern University

Publication Policy:

Submitted papers must have content that has not previously been published in other conferences or refereed venues, and simultaneous submission to other conferences or refereed venues is unacceptable.

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.

Submission Instructions:

Your submissions should be no longer than 12 pages, including bibliography and appendices. Papers may be shorter than this limit, and the Program Committee encourages authors to submit shorter papers where appropriate.

The conference web page (URL above) contains detailed formatting instructions and LaTeX support files.

Submit your papers using the Continue 2.0 submission server, at the URL:

http://continue2.cs.brown.edu/scheme2009/

We look forward to reading your papers!

2009-01-21

PLT Scheme version 4.1.4 is now available from

  http://plt-scheme.org/
  • New libraries include `scheme/package' (for nestable static modules) and `ffi/objc' (support for Objective-C).
  • New teaching support includes a "universe.ss" teachpack for connecting "worlds" over a network.
  • Redex now supports automatic test-case generation. Specify a predicate that should hold of your reduction system, and Redex will attempt to falsify it. See 'redex-check' in the manual for more details.
  • Improvements to the run-time system include better and more reliable memory-limit tracking, function contracts that preserve tail recursion in many cases, native debugging backtraces on x86_64, and performance improvements.
  • Improved libraries include enhancements to `scheme/sandbox', better handling of zero-sized matches by `regexp-split' and friends, an `equal<%>' interface for specifying equality on class instances (and more general support for attaching properties to interfaces), equality (via `equal<%>') for image objects, and refinements to `scheme/foreign' to support atomic operations and function-pointer conversions.
[Note that mirror sites can take a while to catch up with the new downloads.] Feedback Welcome.