May 2012 - Dlteam-list - mailman.iro.umontreal.ca

Rappel: Lecture de "Concepts and Experiments in Computational Reflection"
by Erick Lavoie 28 May '12

28 May '12

Rappel amical sur la lecture de Concepts and experiments in computational reflection <http://dl.acm.org/citation.cfm?id=38765.38821&coll=DL&dl=GUIDE&CFID=1044891…>. En passant, non seulement cet article a gagné le prix du meilleur papier en 1987, il a par la suite été sélectionné parmi les 3 articles les plus influents de la période 1986-2006: <http://dl.acm.org/citation.cfm?id=38765.38821&coll=DL&dl=GUIDE&CFID=1044891…>http://www.sigplan.org/award-oopsla.htm Erick

1 0

Cours de l'Universit� Cornell sur la programmation
by Vincent Foley 28 May '12

28 May '12

On parlait du sujet mercredi au meeting, je me suis dit que ça pourrait en intéresser certains. http://www.cs.cornell.edu/courses/cs3110/2012sp/lecturenotes.php Bon weekend! Vincent.

2 1

Bootstrapping a Smalltalk
by Erick Lavoie 25 May '12

25 May '12

Une équipe incluant Stéphane Ducasse a écrit l'article suivant. L'article me semble particulièrement intéressant car les auteurs tente de systématiquement identifier les approches utilisées pour bootstrapper un système Smalltalk, même si la plupart d'entre elles ne sont pas documentées. " There is a need to have a step by step process to build Smalltalk kernels from scratch. In this paper, after an analysis of past and current practices to mutate or generate kernels, we describe a kernel bootstrap process step-by-step. First the illusion of the existence of a kernel is created via stubs objects. Second the classes and meta-classes hierarchy are generated. Code is compiled and finally information needed by the virtual machine and execution are generated and installed." http://hal.inria.fr/inria-00636785/

1 0

Article: Concepts and Experiements in computational reflection
by Erick Lavoie 25 May '12

25 May '12

Salut à tous, Pour mercredi prochain, je vais vous présenter "Concepts and Experiments in computational reflection" de Pattie Maes. Cet article gagné le prix du meilleur article à OOPSLA en 1987. C'est également un article fondateur dans le domaine de la réflection. Il précède "The Art of the MetaObject Protocol" de 4 ans. http://dl.acm.org/citation.cfm?id=38821 Erick

1 0

Backends JavaScript, PHP, et Python pour Gambit
by Vincent Foley 23 May '12

23 May '12

https://github.com/feeley/gambit/tree/phpjs Pour la compilation, utilisez la commande: $ gsc -c -target js fib.scm (Remplacez 'js' par 'php' ou 'python' pour utiliser les autres backends). Les deux programmes ci-dessous sont compilables avec les 3 backends. ;; Fibonacci (declare (standard-bindings) (extended-bindings) (fixnum) (not safe) (not interrupts-enabled)) (define (fact n) (if (fx< n 2) 1 (fx* n (fact (fx- n 1))))) (print (fact 10)) ;; Factorial (declare (standard-bindings) (extended-bindings) (fixnum) (not safe) (not interrupts-enabled)) (define (fib n) (if (fx< n 2) 1 (fx+ (fib (fx- n 1)) (fib (fx- n 2))))) (print (fib 30)) Vincent.

1 0

Lunch?
by Marc Feeley 23 May '12

23 May '12

N'oubliez pas le lunch de groupe ce midi. Je ne sais pas si la cafétéria est ouverte. Si elle n'est pas ouverte, je propose d'aller à la cafétéria des HEC. Marc

2 1

Fwd: [gambit-list] Call for Papers: Implementation and Application of Functional Languages 2012
by Marc Feeley 23 May '12

23 May '12

