- cmucl-imp - mailman3.common-lisp.net

[cmucl-imp] [Final CfPart] European Lisp Symposium, Hamburg, March 31 - April 1
by Didier Verna 09 Mar '11

09 Mar '11

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 4th European Lisp Symposium Special Focus on Parallelism & Efficiency March 31 - April 1st, 2011 TUHH, Hamburg University of Technology Hamburg, Germany http://www.european-lisp-symposium.org/ Sponsors: EPITA, TUHH, Lispworks, Franz Inc., NovaSparks and Freiheit ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ News: ~~~~~ * The final program is now online. * The early registration deadline is in 3 days, so hurry! Registration will still be possible afterwards. Invited Speakers: ~~~~~~~~~~~~~~~~~ Craig Zilles -- Compiling for the common case Marc Battyani -- Reconfigurable computing on steroids Apostolos Syropoulos -- Scala: an OO surprise Scope ~~~~~~ The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL and so on. We encourage everyone interested in Lisp to participate. The European Lisp Symposium 2011 invites high quality papers about novel research results, insights and lessons learned from practical applications, and educational perspectives. We also encourage submissions about known ideas as long as they are presented in a new setting and/or in a highly elegant way. This year's focus will be directed towards "Parallelism & Efficiency". Programme Chair ~~~~~~~~~~~~~~~~ Didier Verna - EPITA Research and Development Laboratory, France Local Chair ~~~~~~~~~~~~ Ralf Moeller - Hamburg University of Technology, Germany Programme Committee ~~~~~~~~~~~~~~~~~~~~ Antonio Leitao - Instituto Superior Tecnico/INESC-ID, Portugal Christophe Rhodes - Goldsmiths College, University of London, UK David Edgar Liebke - Relevance Inc., USA Didier Verna - EPITA Research and Development Laboratory, France Henry Lieberman - MIT Media Laboratory, USA Jay McCarthy - Brigham Young University, USA Jose Luis Ruiz Reina - Universidad de Sevilla, Spain Marco Antoniotti - Universita Milano Bicocca, Italy Manuel Serrano - INRIA, France Michael Sperber - DeinProgramm, Germany Pascal Costanza - Vrije Universiteit of Brussel, Belgium Scott McKay - ITA Software, USA -- 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

1 0

[cmucl-imp] Mar snapshot tagged
by Raymond Toy 01 Mar '11

01 Mar '11

The March snapshot has been tagged and binaries will be uploaded soon. Two major fixes are included here. Cmucl was not recognizing #\latin_small_letter_a as a valid character. This has been fixed. An issue with sse2 with constant folding SQRT has been fixed. Ray

1 0

[cmucl-imp] [CfPart] 4th European Lisp Symposium, registration open!
by Didier Verna 15 Feb '11

15 Feb '11

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 4th European Lisp Symposium Special Focus on Parallelism & Efficiency March 31 - April 1st, 2011 TUHH, Hamburg University of Technology Hamburg, Germany http://www.european-lisp-symposium.org/ Sponsored by EPITA, TUHH, Lispworks, Franz Inc., NovaSparks and Freiheit ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Registration is now open! See http://www.european-lisp-symposium.org/content-registration-full.html for details. The deadline for early registration is March 12. There is a reduced fee for students and accompanying persons. You may also subscribe to mailing lists for this year's occurrence on the registration page. Invited Speakers: ~~~~~~~~~~~~~~~~~ Craig Zilles -- Compiling for the common case Marc Battyani -- Reconfigurable computing on steroids Apostolos Syropoulos -- Scala: an OO surprise The complete program will be available shortly. Scope ~~~~~~ The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL and so on. We encourage everyone interested in Lisp to participate. Programme Chair ~~~~~~~~~~~~~~~~ Didier Verna - EPITA Research and Development Laboratory, France Local Chair ~~~~~~~~~~~~ Ralf Moeller - Hamburg University of Technology, Germany Programme Committee ~~~~~~~~~~~~~~~~~~~~ Antonio Leitao - Instituto Superior Tecnico/INESC-ID, Portugal Christophe Rhodes - Goldsmiths College, University of London, UK David Edgar Liebke - Relevance Inc., USA Didier Verna - EPITA Research and Development Laboratory, France Henry Lieberman - MIT Media Laboratory, USA Jay McCarthy - Brigham Young University, USA Jose Luis Ruiz Reina - Universidad de Sevilla, Spain Marco Antoniotti - Universita Milano Bicocca, Italy Manuel Serrano - INRIA, France Michael Sperber - DeinProgramm, Germany Pascal Costanza - Vrije Universiteit of Brussel, Belgium Scott McKay - ITA Software, USA -- 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

