Paris here I appear to be coming!

[compilerbitch]

*********************************************************************
* Ecole Normale Supe'rieure *
* *
* Se'minaire *
* SEMANTIQUE ET INTERPRETATION ABSTRAITE *
* P. Cousot *
* *
* Vendredi, 14h00--15h30 *
* Salle U/V, etage -2 *
* DI ENS 45 rue d'Ulm 75005 Paris *
*********************************************************************

*** Vendredi 19 mars 2004 *** 14h00 ********************************

Sarah THOMPSON (Computer Laboratory, University of Cambridge)

Abstract Interpretation of Asynchronous Circuits

Re'sume' : We present an abstract interpretation framework that allows dynamic
properties of asynchronous digital circuits to be statically determined. In
our model, time is linear, dense and continuous, with the structure (but not
the arithmetic) of the real numbers. Within a finite time window, signals can be
represented by their start and end states, along with the count of complete
cycles during the window. Defining the familiar logical operators in terms of
these values results in a 'logic' that, given known inputs, can place bounds
on the number and kind of transitions that may occur at the output of a
combinational circuit. A hierarchy of simplified logics, related by Galois
connections, have been identified that offer varying degrees of accuracy.
Applications include simulation, model checking, synthesis and optimisation.

Reference:
[1] S. Thompson and A. Mycroft, Sliding Window Logic Synthesis, UK
Asynchronous Forum, Cambridge, January 2004, Available from
http://st326.st-edmunds.cam.ac.uk/mypapers/

*********************************************************************
Pour recevoir l'annonce par courrier electronique:
WWW: http://www.di.ens.fr/~cousot/annonceseminaire.shtml
*********************************************************************

Comments

Re: ????

[compilerbitch.livejournal.com]

As a rough translation, I got invited to give a lecture at Ecole Normale Superieur (a top university) in Paris to the abstract interpretation research group. The French bits were added by them. The English (if I can call it that!) bit is the abstract for my talk. Luckily, I'm lecturing in English -- my French is 20 years unused, and even when it was at its best it was never quite *that* good. I seem to still be able to read French reasonably OK, but I'm horribly out of practice as regards speaking it or understanding rapidly mumbled spoken French. I'll make an effort while I'm there, though, even though I will probably quite adequately manage to make an idiot of myself.

As an example of this talent, I was once at dinner with a bilingual friend of mine and her French-only speaking boyfriend. We were eating mussels (moules in French). So, of course, I had to chip in with, "J'aime les moules!". At which point the other side of the table went purple and sprayed various liquids laughing at what I'd just said. Seemingly, though I hadn't actually done anything wrong per se, what I'd said could be alternatively interpreted as the slang expression, "I love cunnilingus".

Re: ????

[galliana.livejournal.com]

Well, given the context, that's a marvellously economical use of language.

Bring me a souvenir. A nice, nubile, French citizen, for instance.

*hopeful*

Yay!