From fare at tunes.org Sat Feb 13 19:02:52 2010 From: fare at tunes.org (Francois-Rene Rideau) Date: Sat, 13 Feb 2010 11:02:52 -0800 (PST) Subject: [boston-lisp] [REMINDER] Boston Lisp Meeting: Monday 2010-02-22 Adam Chlipala on A Sane Approach to Modern Web Application Development Message-ID: <20100213110251.494302576.fare@tunes.org> Boston Lisp Meeting: Monday 2010-02-22 Adam Chlipala on A Sane Approach to Modern Web Application Development http://fare.livejournal.com/154579.html A Boston Lisp Meeting will take place on Monday, February 22nd 2010 at 1800 at Harvard Pierce 209. Adam Chlipala will speak about A Sane Approach to Modern Web Application Development. Additionally, we will have two 5-minute Lightning Talks, each followed by 2-minute Q&A. Speakers to be announced. Note that lacking a sponsor at this point, no buffet will be offered after the meeting. 1 Adam Chlipala on A Sane Approach to Modern Web Application Development Most web applications today are programmed with tools that feel in this domain as assembly language feels in many traditional domains; everything is a string, or at best a globally-accessible (and mutable!) document tree. Some recent language designs improve the situation, including explicit handling of key entities like page generators and database tables, with language-level detection of violations of the proper protocols for using these entities. I claim we should go even further and provide opportunities for encapsulation of web application components. Just as we are used to building encapsulated data structure implementations, we should be able to encapsulate entire ``sub-webs?? of applications, possibly parametrized by additional data and code, and with the ability to ``own?? and enforce access control on cookies, subtrees of a web page's structure, etc. Further, within a statically-typed setting, it should be possible to implement (safely) the metaprogramming patterns that have become the standard in mainstream web frameworks; we should be able to generate sub-webs specialized to database schemas, choices of form fields, etc., and the compiler should tell us that the generator always produces valid code. In this talk, I will present the Ur/Web domain-specific programming language, which satisfies both of these requirements, in addition to offering compatibility with buzzwords like ``AJAX?? and ``Comet.?? Adam Chlipala is currently a postdoc in computer science at Harvard University. His research interests are in applications of advanced type systems, including mechanized theorem-proving and the design and implementation of functional programming languages. He finished his PhD at Berkeley in 2007, with a thesis on verifying compilers and program analysis tools in the Coq computer proof assistant. At Harvard, he is continuing work on compiler verification, and he led a reimplementation of the Ynot library for Coq, which adds support for the construction and mostly-automated verification of higher-order, imperative programs, via separation logic. He also has a longstanding interest in tool support for web programming, and he is now developing a commercial web site (to be made public Real Soon Now) using his Ur/Web language for safe metaprogramming of AJAX applications. 2 Lightning Talks At every meeting, before the main talk, there are two slots for strictly timed 5-minute "Lightning Talks" followed by 2 minutes for questions and answers. The slots for next meeting are still open. Step up and come talk about your pet project! Contact me at fare at tunes.org. 3 Time and Location The Lisp Meeting will take place on Monday, February 22nd 2010 at 1800 (6pm) at Harvard Pierce 209. Note that it's a new location. This is at Harvard University, in the Pierce building, part of the SEAS department. The nearest T stop is Harvard Square station on the Red Line. We suggest you enter Pierce Hall from Oxford Street. The entrance is the one on the right, and it has ``Pierce Hall?? written above it. From there, you go up the stairs one level and arrive almost directly outside Pierce 209, the meeting room. Beware that the building normally closes at 6pm (time that the meeting begins) though we'll try to leave that particular entrance open for late-comers. SEAS maps and direction: http://www.seas.harvard.edu/our-school/map-directions Many thanks go to Adam Chlipala for arranging for the room, and to Harvard University for welcoming us. 4 No Dinner We haven't been able to renew sponsorship from our usual partners for 2010, and are not planning to have after-meeting buffet anymore at this point. A group will probably form to have dinner somewhere around Harvard Square. 5 More about the Meeting The previous Boston Lisp Meeting on Monday, January 25th 2010 had about 20 participants. Ryan Culpepper spoke about PLT Scheme Macros. http:// fare.livejournal.com/tag/boston-lisp-meeting We're always looking for more speakers. The call for speakers and all the other details are at: http://fare.livejournal.com/120393.html Volunteers to give Lightning Talks are also sought. http://fare.livejournal.com/143723.html For more information, see our web site http://boston-lisp.org/ For posts related to the Boston Lisp meetings in general, follow this link: http:// fare.livejournal.com/tag/boston-lisp-meeting or subscribe to our RSS feed: http://fare.livejournal.com/data/rss?tag=boston-lisp-meeting Please forward this information to people you think would be interested. Please accept my apologies for your receiving this message multiple times. My apologies if this announce gets posted to a list where it shouldn't, or fails to get posted to a list where it should. Feedback welcome by private email reply to fare at tunes.org. From didier at lrde.epita.fr Mon Feb 15 08:33:42 2010 From: didier at lrde.epita.fr (Didier Verna) Date: Mon, 15 Feb 2010 09:33:42 +0100 Subject: [boston-lisp] [CfP] 7th European Lisp Workshop, June 21/22 2010, Maribor, Slovenia Message-ID: +------------------------------------------------------------+ | CALL FOR PAPERS | | 7th European Lisp Workshop | | June 21/22, Maribor, Slovenia - co-located with ECOOP 2010 | +------------------------------------------------------------+ Important Dates =============== Submission deadline: April 19, 2010 Notification of acceptance: May 05, 2010 ECOOP early registration deadline: May 10, 2010 7th European Lisp Workshop: June 21 or 22, 2010 (tbdl) Please note that registration must be done with ECOOP itself. For more information visit http://www.european-lisp-workshop.org Contact: Didier Verna, didier at lrde.epita.fr Invited Speaker =============== Manuel Serrano (INRIA, France) http://www-sop.inria.fr/members/Manuel.Serrano/ Overview ======== "...Please don't assume Lisp is only useful for Animation and Graphics, AI, Bio-informatics, B2B and E-Commerce, Data Mining, EDA/Semiconductor applications, Expert Systems, Finance, Intelligent Agents, Knowledge Management, Mechanical CAD, Modeling and Simulation, Natural Language, Optimization, Research, Risk Analysis, Scheduling, Telecom, and Web Authoring just because these are the only things they happened to list." -- Kent Pitman Lisp, one of the eldest computer languages still in use today, is gaining momentum again. The structure of Lisp makes it easy to extend the language or even to implement entirely new dialects without starting from scratch, making it the ideal candidate for writing Domain Specific Languages. Common Lisp, with the Common Lisp Object System (CLOS), was the first object-oriented programming language to receive an ANSI standard and remains the most complete and advanced object system of any programming language, while influencing many other object-oriented programming languages that followed. This workshop will address the near-future role of Lisp-based languages in research, industry and education. We solicit contributions that discuss the opportunities Lisp provides to capture and enhance the possibilities in software engineering. We want to promote lively discussion between researchers proposing new approaches and practitioners reporting on their experience with the strengths and limitations of current Lisp technologies. The workshop will have two components: there will be formal talks, and interactive turorial/demo/coding sessions. Papers ====== Formal presentations in the workshop should take between 20 minutes and half an hour; additional time will be given for questions and answers. Suggested topics include (but are not limited to): - Context-, aspect-, domain-oriented and generative programming - Macro-, reflective-, meta- and/or rule-based development approaches - Protocol meta-programming and libraries - New language features and abstractions - Software evolution - Development aids - Persistent systems - Dynamic optimization - Implementation techniques - Hardware Support - Efficiency, distribution and parallel programming - Educational approaches and perspectives - Experience reports and case studies Interactive Tutorial/Demo/Coding Sessions ========================================= Additionally, we invite less formal talks in the form of interactive tutorial/demo/coding sessions. The purpose of these sessions is both to demonstrate and receive feedback on any interesting Lisp system, either stable or under development. Being less formal than technical paper presentations, these sessions are expected to be highly interactive. Submission Guidelines ===================== Potential contributors are encouraged to submit: - a long paper (around 10 pages) presenting scientific and/or empirical results about Lisp-based uses or new approaches for software engineering purposes, - a short essay (5 pages) defending a position about where research, practice or education based on Lisp should be heading in the near future, - a proposal for an interactive tutorial/demo/coding session (1-2 pages) describing the involved library or application, and the subject of the session. Papers (both long and short) should be formatted following the ACM SIGS guidelines and include ACM classification categories and terms (see below). Authors will later be required to sign an ACM copyright form, as the workshop proceedings will be published in the ACM Digital Library. For more information on the submission guidelines and the ACM keywords, see: http://www.acm.org/sigs/publications/proceedings-templates http://www.acm.org/about/class/1998 Submissions should be uploaded to Easy Chair, at the following address: http://www.easychair.org/conferences/?conf=elw2010 Organizers ========== Didier Verna, EPITA Research and Development Laboratory, Paris Charlotte Herzeel, Programming Technology Lab, Vrije Universiteit, Brussel Robert Strandh, LaBRI, University of Bordeaux 1, France Christophe Rhodes, Goldsmiths College, University of London -- Resistance is futile. You will be jazzimilated. Scientific site: http://www.lrde.epita.fr/~didier Music (Jazz) site: http://www.didierverna.com EPITA/LRDE, 14-16 rue Voltaire, 94276 Le Kremlin-Bic?tre, France Tel. +33 (0)1 44 08 01 85 Fax. +33 (0)1 53 14 59 22 From fare at tunes.org Thu Feb 18 22:14:20 2010 From: fare at tunes.org (Francois-Rene Rideau) Date: Thu, 18 Feb 2010 14:14:20 -0800 (PST) Subject: [boston-lisp] Boston Lisp Meeting: Monday 2010-02-22 Adam Chlipala on A Sane Approach to Modern Web Application Development Message-ID: <20100218141419.431192179.fare@tunes.org> Boston Lisp Meeting: Monday 2010-02-22 Adam Chlipala on A Sane Approach to Modern Web Application Development http://fare.livejournal.com/154579.html A Boston Lisp Meeting will take place on Monday, February 22nd 2010 at 1800 at Harvard Pierce 209. Adam Chlipala will speak about A Sane Approach to Modern Web Application Development. Additionally, we will have two Lightning Talks. Alex Plotnick will discuss a potential error in how Common Lisp formalized backquote. Fran?ois-Ren? Rideau will present Interface-Passing Style as a way to achieve parametric polymorphism and more. Note that lacking a sponsor, buffet will no longer be offered after our meetings. 1 Adam Chlipala on A Sane Approach to Modern Web Application Development Most web applications today are programmed with tools that feel in this domain as assembly language feels in many traditional domains; everything is a string, or at best a globally-accessible (and mutable!) document tree. Some recent language designs improve the situation, including explicit handling of key entities like page generators and database tables, with language-level detection of violations of the proper protocols for using these entities. I claim we should go even further and provide opportunities for encapsulation of web application components. Just as we are used to building encapsulated data structure implementations, we should be able to encapsulate entire ``sub-webs?? of applications, possibly parametrized by additional data and code, and with the ability to ``own?? and enforce access control on cookies, subtrees of a web page's structure, etc. Further, within a statically-typed setting, it should be possible to implement (safely) the metaprogramming patterns that have become the standard in mainstream web frameworks; we should be able to generate sub-webs specialized to database schemas, choices of form fields, etc., and the compiler should tell us that the generator always produces valid code. In this talk, I will present the Ur/Web domain-specific programming language, which satisfies both of these requirements, in addition to offering compatibility with buzzwords like ``AJAX?? and ``Comet.?? Adam Chlipala is currently a postdoc in computer science at Harvard University. His research interests are in applications of advanced type systems, including mechanized theorem-proving and the design and implementation of functional programming languages. He finished his PhD at Berkeley in 2007, with a thesis on verifying compilers and program analysis tools in the Coq computer proof assistant. At Harvard, he is continuing work on compiler verification, and he led a reimplementation of the Ynot library for Coq, which adds support for the construction and mostly-automated verification of higher-order, imperative programs, via separation logic. He also has a longstanding interest in tool support for web programming, and he is now developing a commercial web site (to be made public Real Soon Now) using his Ur/Web language for safe metaprogramming of AJAX applications. 2 Lightning Talks At every meeting, before the main talk, there are two slots for strictly timed 5-minute "Lightning Talks" each followed by 2 minutes for questions and answers. Alex Plotnick will discuss his discovery of a potential error in the formal rules for the backquote syntax of Common Lisp. Fran?ois-Ren? Rideau will present Interface-Passing Style as a way to achieve parametric polymorphism and more in implementing algorithms and data-structures in Common Lisp. 3 Time and Location The Lisp Meeting will take place on Monday, February 22nd 2010 at 1800 (6pm) at Harvard Pierce 209. Note that it's a new location. This is at Harvard University, in the Pierce building, part of the SEAS department. The nearest T stop is Harvard Square station on the Red Line. We suggest you enter Pierce Hall from Oxford Street. The entrance is the one on the right, and it has ``Pierce Hall?? written above it. From there, you go up the stairs one level and arrive almost directly outside Pierce 209, the meeting room. Beware that the building normally closes at 6pm (time that the meeting begins) though we'll try to leave that particular entrance open for late-comers. SEAS maps and direction: http://www.seas.harvard.edu/our-school/map-directions Many thanks go to Adam Chlipala for arranging for the room, and to Harvard University for welcoming us. 4 No Dinner We haven't been able to renew sponsorship from our usual partners for 2010, and are not planning to have after-meeting buffet anymore at this point. A group will probably form to have dinner somewhere around Harvard Square. 5 More about the Meeting The previous Boston Lisp Meeting on Monday, January 25th 2010 had about 20 participants. Ryan Culpepper spoke about PLT Scheme Macros. http:// fare.livejournal.com/tag/boston-lisp-meeting We're always looking for more speakers. The call for speakers and all the other details are at: http://fare.livejournal.com/120393.html Volunteers to give Lightning Talks are also sought. http://fare.livejournal.com/143723.html For more information, see our web site http://boston-lisp.org/ For posts related to the Boston Lisp meetings in general, follow this link: http:// fare.livejournal.com/tag/boston-lisp-meeting or subscribe to our RSS feed: http://fare.livejournal.com/data/rss?tag=boston-lisp-meeting Please forward this information to people you think would be interested. Please accept my apologies for your receiving this message multiple times. My apologies if this announce gets posted to a list where it shouldn't, or fails to get posted to a list where it should. Feedback welcome by private email reply to fare at tunes.org.