About Lectures Research Software Blog
Musical Site

Moods Blog

Dojo Shin Kaï

RSS Feed
Thank you!

XHTML 1.0 conformant
CSS 2.0 conformant
Didier Verna's scientific blog: Lisp, Emacs, LaTeX and random stuff.


Entries feed - Comments feed

Tuesday, May 19 2015

DSL 2015 Call for Papers

                        C A L L   F O R   P A P E R S

                        ======== DLS 2015 ===========
                   11th Dynamic Languages Symposium 2015
                               October, 2015
                   Pittsburgh, Pennsylvania, United States

                        Co-located with SPLASH 2015
                      In association with ACM SIGPLAN

The 11th Dynamic Languages Symposium (DLS) at SPLASH 2015 is the
premier forum for researchers and practitioners to share knowledge and
research on dynamic languages, their implementation, and
applications. The influence of dynamic languages -- from Lisp to
Smalltalk to Python to Javascript -- on real-world practice and
research continues to grow.

DLS 2015 invites high quality papers reporting original research,
innovative contributions, or experience related to dynamic languages,
their implementation, and applications. Accepted papers will be
published in the ACM Digital Library, and freely available for 2 weeks
before and after the event itself.  Areas of interest include but are
not limited to:

    Innovative language features and implementation techniques
    Development and platform support, tools
    Interesting applications
    Domain-oriented programming
    Very late binding, dynamic composition, and run-time adaptation
    Reflection and meta-programming
    Software evolution
    Language symbiosis and multi-paradigm languages
    Dynamic optimization
    Hardware support
    Experience reports and case studies
    Educational approaches and perspectives
    Semantics of dynamic languages

== Invited Speaker ==

DLS is pleased to announce a talk by the following invited speaker:

  Eelco Visser: Declare your Language.

== Submissions and proceedings ==

Submissions should not have been published previously nor under review
at other events. Research papers should describe work that advances
the current state of the art. Experience papers should be of broad
interest and should describe insights gained from substantive
practical applications. The program committee will evaluate each
contributed paper based on its relevance, significance, clarity,
length, and originality.

