European Lisp Symposium

- 2016, Kraków
(and online)
The conference is over!

Highlights

  • Julia - To Lisp or not to Lisp

    • photo Stefan Karpinski Stefan Karpinski (SPEAKER)

    Julia is a general purpose dynamic language, designed to make numerical computing fast and convenient. Many aspects of Julia should be quite familiar since they are "stolen" straight from Lisp: it’s expression-oriented, lexically scoped, has closures, coroutines, and macros that operate on code as data. But Julia departs from the Lisp tradition in other ways. Julia has syntax – lots of it. Macro invocations look different than function calls. Some dynamic behaviors are sacrificed to make programs easier to analyze (for both humans and compilers), especially where it allows simpler, more reliable program optimization. Julia’s most distinctive feature is its emphasis on creating lightweight types and defining their behavior in terms of generic functions. While many Lisps support multiple dispatch as an opt-in feature, in Julia all function are generic by default. Even basic operators like `+` are generic, and primitive types like `Int` and `Float64` are defined in the standard library, and their behavior is specified via multiple dispatch. A combination of aggressive method specialization, inlining and data-flow-based type inference, allow these layers of abstraction and dispatch to be eliminated when it counts – Julia generally has performance comparable to static languages. In the tradition of the great Lisp hackers, this talk will include lots of live coding in the REPL, with all the excitement, and possibility of failure entailed.

  • Lexical Closures and Complexity

    • photo Francis Sergeraert Francis Sergeraert Institut Fourier (SPEAKER)

    The power of Common Lisp for Functional_Programming is well known, the key tool being the notion of "lexical closure", allowing the programmer to write programs which, during execution, dynamically generate functional objects of arbitrary complexity. Using this technology, new algorithms in Algebraic Topology have been discovered, implemented in Common Lisp and used, producing homology and homotopy groups so far unreachable. An algorithm is viewed as "tractable" if its theoretical complexity is not worse than polynomial. The study of this complexity for the aforementioned of Algebraic Topology algorithms requires a lucid knowledge of the concrete implementation of these lexical closures. This talk is devoted to a report about a result of polynomial complexity so obtained. The scope of the method is general and in particular no knowledge in Algebraic Topology is expected from the audience.

Location

photo Dept. of Computer Science, AGH University of Science and Technology http://www.agh.edu.pl/en (CONFERENCE) Kawiory 21 30-055 Kraków Poland

Hotels

Organization

Programme Chair

  • photo Irène Durand Irène Durand LaBRI, University of Bordeaux (PROGRAMME-CHAIR) France

Organizing Chair

Local Chair

  • photo Michał Psota Michał Psota Emergent Network Defense (LOCAL-CHAIR) Kraków Poland

Committee

  • photo Antonio Leitao Antonio Leitao INESC-ID / Instituto Superior Técnico, Universidade de Lisboa (COMMITTEE) Portugal
  • photo Charlotte Herzeel Charlotte Herzeel IMEC (COMMITTEE) Leuven Belgium
  • photo Christian Queinnec Christian Queinnec University Pierre et Marie Curie (COMMITTEE) Paris 6 France
  • photo Christophe Rhodes Christophe Rhodes Goldsmiths, University of London (COMMITTEE) UK
  • photo Didier Verna Didier Verna https://www.didierverna.info EPITA / LRE (ORGANIZING-CHAIR COMMITTEE SPEAKER) France
  • photo Erick Gallesio Erick Gallesio University of Nice-Sophia Antipolis (COMMITTEE) France
  • photo François-René Rideau François-René Rideau Google (COMMITTEE SPEAKER) USA
  • photo Giuseppe Attardi Giuseppe Attardi University of Pisa (COMMITTEE) Italy
  • photo Kent Pitman Kent Pitman HyperMeta Inc. (COMMITTEE) USA
  • photo Leonie Dreschler-Fischer Leonie Dreschler-Fischer University of Hamburg (COMMITTEE SPEAKER) Germany
  • photo Pascal Constanza Pascal Constanza Intel Corporation (COMMITTEE) Belgium
  • photo Robert Strandh Robert Strandh University of Bordeaux (COMMITTEE SPEAKER) France

Programme

Times are local to the conference. You can download the programme in iCalendar format here.

  1. May 8th

  2. Welcome reception, pre-registration

  3. May 9th

  4. Registration

  5. Welcome Message

  6. Lexical Closures and Complexity

    • Francis Sergeraert

  7. Coffee

  8. Refactoring Dynamic Languages

    • Rafael Reia
    • António Leitão

  9. Type-Checking of Heterogeneous Sequences in Common Lisp

    • Jim Newton
    • Akim Demaille
    • Didier Verna

  10. A CLOS Protocol for Editor Buffers

    • Robert Strandh

  11. Lunch

  12. Using Lisp Macro-Facilities for Transferable Statistical Tests

    • Kay Hamacher

  13. A High-Performance Image Processing DSL for Heterogeneous Architectures

    • Kai Selgrad
    • Alexander Lier
    • Jan Dörntlein
    • Oliver Reiche
    • Marc Stamminger

  14. Coffee

  15. Distributed High Performance Computing in Common Lisp

    • Marco Heisig
    • Nicolas Neuss

  16. Fast Interactive Functional Computer Vision with Racket

    • Benjamin Seppke
    • Leonie Dreschler-Fischer

  17. Accessing local variables during debugging

    • Michael Raskin
    • Nikita Mamardashvili

  18. Lightning Talks

  20. May 10th

  21. Julia - To Lisp or not to Lisp

    • Stefan Karpinski

  22. Coffee

  23. A modern implementation of the LOOP macro

    • Robert Strandh

  24. Source-to-Source Compilation via Submodules

    • Tero Hasu
    • Matthew Flatt

  25. Extending Software Transactional Memory in Clojure with Side-Effects and Transaction Control

    • Søren Jensen
    • Lone Thomsen

  26. Lunch

  27. CANDO: A Compiled Programming Language for Computer-Aided Nanomaterial Design and Optimization Based on Clasp Common Lisp

    • Christian Schafmeister

  28. A Case Study in Implementation-Space Exploration

    • Alexander Lier
    • Linus Franke
    • Marc Stamminger
    • Kai Selgrad

  29. Coffee

  30. An Inferred System Description Facility

    • James Anderson

  31. Building Common Lisp programs using Bazel

    • James Knight
    • François-René Rideau
    • Andrzej Walczak

  32. Lightning Talks

  33. Conference End

  35. Conference Dinner

Proceedings

You can find the proceedings in PDF form here:

../static/proceedings/2016.pdf

Please wait...