Bertrand Meyer, Author at Bertrand Meyer's technology+ blog

Seminar sessions in Saint Petersburg: CafeOBJ and the frame issue

17 April 201429 March 2012 by Bertrand Meyer

The Saint Petersburg software engineering seminar has two sessions today (29 March 2012, 18 local time, see here for the date and time in your area), broadcast live: By Kokichi Futatsugi from KAIST (Japan): Combining Inference and Search in Verification with CafeOBJ. By me: Automatic inference of frame conditions through the alias calculus. See details … Read more

A carefully designed Result

17 April 201419 March 2012 by Bertrand Meyer

In the Eiffel user discussion group [1], Ian Joyner recently asked: A lot of people are now using Result as a variable name for the return value in many languages. I believe this first came from Eiffel, but can’t find proof. Or was it adopted from an earlier language? Proof I cannot offer, but … Read more

New LASER proceedings

17 April 201420 February 2012 by Bertrand Meyer

Springer has just published in the tutorial sub-series of Lecture Notes in Computer Science a new proceedings volume for the LASER summer school [1]. The five chapters are notes from the 2008, 2009 and 2010 schools (a previous volume [2] covered earlier schools). The themes range over search-based software engineering (Mark Harman and colleagues), replication … Read more

ERC Advanced Investigator Grant: Concurrency Made Easy

17 April 201412 February 2012 by Bertrand Meyer

We have just been awarded an ERC Advanced Investigator Grant project on concurrent programming (2.5 M EUR). This article is a brief introduction to the project and a first announcement of the positions (postdocs, phds, engineer) for which we will be advertising.

R&D positions in software engineering

17 April 20146 February 2012 by Bertrand Meyer

In the past couple of weeks, three colleagues separately sent me announcements of PhD and postdoc positions, asking me to circulate them. This blog is as good a place as any other (as a matter of fact when I asked Oge de Moor if it was appropriate he replied: “Readers of your blog are just … Read more

TOOLS 2012, “The Triumph of Objects”, Prague in May: Call for Workshops

17 April 20142 February 2012 by Bertrand Meyer

The TOOLS federated conferences, held in Prague May 28 to June 1, will include five conferences (TOOLS EUROPE, ICMT, Software Composition, Tests And Proofs, Multicore Software Engineering) and a number of workshop. It is still possible to propose workshops; the instructions are given here.

Never design a language

17 April 201431 January 2012 by Bertrand Meyer

It is almost always a bad idea to design a language (for example, a DSL), and I am not even sure anymore why I wrote “almost”.

Concurrency seminars

17 April 201423 January 2012 by Bertrand Meyer

A set of one-day concurrency seminars organized in the US and Europe in the next few months.

Webinar today: the Varieties of Loop Invariants

17 April 201413 January 2012 by Bertrand Meyer

I did not have time to complete my Monday post this week; it will be for next Monday (title: Never design a language). In the meantime, here is the announcement for today’s Saint Petersburg Software Engineering seminar , which can be followed live at http://sel.ifmo.ru/seminar/live (19:30 Saint Petersburg time, meaning 16:30 Zurich/Paris, 7:30 PDT on … Read more

Various interviews

17 April 20142 January 2012 by Bertrand Meyer

Over the past few months I have given a few interviews to Russian news outlets on technology- and software-related issues. Here are the links I have. In September, Mikhail Saprykin interviewed me [1] for Kommersant (the main Russian business daily) on a question that worries everyone in technology and academia: the brain drain. In early … Read more