Papers are to be submitted electronically at
http://www.easychair.org/conferences?conf=dls15 in PDF
format. Submissions must be in the ACM format (see
http://www.sigplan.org/authorInformation.htm) and not exceed 12
pages. Authors are reminded that brevity is a virtue.

DLS 2015 will run a two-phase reviewing process to help authors make
their final papers the best that they can be. After the first round of
reviews, papers will be rejected, conditionally accepted, or
unconditionally accepted. Conditionally accepted papers will be given
a list of issues raised by reviewers. Authors will then submit a
revised version of the paper with a cover letter explaining how they
have or why they have not addressed these issues. The reviewers will
then consider the cover letter and revised paper and recommend final
acceptance or rejection.

Accepted papers will be published in the ACM Digital Library.
Important dates

    Abstract Submissions: Sun 7 Jun 2015
    Full Submissions: Sun 15 Jun 2015
    First phase notification: Mon 27 Jul 
    Revisions due: Mon 3 Aug
    Final notification: Mon 17 Aug
    Camera ready: Fri 21 21 Aug

Program chair

    Manuel Serrano, Inria Sophia-Antipolis,

Program committee

    Carl Friedrich Bolz, DE
    William R. Cook, UTexas, USA
    Jonathan Edwards, MIT, USA
    John Field, Google, USA
    Matt Flatt, USA
    Elisa Gonzalez Boix, Vrije Universiteit, BE
    Robert Hirschfeld, Hasso-Plattner-Institut Potsdam, DE
    Benjamin Livshits, Microsoft, USA
    Crista Lopes, UC Irvine, USA
    Kevin Millikin, Google, DN
    James Noble, Victoria University of Wellington, NZ
    Manuel Serrano, Inria, FR (General chair)
    Didier Verna, EPITA, FR
    Jan Vitek, Purdue, USA
    Joe Politz, Brown University, USA
    Olivier Tardieu, IBM, USA

Tuesday, November 12 2013

JBBE: Fake Academic Journal, the Next Generation

If you work in the academy, you are surely already getting a lot of spam from fake conferences asking for papers, PC participation etc. You also know that several years ago, a new form of harassment appeared: fake academic journals. There seems to be more and more of those everyday.

Sometimes, they're a bit hard to spot, especially if their focus seems to be in accordance with your activities. A hint is that you've never heard of them before, though. And sometimes, they're not hard to spot... at all. Meet the stupidest fake academic journal ever: the Journal of Bioinformatics and Biological Engineering.

Here's what I recieved yesterday:

We recently noticed your outstanding paper “Lisp: Report on the 5th workshop ELW at ECOOP 2008” and it well suits the focus and scope of Journal of Bioinformatics and Biological Engineering(JBBE). Considering that we share the same interests in Bioinformatics and Biological Engineering, we are now sending this message to you and sincerely invite you to share your new research or updated results in JBBE.

So, here are a couple of remarks:

  1. It's cool that you have noticed this paper "recently", although it's almost 6 years old now.
  2. The paper in question is actually not a paper. It's a conference proceedings for which I was programme chair, so basically, I wrote only the cover in it.
  3. Finally, there is nothing related to Biology in there. It's about a dynamic programming language.

Well done, guys. You almost got me! Ah, one more thing: I do have some interest in Computer Science and Biology, and I even wrote two papers in this area. Apparently, you failed to spot them, though...

Here's the end of the message:

Please kindly forward this email to your colleagues and students. We shall be greatly appreciated to hear from you at any time.

No, I won't forward this email to my colleagues. And no, you shan't be "greatly appreciated" to hear from me at any time!

Monday, September 23 2013

Keynote at ACCU 2014

I am thrilled to announce that I will be a keynote speaker at the next ACCU conference. The abstract of my keynote is given below. Looking forward to see you there!

Biological Realms in Computer Science

In biology, evolution is usually seen as a tinkering process, different from what an engineer does when he plans the development of his systems. Recently, studies have shown that even in biology, there is a part of good engineering. As computer scientists, we have much more difficulty to admit that there is also a great deal of tinkering in what we do, and that our software systems behave more and more like biological realms every day.

This keynote will take you to a journey through the bonds between biology and computer science. Starting with an epistemological and historical view, we will see how these bonds developed over the years, but we will also ask ourselves whether these bonds were intentionally created, or whether they already existed, before we even found them. We will also meet the Engineer and the Tinkerer, and see that they are not necessarily different persons. Finally, through such notions as Determinism, Predictability and Control, we will envision and explain a possible future for our software systems seen as living organisms; a future that's in fact already here, but that we are reluctant to accept.

Tuesday, May 14 2013

So long, TweetDeck

In a recent blog full of marketting crap, Twitter announced that they are dropping all versions of TweetDeck except for the web-based app, and that they are also dropping support for Facebook integration. Well, that's too bad because these were the only two things that made me use it.

The annoucement starts like this:

To continue to offer a great product that addresses your unique needs ...

Yeah, right. Great product? Not so much. For starters, it would have been really great if it had gotten support for Google Plus at some point. Something that many of us were desperately hoping for.

As for my "unique needs", thank you very much but you don't know squat about them obviously, and besides, they're not even "unique". Again, for many of us, what were the 2 crucial features of TweetDeck, compared to the other alternatives?

  1. Social net aggregation (including Twitter and Facebook) plus sorting and filtering facilities; something that many other tools (such as HootSuite) do,
  2. Social net merging, something that to the best of my knowledge, no other tool does.

This second feature was absolutely crucial to me. The ability to have the "Home" column displaying all social feeds all at once, all in one place. The "Interactions" column displaying a merge of all my interactions on both Facebook and Twitter all at once, all in one place. Boy, did I wish Google Plus was there as well. And now this is all gone.

So I guess I'm back to the stone age now. One freaking web page for every social net. Or I could finally switch to HootSuite, with its so ugly and so much bloated interface. Correct me if I'm wrong, but I don't think HootSuite does social merging (is there a tool left that does it now?). But at least, it has some partial support for Google Plus (only pages; let's hope that this will change soon).

The annoucement starts like this:

From the whole TweetDeck team, we’re excited about what the future holds. We hope you are too.

Well, you know, not so much, really.

So long, TweetDeck, and thanks for your help until today.

Hint: the next social net killer app will need to do social merging, sorting and filtering, with at least Twitter, Facebook and Google Plus. Now, to your keyboards, you geeks.

Sunday, March 24 2013

COP'13 - 5th international workshop on context-oriented programming

			   Call for Papers

     Fifth International Workshop on Context-Oriented Programming
      Worokshop in conjunction with ECOOP, ECMFA, and ECSA 2013
		 Montpellier, France, July 2nd, 2013



Context information plays an increasingly important role in our
information-centric world. Software systems must adapt to changing
contexts over time, and must change even while they are
running. Unfortunately, mainstream programming languages and
development environments do not support this kind of dynamic change
very well, leading developers to implement complex designs to
anticipate various dimensions of variability. Starting from this
observation, Context-Oriented Programming (COP) has emerged as a
solution to directly support variability depending on a wide range of
dynamic attributes, making it possible to dispatch run-time behaviour
on any property of the execution context.