Begin forwarded message: > From: Tom Harper <rtomharper(a)gmail.com> > Subject: [gambit-list] Call for Papers: Implementation and Application of Functional Languages 2012 > Date: 23 May, 2012 7:15:35 AM EDT > To: undisclosed-recipients:; > > ------------------------------------------------------------------------------- > > CALL FOR PAPERS > > 24th Symposium on Implementation and > Application of Functional Languages (IFL 2012) > > University of Oxford, UK, August 30-September 1, 2012 > > http://www.cs.ox.ac.uk/conferences/IFL2012/ > > This year IFL will be hosted by the University of Oxford, within the > idyllic setting of the dreaming spires and picturesque colleges, which > have been the home to academic endeavour and research for over nine > centuries. The symposium will be held between 30 August and > 1 September, 2012. > > Scope > ----- > > The goal of the IFL symposia is to bring together researchers actively > engaged in the implementation and application of functional and > function-based programming languages. IFL 2012 will be a venue for > researchers to present and discuss new ideas and concepts, work in > progress, and publication-ripe results related to the implementation > and application of functional languages and function-based > programming. > > Following the IFL tradition, IFL 2012 will use a post-symposium review > process to produce formal proceedings which will be published by > Springer Verlag in the Lecture Notes in Computer Science series. All > participants in IFL 2012 are invited to submit either a draft paper or > an extended abstract describing work to be presented at the > symposium. Work submitted to IFL must not be submitted simultaneously > to other venues; submissions must adhere to ACM SIGPLAN's > republication policy: http://www.sigplan.org/republicationpolicy.htm. > > The submissions will be screened by the program committee chair to > make sure they are within the scope of IFL, and will appear in the > draft proceedings distributed at the symposium. Submissions appearing > in the draft proceedings are not peer-reviewed publications. After the > symposium, authors will be given the opportunity to incorporate the > feedback from discussions at the symposium and will be invited to > submit a revised full article for the formal review process. From the > revised submissions, the program committee will select papers for the > formal proceedings considering their correctness, novelty, > originality, relevance, significance, and clarity. > > Topics > ------ > > IFL welcomes submissions describing practical and theoretical work as > well as submissions describing applications and tools. If you are not > sure that your work is appropriate for IFL 2012, please contact the PC > chair at ralf.hinze(a)cs.ox.ac.uk. Topics of interest include, but are > not limited to: > > language concepts > type checking > contracts > compilation techniques > staged compilation > run-time function specialization > run-time code generation > partial evaluation > (abstract) interpretation > generic programming > automatic program generation > array processing > concurrent/parallel programming > concurrent/parallel program execution > functional programming and embedded systems > functional programming and web applications > functional programming and security > novel memory management techniques > run-time profiling and performance measurements > debugging and tracing > virtual/abstract machine architectures > validation and verification of functional programs > tools and programming techniques > (industrial) applications of functional programming > > Submission details > ------------------ > > Presentation submission deadline: July 30th, 2012 > Notification of acceptance: August 1st, 2012 > Early registration deadline: August 10th, 2012 > IFL 2012 Symposium: August 30-September 1, 2012 > Submission for (post) review process: November 30th, 2012 > Notification Accept/Reject: February 4th, 2013 > Camera ready version: March 18th, 2013 > > Prospective authors are encouraged to submit papers or extended > abstracts to be published in the draft proceedings and to present them > at the symposium. All contributions must be written in English, > conform to the Springer-Verlag LNCS series format and not exceed 16 > pages. The draft proceedings will appear as a technical report of the > Department of Computer Science of the University of Oxford. > > (We are more liberal with the draft proceedings, where longer papers > or SIGPLAN 2 column 12 page papers are acceptable. For other formats > please contact the chair at ralf.hinze(a)cs.ox.ac.uk. For consideration > for the final proceedings, only the 16 page LNCS format will be > accepted.) > > Papers are to be submitted via the conference's EasyChair submission > page: > > https://www.easychair.org/conferences/?conf=ifl2012 > > Peter Landin Prize > ------------------ > > The Peter Landin Prize is awarded to the best paper presented at the > symposium every year. The honoured article is selected by the program > committee based on the submissions received for the formal review > process. The prize carries a cash award equivalent to 150 Euros. > > Programme committee > ------------------- > > Edwin Brady, University of St. Andrews, UK > Andrew Butterfield, University of Dublin, Ireland > Matthew Flatt, University of Utah, US > Andy Gill, University of Kansas, US > Stephan Herhut, Intel Labs, Santa Clara, US > Ralf Hinze (Chair), University of Oxford, UK > Zhenjiang Hu, National Institute of Informatics, Japan > Patrik Jansson, Chalmers University of Technology, Sweden > Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina > Gabriele Keller, University of New South Wales, Australia > Simon Marlow, Microsoft Research, UK > Pablo Nogueira, Technical University of Madrid, Spain > Bruno Oliveira, Seoul National University, Korea > José Nuno Oliveira, University of Minho, Portugal > Rinus Plasmeijer, Radboud University Nijmegen, Netherlands > Tom Schrijvers, Ghent University, Belgium > Tim Sheard, Portland State University, US > Wouter Swierstra, University of Utrecht, Netherlands > Peter Thiemann, University of Freiburg, Germany > Simon Thompson, University of Kent, UK > Steve Zdancewic, University of Pennsylvania, US > _______________________________________________ > Gambit-list mailing list > Gambit-list(a)iro.umontreal.ca > https://webmail.iro.umontreal.ca/mailman/listinfo/gambit-list

1 0

Rencontre et lunch
by Marc Feeley 15 May '12

15 May '12

N'oubliez pas la rencontre DLT demain 13h. Olivier nous fera une présentation sur Kali Scheme : http://dl.acm.org/citation.cfm?id=213986 D'autre part, je vous donne tous rendez-vous à la caféteria demain à midi... Marc

1 0

It's actors all the way down... and Thoughts on programming languages
by Erick Lavoie 09 May '12

09 May '12

Voici deux blogs qui pourraient être intéressants d'abord pour Olivier et potentiellement pour d'autres membres du groupe. Utilisation du modèle acteur pour réfléchir à la sémantique de langages de programmation: http://www.dalnefre.com/wp/ Réfléxion sur les langages de programmation: http://awelonblue.wordpress.com/ Erick

1 0

Thesis advice de Shivers
by Marc Feeley 09 May '12

09 May '12

Lecture intéressante pour ceux qui veulent écrire une thèse (yes, YOU!): http://www.cs.tufts.edu/~nr/students/shivers-thesis.html Je recommande d'autre part la lecture des thèses qui ont gagné le "ACM distinguished dissertation award", tel que "The connection machine" de Daniel Hillis (j'en ai passé une copie à Erick). Marc

1 0