[PRL] FW: [Csail-related] Course Announcement: Patrick Cousot - 16.399Abstract Interpretation

[Viera K. Proulx]

Those are the rocket scientists who can figure put where a satelite is 
to the fraction of a second and a meter - with all the gravity 
variations and magnetic field changes taken into account - I know, I 
live with one who supervises their Masters and PhD theses and writes 
his own share of this code.

They work with massive code base, including a mountain of legacy code - 
and the best of them actually make it do what it is supposed to do - 
and manage to fire the rocket burners on time, not three seconds 
later...

Oh, well,
- Viera

On Feb 7, 2005, at 11:04 PM, Matthias Felleisen wrote:

> Aero and Astro received (around) six professorships in software 
> engineering a few years back. They are now operating under the 
> assumption that aircraft are 30M lines of code with wings attached to 
> them, and similar ideas.
>
> I don't know who pulled it off, but these engineers are on the right 
> track, if you ask me. Unlike ours, who still live in the 70s. Well, 
> you can't fix everything about a place :-)
>
> -- Matthias
>
>
> On Feb 7, 2005, at 10:53 PM, Mitchell Wand wrote:
>
>> Aero & Astro???
>>
>> --Mitch
>>
>>
>>
>> _______________________________________________
>> PRL mailing list
>> PRL at lists.ccs.neu.edu
>> https://lists.ccs.neu.edu/bin/listinfo/prl
>
>
> _______________________________________________
> PRL mailing list
> PRL at lists.ccs.neu.edu
> https://lists.ccs.neu.edu/bin/listinfo/prl