The goal of the 5th International Workshop on Context-Oriented
Programming (COP’13) is to further establish context orientation as a
common thread to language design, application development, and system
support. Several researchers are working on Context-Oriented
Programming and related ideas, and implementations ranging from
prototypes to mature platform extensions used in commercial
deployments have illustrated how multi-dimensional dispatch can indeed
be supported effectively to achieve expressive run-time behavioural

Topics of interest include but are not limited to:

- Interesting application domains and scenarios
- Programming language abstractions for context-oriented programming
  (e.g. dynamic scoping, roles, traits, prototype-based extensions)
- Theoretical foundations for context-oriented programming (e.g.,
  semantics, type systems)
- Configuration languages (e.g. feature description interpreters,
  transformational approaches)
- Interaction between non-functional programming concerns and
  context-oriented programming (e.g. security, persistence,
  concurrency, distribution)
- Modularization approaches for context-oriented programming
  (e.g. aspects, modules, layers, plugins)
- Guidelines to include context-oriented programming in programs
  (e.g. best practices, patterns)
- Runtime support for context-oriented programming (e.g. reflection,
  dynamic binding)
- Tool support

Important dates

 * Paper submission:   April 19, 2013
 * Notification:       May 8, 2013
 * Final papers due:   May 22, 2013 (to be confirmed)
 * Early registration: May 31, 2013

Submission guidelines

COP invites submissions of high-quality papers reporting original
research, or describing innovative contributions to, or experience
with context-oriented programming, its implementation, and
application. Papers that depart significantly from established ideas
and practices are particularly welcome.  Submissions must not have
been published previously and must not be under review for any another
refereed event or publication. The program committee will evaluate
each contributed paper based on its relevance, significance, clarity,
and originality.  