1 0

[cmucl-imp] Chinese New Year snapshot
by Raymond Toy 03 Feb '11

03 Feb '11

Happy Chinese New Year! It's time once again for a snapshot. The snapshot has been tagged and binaries will be uploaded soon. Just a few random bug fixes for this month. And I'm going to make a Solaris/x86 binary that includes sse2 and x87 support. Solaris/x86 will only have unicode support. Ray

1 0

[cmucl-imp] fdefns for flets
by Helmut Eller 22 Jan '11

22 Jan '11

In the December snapshot (fdefinition '(flet lisp::frob wild-pathname-p)) returns a function. Is that a feature or a bug? Helmut

2 5

[cmucl-imp] [CfP] European Lisp Symposium deadline extension
by Didier Verna 10 Jan '11

10 Jan '11

~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 4th European Lisp Symposium Special Focus on Parallelism & Efficiency March 31 - April 1st, 2011 TUHH, Hamburg University of Technology Hamburg, Germany http://www.european-lisp-symposium.org/ Sponsored by EPITA, Lispworks, Franz Inc. and Nova Sparks ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Important Dates ~~~~~~~~~~~~~~~~ + Submission Deadline: January 16, 2011 --- EXTENDED + Author Notification: February 06, 2011 + Final Paper Due: February 28, 2011 + Symposium: March 31 - April 1st, 2011 Authors of accepted research contributions will be invited to submit an extended version of their papers for journal publication. Invited Speakers: ~~~~~~~~~~~~~~~~~ Marc Battyani (Nova Sparks) Craig Zilles (University of Illinois) Scope ~~~~~~ The purpose of the European Lisp Symposium is to provide a forum for the discussion and dissemination of all aspects of design, implementation and application of any of the Lisp dialects, including Common Lisp, Scheme, Emacs Lisp, AutoLisp, ISLISP, Dylan, Clojure, ACL2, ECMAScript, Racket, SKILL and so on. We encourage everyone interested in Lisp to participate. The European Lisp Symposium 2011 invites high quality papers about novel research results, insights and lessons learned from practical applications, and educational perspectives. We also encourage submissions about known ideas as long as they are presented in a new setting and/or in a highly elegant way. This year's focus will be directed towards "Parallelism & Efficiency". We especially invite submissions in the following areas: + Parallel and distributed computing + Code generation for multi-core architectures + Code generation for HTM + Large and ultra-large systems + Optimization techniques + Embedded applications Contributions are also welcome in other areas, including but not limited to: + Context-, aspect-, domain-oriented and generative programming + Macro-, reflective-, meta- and/or rule-based development approaches + Language design and implementation + Language integration, inter-operation and deployment + Development methodologies, support and environments + Educational approaches and perspectives + Experience reports and case studies Technical Program: ~~~~~~~~~~~~~~~~~~ We invite submissions in the following forms: * Papers: Technical papers of up to 15 pages that describe original results or explain known ideas in new and elegant ways. * Demonstrations: Abstracts of up to 4 pages for demonstrations of tools, libraries, and applications. * Tutorials: Abstracts of up to 4 pages for in-depth presentations about topics of special interest for at least 90 minutes and up to 180 minutes. * Lightning talks: Abstracts of up to one page for talks to last for no more than 5 minutes. All submissions should be formatted following the ACM SIGS guidelines and include ACM classification categories and terms. 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=els2011 Programme Chair ~~~~~~~~~~~~~~~~ Didier Verna - EPITA Research and Development Laboratory, France Local Chair ~~~~~~~~~~~~ Ralf Moeller - Hamburg University of Technology, Germany Programme Committee ~~~~~~~~~~~~~~~~~~~~ Antonio Leitao - Instituto Superior Tecnico/INESC-ID, Portugal Christophe Rhodes - Goldsmiths College, University of London, UK David Edgar Liebke - Relevance Inc., USA Didier Verna - EPITA Research and Development Laboratory, France Henry Lieberman - MIT Media Laboratory, USA Jay McCarthy - Brigham Young University, USA Jose Luis Ruiz Reina - Universidad de Sevilla, Spain Marco Antoniotti - Universita Milano Bicocca, Italy Manuel Serrano - INRIA, France Michael Sperber - DeinProgramm, Germany Pascal Costanza - Vrije Universiteit of Brussel, Belgium Scott McKay - ITA Software, USA -- 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

1 0

[cmucl-imp] Fwd: Re: Fwd: Re: Frame size for local calls
by Raymond Toy 10 Jan '11

10 Jan '11

Oops. The previously attached message didn't make it. Ray -------- Original Message -------- Subject: Re: [cmucl-imp] Fwd: Re: Frame size for local calls Date: Sun, 09 Jan 2011 09:46:23 -0500 From: Rob MacLachlan <ram(a)ri.cmu.edu> To: Raymond Toy <toy.raymond(a)gmail.com> It doesn't seem that my attached message made it through to the list when you forwarded it. Here it is inline. Rob __________________________________ On 1/4/2011 9:09 AM, Helmut Eller wrote: > The comment for the ALLOCATE-FRAME vop reads: > > This is emitted directly before either a known-call-local, call-local, > or a multiple-call-local. All it does is allocate stack space for the > callee (who has the same size stack as us). > > Does that mean that all local calls in a component use the same frame > size? Isn't that wasteful? Yes, it does mean that. And it does waste some space, but not time, since it takes the same amount of time to allocate any amount of (uninitialized) storage. Unless you have a huge non-tail recursion, stack usage is likely to be in the 10's of kbytes range, which was not a big concern for me, even on a machine with 4 meg of memory. You could avoid this by generalizing the register allocator to know about frames, or by doing local call in some other way. Also, the register allocator deliberately wastes stack space by allocating stack storage in larger chunks, under the theory that this will make it more likely that the source and destination of a move can be packed in the same location, eliminating a memory-to-memory move. I think that what has proven to be the biggest adverse consequence of this stack wastage is that it makes dead pointers appear to still be in use because they were referenced by some stack slot that was allocated, but is never used by that function. Of course, this could happen even if all of the stack slots were potentially used somewhere inside the function, since they still might not happen to be live at the time of the call. Rob

2 1

[cmucl-imp] Fwd: Re: Frame size for local calls
by Raymond Toy 08 Jan '11

08 Jan '11

Forwarding on behalf of Rob. Martin, can you check the mail list to see why Rob's email was bounced? He used to be subscribed. Ray -------- Original Message -------- Subject: Re: [cmucl-imp] Frame size for local calls Date: Sat, 08 Jan 2011 13:59:42 -0500 From: Rob MacLachlan <ram(a)ri.cmu.edu> To: Raymond Toy <toy.raymond(a)gmail.com> I sent this reply (attached) a few days ago, but for some reason it doesn't like whatever sender email I'm coming in as, and bounced it to the moderator. Rob

1 0

[cmucl-imp] (eq x nil)
by Helmut Eller 08 Jan '11

08 Jan '11

The compiler transforms (null x) and (not x) to (if x t nil). We could to the same for (eq x nil). That would make a small difference in code like: (defun foo (x z) (cond (x 1) ((eq x nil) 2) (z 3))) (defun bar (x z) (cond (x 1) ((not x) 2) (z 3))) In bar, the compiler is able to remove the z test. Helmut

2 1

[cmucl-imp] Frame size for local calls
by Helmut Eller 08 Jan '11

08 Jan '11

The comment for the ALLOCATE-FRAME vop reads: This is emitted directly before either a known-call-local, call-local, or a multiple-call-local. All it does is allocate stack space for the callee (who has the same size stack as us). Does that mean that all local calls in a component use the same frame size? Isn't that wasteful? Helmut

2 1