It is planned to publish accepted papers in the ACM Digital Library,
unless the authors choose not to. In case of publication in the ACM
Digital Library, authors must transfer copyright to ACM upon
acceptance (for government work, to the extent transferable), but
retain various rights (see ACM Copyright Policy. Authors are
encouraged to publish auxiliary material with their paper (source
code, test data, etc.); they retain copyright of auxiliary material.

Papers should be submitted electronically via EasyChair (URL TBA) in
PDF format.  Submissions must be written in English (the official
language of the workshop) and must not exceed 6 pages. They should use
the ACM SIGPLAN 10 point format, templates for which are available at

Program Committee

  Tomoyuki Aotani, Japan Advanced Institute of Science and Technology, Japan
  Pascal Costanza, Intel, USA
  Carl Friedrich Bolz, Heinrich-Heine-Universität Düsseldorf, Germany
  Sebastián González, UCLouvain, Belgium
  Atsushi Igarashi (Chair), Kyoto University, Japan
  David Lorenz, Open University of Israel, Israel
  Didier Verna, EPITA Research and Development Laboratory (LRDE), France

Organising committee

  Malte Appeltauer, SAP Innovation Center, Germany
  Sebastián González, UCLouvain, Belgium
  Robert Hirschfeld, Hasso-Plattner-Institut, Germany
  Atsushi Igarashi, Kyoto University, Japan (primary contact)
  Hidehiko Masuhara, University of Tokyo, Japan

More information

See the workshop website at 

Tuesday, February 26 2013

Dyla'13, 7th Workshop on Dynamic Languages and Applications

Dyla'13, 7th Workshop on Dynamic Languages and Applications
Colocated with ECOOP, ECMFA and ECSA
1–5 July, Montpellier, France


!! Important dates

- Submission deadline:  April 19th
- Notification: mid-May
- Workshop: July 1st
- Ecoop early registration: mid-May

!! Abstract

The advent of Java and C# has been a major breakthrough in the adoption of
some important object-oriented language characteristics. This breakthrough
turned academic features like interfaces, garbage collection, and
meta-programming into technologies generally accepted by
industry. Nevertheless, the massive adoption of these languages now also gives
rise to a growing awareness of their limitations. A number of reactions from
industry testify this: invokedynamic bytecode instruction has been included in
latest Java virtual machine release; the dynamic language runtime (DLR) is
gaining popularity; C# adopted dynamic as a valid static type. Gartner
prognoses further growth (http://blogs.gartner.com/mark_driver/2008/12/10) of
dynamic languages.

Researchers and practitioners struggle with static type systems, overly
complex abstract grammars, simplistic concurrency mechanisms, limited
reflection capabilities, and the absence of higher-order language constructs
such as delegation, closures and continuations. Dynamic languages such as
Ruby, Python, JavaScript and Lua are a step forward in addressing these
problems while getting more and more popular. Making these languages
mainstream requires practitioners to look back and pick mechanisms up in
existing dynamic languages such as Lisp, Scheme, Smalltalk and
Self. Practitioners also need to further explore discover new dynamic
approaches in the context of new challenging fields such as pervasive

The goal of this workshop is to act as a forum where practitioners can discuss
new advances in the design, implementation and application of dynamically
typed languages that, sometimes radically, diverge from the statically typed
class-based mainstream. Another objective is to discuss new as well as older
"forgotten" languages and features in this context. Topics of interest
include, but are not limited to:

- programming language extensions
- programming environment extensions
- executing environments
- static and dynamic analyses
- optional type-checking
- meta-object protocols
- reserve engineering
- domain-specific languages/tooling
- testing environments
- live programming

!! Targeted audience

The expected audience of this workshop is practitioners and researchers
sharing the same interest in dynamically typed languages. Lua, Python, Ruby,
Scheme and Smalltalk are gaining a significant popularity both in industry and
academia. Nevertheless, each community has the tendency to only look at what
it produces. Broadening the scope of each community is the goal of the
workshop. To achieve this goal we will form a PC with leading persons from all
languages mentioned above, fostering participation from all targeted

!! Workshop Format and Submission Information

The workshop will have a demo-oriented style. The idea is to allow
participants to demonstrate new and interesting features and discuss what they
feel is relevant for the dynamic-language community. To participate to the
workshop, you can either

- submit (before __April 19th 2013__) an article (ACM Tighter Alternate style
http://www.acm.org/sigs/publications/proceedings-templates) describing your
presentation and/or tool. Articles whose length ranges from 2 to 15 pages will
be carefully reviewed by a program committee including but not limited to the
organizers. Each accepted paper will be presented for 20 to 30 minutes and be
published to the ACM Digital Library (at the option of each author) and the
workshop's web site. The submission website is

- or give a 10-minute lightning demo of your work. A dedicated session will be
allocated for this, provided there is ample time available.

A session on pair programming is also planned. People will then get a chance
to share their technologies by interacting with other participants.

!! Program committee

- Carl Friedrich Bolz, Heinrich-Heine-Universität Düsseldorf, Germany
- Camillo Bruni, Inria Lille-Nord Europe, France
- Adrian Kuhn, University of British Columbia, Canada
- Lukas Renggli, Google, Switzerland (http://www.lukas-renggli.ch/)
- Juan Pablo Sandoval Alcocer, University of Chile
- Bastian Steinert, Hasso-Plattner-Institute, Germany
- Veronica Uquillas Gomez, Vrije Universiteit Brussel, Belgium
- Simon Urli, University of Nice-Sophia Antipolis, France
- Didier Verna, EPITA Research and Development Laboratory, France
- the 4 workshop organizers

!! Workshop Organizers

- Alexandre Bergel (http://bergel.eu)
- Damien Cassou (http://damiencassou.seasidehosting.st)
- Jorge Ressia (http://www.jorgeressia.com)
- Serge Stinckwich (http://www.doesnotunderstand.org)

!! News feed

Follow us on twitter: http://twitter.com/dyla2013
For further information: http://rmod.lille.inria.fr/web/pier/Events/Dyla13

Tuesday, May 22 2012

Call for Papers: ACM SAC'13 PL: ACM Symposium on Applied Computing, Programming Languages track


Technical Track on "Programming Languages"
March 18-22, 2013
Coimbra, Portugal

SAC '13
Over the past 27 years, the ACM Symposium on Applied Computing has become a
primary forum for applied computer scientists,
computer engineers, software engineers, and application developers from around
the world to interact and present their work.
SAC 2013 is sponsored by the ACM Special Interest Group on Applied Computing
(SIGAPP). For additional information, please
check the SAC web page: http://www.acm.org/conferences/sac/sac2013/. This
document is also available at:


A technical track on Programming Languages will be held at SAC'13. It will be
a forum for engineers, researchers and practitioners throughout the world to
share technical ideas and experiences relating to implementation and
application of programming languages. Original papers and experience reports
are invited in all areas of programming languages. Major topics of interest
include but are not limited to the following:
− Compiling Techniques,
− Domain-Specific Languages,
− Formal Semantics and Syntax,
− Garbage Collection,
− Language Design and Implementation,
− Languages for Modeling,
− Model-Driven Development and Model Transformation,
− New Programming Language Ideas and Concepts,
− New Programming Paradigms,
− Practical Experiences with Programming Languages,
− Program Analysis and Verification,
− Program Generation and Transformation,
− Programming Languages from All Paradigms (Agent-Oriented, Aspect-Oriented,
Functional, Logic, Object-Oriented, etc.),
− Visual Programming Languages.


Paper submissions must be original, unpublished work. Submissions should be in
electronic format, via the START site:
Author(s) name(s) and address(es) must not appear in the body of the paper,
and self-reference should be avoided and made
in the third person. Submitted papers will undergo a blind review process. 
Authors of accepted papers should submit an
editorial revision of their papers that fits within six two-column pages (an
extra two pages, to a total of eight pages,
may be available at a charge). Please comply with this page limitation already
at submission time. For accepted papers,
registration for the conference is required and allows accepted papers to be
printed in the conference proceedings.
For each accepted paper, an author or a proxy attending SAC MUST present the
paper. This is a requirement for the paper
to be included in the ACM/IEEE digital library. A set of selected papers,
which did not get accepted as full papers,
will be accepted as poster papers and will be published as extended 2-page
abstracts in the symposium proceedings.
After the conference, selected accepted papers will be invited to a special
issue of the Computer Languages, Systems and
Structures journal

September 21, 2012: Full Paper Submissions
November 10, 2012: Author Notification
November 30, 2012: Camera-Ready Copy

The SAC 2013 Programming Language Track Program Committee Members
Vasco Amaral, Universidade Nova de Lisboa, Portugal
Roberto da Silva Bigonha, Universidade Federal de Minas Gerais, Brasil
Haiming Chen, Chinese Academy of Sciences, China
Johan Fabry, University of Chile, Chile
Sebastian Guenter, Vrije Universiteit Brussel, Belgium
Gopal Gupta, University of Texas at Dallas, USA
Christian Haack, University of Nijmegen, The Netherlands
Christian Hammer, Saarland University, Germany
Matthias Hauswirth, University of Lugano, Switzerland
Pedro Henriques, University of Minho, Portugal
Michael Hind, IBM, USA
Nigel Horspool, University of Victoria, Canada
Zoltan Horvath, Eotvos Lorand University, Hungary
Bo Huang, Intel, China
Geylani Kardas, Ege University, Turkey
Shih Hsi "Alex" Liu, California State University, Fresno, USA
Hanspeter Moessenboeck, Johannes Kepler Universitat Linz, Austria
Jesús García Molina, University of Murcia, Spain
Nikolaos Papaspyrou, National Technical University of Athens, Greece
Corneliu Popeea, Technical University of Munich, Germany
Andre Santos, Universidade Federal de Pernambuco, Brazil
Bostjan Slivnik, University of Ljubljana, Slovenia
Didier Verna, EPITA, France
Wuu Yang, National Chiao-Tung University, Taiwan
Youtao Zhang, University of Pittsburgh, USA

Track Chairs
Marjan Mernik, University of Maribor, Slovenia, marjan.mernik@uni-mb.si
Barrett Bryant, University of North Texas, USA, Barrett.Bryant@unt.edu

Tuesday, January 31 2012

JSPP: Morphing C++ into JavaScript

I'm happy to announce the publication of a new technical report entitled JSPP: Morphing C++ into JavaScript. The abstract is given below.

In a time where the differences between static and dynamic languages are starting to fade away, this report brings one more element to the "convergence" picture by showing that thanks to the novelties from its recent 0x standard, it is relatively easy to implement a JavaScript layer on top of C++. By that, we not only mean to implement the language features, but also to preserve as much of its original notation as possible. In doing so, we provide the programmer with a means to freely incorporate highly dynamic JavaScript-like code into a regular C++ program.

Tuesday, January 3 2012

ACCU 2012 session on language extensibility

I'm pleased to announce that I will hold a 90 minutes session on language extensibility at the next ACCU conference. A shortened abstract is given below (a longer one is available at the conference website).

Impact of Extensibility on Domain Specific Language Design and Implementation

Domain-specific languages (DSLs) are usually very different from the general purpose language (GPL) in which the embedding application is written. The need for designing a DSL as a completely new language often comes from the lack of extensibility of the chosen GPL. By imposing a rigid syntax, a set of predefined operators and data structures, the traditional GPL approach leaves no choice but to implement a DSL as a different language, with its own lexical and syntactic parser, semantic analyzer and possibly its own brand new interpreter or even compiler.

Some GPLs, however, are extensible or customizable enough to let one implement a DSL merely as either a subset or an extension of the original language. While the end-user does not see a difference with the traditional approach, the gain for the developer is substantial. Since the DSL is now just another entry point for the same original GPL, there is essentially only one application written in only one language to maintain. Moreover, no specific language infrastructure (parser, interpreter, compiler etc.) is required for the DSL anymore, since it is simply expressed in terms of the original GPL.

The purpose of this presentation is to illustrate the most important factors that make a language truly extensible, and to show how extensibility impacts the process of DSL design and implementation.

Monday, May 30 2011

[CfP] ACM Symposium on Applied Computing: Separation of Concerns

Programming for Separation of Concerns (PSC) at ACM Symposium on Applied Computing (SAC) March 25-29, 2012 Riva del Garda (Trento) Italy

Description and Objectives

Complex systems are intrinsically expensive to develop because several concerns must be addressed simultaneously. Once the development phase is over, these systems are often hard to reuse and evolve because their concerns are intertwined and making apparently small changes force programmers to modify many parts. Moreover, legacy systems are difficult to evolve due to additional problems, including: lack of a well defined architecture, use of several programming languages and paradigms, etc.

Separation of concerns (SoC) techniques such as computational reflection, aspect-oriented programming and subject-oriented programming have been successfully employed to produce systems whose concerns are well separated, thereby facilitating reuse and evolution of system components or systems as a whole. However, a criticism of techniques such as computational reflection is that they may bring about degraded performance compared with conventional software engineering techniques. Besides, it is difficult to precisely evaluate the degree of flexibility for reuse and evolution of systems provided by the adoption of these SoC techniques. Other serious issues come to mind, such as: is the use of these techniques double-edged? Can these systems suffer a ripple effect, whereby a small change in some part has unexpected and potentially dangerous effects on the whole?

The Programming for Separation of Concerns (PSC) track at the 2012 Symposium on Applied Computing (SAC) aims to bring together researchers to share experiences in using SoC techniques, and explore the practical problems of existing tools, environments, etc. The track will address questions like: Can performance degradation be limited? Are unexpected changes dealt with by reflective or aspect-oriented systems? Is there any experience of long term evolution that shows a higher degree of flexibility of systems developed with such techniques? How such techniques cope with architectural erosion? Are these techniques helpful to deal with evolution of legacy systems?


Authors are invited to submit original papers. Submissions are encouraged, but not limited, to the following topics:

  • Software architectures
  • Configuration management systems
  • Software reuse and evolution
  • Performance issues for metalevel and aspect oriented systems
  • Software engineering tools
  • Consistency, integrity and security
  • Generative approaches
  • Experiences in using reflection, composition filters, aspect- and subject- orientation
  • Evolution of legacy systems
  • Reflective and aspect oriented middleware for distributed systems
  • Modelling of SoC techniques to allow predictable outcomes from their use
  • Formal methods for metalevel systems

Paper Submission

Original papers from the above mentioned or other related areas will be considered. Only full papers about original and unpublished research are sought. Parallel submission to other conferences or tracks is not acceptable.

Papers can be submitted in electronic format via the SAC website (www.softconf.com/c/sac2012/) within 31 August 2011. Please make sure that the authors name and affiliation do not appear on the submitted paper.

Peer groups with expertise in the track focus area will blindly review submissions to the track. At least one author of the accepted paper should register and participate in the PSC track. Accepted papers will be published in the annual conference ACM proceedings.

The camera-ready version of the accepted paper should be prepared using the ACM format (guidelines will be given on the SAC website). The maximum number of pages allowed for the final papers is six (6), with the option, at additional cost, to add two (2) more pages.

A set of papers submitted to the PSC track and not accepted as full papers will be selected as poster papers and published in the ACM proceedings as 2-page papers, with the option, at additional cost, to add one (1) more page.

Important Dates

Paper Due August 31, 2011 Author Notification Oct. 12, 2011 Camera Ready Nov. 2, 2011

Please check the web site for updates: www.dmi.unict.it/~tramonta/sac/

Saturday, April 30 2011

Receive and Pay... NOT!

ReceiveAndPay doesn't allow you to create your own password. They probably don't trust people to come up with a good one. Fair enough. So they generate a new password for you on an HTTPS page, and then sends it loud and clear to you by email! Good work gentlemen. ;-)

But wait, it gets better. I have sent them an email about this. Here is what I just got back:

Answer to your question: Sir, we have taken good note of your message. The passwords are generated automatically by our system.

Right, thank you very much :-)

So either there is a dumbass at the other end of the line, or (more probably because it is Saturday), that was an automated response. In that case, they should really be putting their time and energy into thinking about their security policy instead of trying to get clever about the contents of their (former ;-) customers messages...

Thursday, June 24 2010

Dynamic typing 30 years later

When the C++ guys announced support for lambda expressions in the upcoming version of the standard (assuming there's one), I refrained from blogging on the "better 30 years late than never" melody.

Now I got big news for you guys. Today, everybody likes dynamic types. They even dare saying so at ECOOP (which means that ECOOP now accepts those papers, yeah things change).

This year, we had a short introduction to an empirical study about the positive (or at least not negative -- one step at a time, this is still ECOOP --) impact of dynamic typing on the development process. And, cherry on the cake, we had this Microsoft guy who presented a paper about... supporting dynamic types in C# !!

In short, the guy said that he wants to be as fashionable and cool as the people doing all sorts of fancy stuff with their scripting languages (he also said that this was a demand from the C# community).

So that's it. A couple years ago, people suddenly realized that functional programming and, in particular, lambda expressions were a good thing. Today, people are also starting to realize that dynamic typing is a good thing.

So after having endured 30 years of sarcasm about our dynamic types, it's only fair that we, the dynamic languages community, get to be sarcastic now.

Sunday, May 2 2010

How to (not) make a good presentation

Based on a recent experience, here is some piece of advice on how to (not) make a good "invited speaker" scientific presentation.

1. Don't think you have been invited because you won a Nygaard price or whatever, but because you have designed a cool language.

2. If you really need to start your talk by showing off your latest book to the audience, at least consider offering one to the lab that has just invited you.

3. Don't spend half of your presentation on your CV (My Life, My Accomplishments etc.), because that's not why you were invited, and because the audience doesn't give a damn.

4. When you have 60 minutes, don't come with the usual 300 slides that you carry everywhere and pick some at random. Your presentation won't make any sense.

5. Before coming, try to take at least 5 minutes to figure out who you're going to talk to, what they know, what they don't. This will help you make more sense out of your presentation, and then, perhaps the audience will actually learn something.

6. Try to understand that when you have an idea, it's not necessarily a good one, and when others have ideas, they're not necessarily bad ones.

7. Try not to be dogmatic because this doesn't look so good to scientists. Show some humility. It is better to have many questions than to have all the answers.

8. If you really want to make people believe that you have actually done some bibliography in your research, try to cite at least one paper more recent than the first OOPSLA in 1986. Otherwise, the picture of your knowledge about other current programming languages is, like, pretty explicit, and a bit sad.

9. Understand that trying to sell your product will never work with researchers.

Well, I guess in summary, try to show some interest for the rest of the world, and especially for your audience, or just don't come. Otherwise, you will look like a fool.

Friday, October 23 2009


On Mac OS X, there are lots of very good reasons why syslogd could start eating 100% of your CPU. Plenty of discussions about this on the net out there.

Well, here's one more (very good) reason:

If all of a sudden, your Time Machine backup process appears to be slower than usual, and if the backup disk is not unmounted after a backup has finished, it could be that Spotlight is trying to index it. Stupid. Mine currently has an ETA of 55 hours :-)

Wednesday, April 29 2009

And what about Erlang ??

Once again, I've been puzzled by Sebesta's "Concepts of Programming languages" book. I've just read the chapter on language-level support for concurrent programming and there's not even a single line on Erlang. I can't figure out how that's possible.

Now waiting to see if Erlang is going to appear in the chapter on functional languages, but for some reason, I have a bad feeling about this...

Wednesday, April 15 2009

Concepts of Programming Languages

These days, I'm reading "Concepts of Programming languages", 8th edition, by Robert W. Sebesta (Addison Wesley). In the category of programming languages comparison books, this is all in all a fair one, especially after having read the crappy "Comparative Programming Languages", 3rd edition, by Clark (Addison Wesley).

As in all those similar books, the room for Lisp is obviously miserable, but that is not very surprising. At least Sebesta seems to know something about it... but wait ! That was until yesterday.

Yesterday, I read chapter 12 (Support for Object Oriented Programming), and this reading pretty much ruined my fun, my evening, and the little consideration I had for the author. On page 508 you can find this:

CLOS, an object-oriented version of Lisp, also supports functional programming.

And there's even a reference to the CLOS specification reference document.

Since the book is suddenly turning the Big Circus way, let's not stop just here. A couple of pages later, there's an interview of Bjarne Stroustrup, for whom having invented C++ is obviously not enough, and so claims that

Currently, C++ is the best language for multi-paradigm programming.

That's it boys. These guys have no clue whatsoever.

Tuesday, January 27 2009

Connaissez-vous le verbe "Setter" ?

L’incorporation de termes anglo-saxons dans le jargon technique français ne me gêne absolument pas. Mais il y a quand même des limites aux bornes des frontières. Dans une copie d’étudiant:

« Les variables ne sont pas dupliqué lors de la création d’un thread par consequent impossible de savoir quel thread a setter errno. »

Le lecteur érudit aura de lui-même reconnu le verbe « Setter », du
premier groupe, équivalent de l’anglais « meytrajoor ».

Monday, October 6 2008

Ucopia vs. Utopia

Il y a des captures d’écran qui parlent d’elles mêmes... :-)

Wednesday, September 3 2008

The hell with MuckPorts !

That's it. I'm done with MacPorts. Fink is the Way To Go (tm).

One year ago or so, I had come to the conclusion that I needed both of them on my machine: Fink was not very up-to-date, but at least it could provide binary packages ready for my Mac. On the other hand, the MacPorts had some bleeding-edge techno that I needed from time to time, but I had to compile everything on my machine which is absolutely ridiculous (have you tried compiling ghc recently ?).

But let's face it. MacPorts maintenance is a nightmare. I think that in one year, I could never reach a fully functional MacPorts installation. Let alone the regular buggy ports which can't even compile, I'm talking about the variant/dependency mess: impossible to upgrade the whole thing because there's always one package that depends on something that conflicts with something else; impossible to remove anything, including obsolete package versions and worse, including inactive ports, because there's always one package that depends on what you want to remove, even if you just want to remove an inactive variant.

For me, the result was an ever-growing installation with duplicate packages everywhere (sometimes, 3 or 4 different and unremovable versions with only one active). Yesterday, I eventually blew my last MacPort fuze when it hanged while deactivating whatever version of aalib, effectively freezing my installation: impossible to upgrade, remove, activate or deactivate anything. I then ended up orgasmatically typing "rm -fr /opt/local/", and you know what ? It felt good !!

Maybe I've missed something from the start. Maybe it goes smoothly for everybody else but me. But this boils down to the same conclusion. If I have to read 3 tons of documentation, semi-obsolete obscure wiki, FAQ, or web forums (oh boy do I hate them) to have the MacPorts behave, the hell with them. I want something that just works.

So here's the thing: Fink is the way to go. As of June 2008, Fink is ready for Leopard and Fink "just works". Yes, you still have to compile things at home, but it's starting to provide binary packages for Leopard already. And what's more, you get the apt/dpkg machinery (for an old Debian user like me, this is cool) because the guys are clever, you know, like, they didn't reinvent the wheel and decided on a package management system that "just works".

Here's my little advice if you want recent free software from the Unix world on your Mac 10.5:
  • download the Fink 0.9.0 binary installer and run it.
  • run "fink configure" and be sure to tell it to use binary packages if available, and to activate the unstable branch as well.
  • run "fink selfupdate" to get the latest point release. That will also let you use the rsync updating method afterwards.
  • run "fink selfupdate-rsync" to get bleeding edge stuff. This will also let you switch to the rsync upgrading method by default.

That's it ! Watch it populate your /sw/ directory... If you have Apple's X11 installed, Fink even provides system-xfree86 packages automatically. These are virtual packages for satisfying applications that depend on X11. You don't have anything to do; you can go "fink install gimp" right away.

Ah yes, one last piece of advice: the binary distribution is far from complete, so when you're looking for something, you'd better get used to use fink instead of apt, because you'll get much more information on what's available that way.

Fink about it man, fink about it !

Wednesday, March 19 2008

Domain Registry of America (for idiots)

I'm quoting this letter from DRoA that I've been receiving each year for some time now. It's called "Domain Name Expiration Notice", but would be more appropriately entitled "Domain Name Extortion Notice", you'll see why:

As a courtesy to domain name holders, we are sending you this notification of the domain name registration that is due to expire in the next few months [...]

This guys are soooo kind with us, domain name owners, that they even care to propose to switch the domain name to their company, for 26 euros a year, whereas I'm currently paying 5 euros for the same service. What else could we ask for !

I guess these guys were put to trial before. I remember the first letter I received from them; it was much more agressive and ambiguous; like "***WARNING*** if you don't renew your domain name RIGHT NOW by filling this form (theirs ;-)), your domain name will be lost". Now, instead of that, the warning says "This is not a bill"...

On the other hand, if they really send this spam by postal mail to every domain name owners in the world, no wonder they need to charge 26 euros a year !

- page 1 of 2

French Flag English Flag
Copyright (C) 2008 -- 2013 Didier Verna didier@lrde.epita.fr