[so] Seminar 'Reliable Software Systems' - Luni, 10 decembrie,
14:00, EC101
Lucian Adrian Grijincu
lucian.grijincu at gmail.com
Fri Dec 7 17:32:58 EET 2007
trebuie sa ne inscriem undeva sau "primul venit - primul servit" ?
On Dec 7, 2007 5:11 PM, Razvan Deaconescu <razvand at cs.pub.ro> wrote:
> Salut!
>
> Luni 10 Decembrie sala EC 101 orele 14-15 va avea loc un seminar
> prezentat de George Candea, sef de lucrari la EFPL (Elvetia). Aria de
> interes a lui George o reprezinta "software systems" (sisteme de
> operare, retele de calculatoare, limbaje de programare).
>
> Recomand acest seminar persoanelor cu interes in domeniile de mai sus.
> Scopul lui este, totodata, stabilirea de perspective de colaborare
> (internship-uri, proiecte de diploma, burse de doctorat), lucru care va
> poate fi util la anul.
>
> Mai multe detalii aveti mai jos.
>
> Razvan
>
> ----
> An Overview of EPFL's Research in Reliable Software Systems
> Prof. George Candea
> http://people.epfl.ch/george.candea
> EPFL (Lausanne, Switzerland)
>
>
> In aceasta expunere voi prezenta cateva proiecte de cercetare de
> la EPFL, voi furniza informatii despre facultatea noastra si societatea
> EuroSys, precum si oportunitati pt. colaborare, schimb de studenti,
> proiecte de diploma si studii de doctorat. Din motive de vocabular,
> expunerea tehnica va fi in limba engleza.
>
>
> I will give an overview of the research on reliable software systems
> being done at EPFL, including failure immunity, fault injection,
> automated testing, and practical formal verification. As a concrete
> example, I will treat in depth the topic of deadlock immunity -- a
> property by which programs, once afflicted by a given deadlock pattern,
> automatically develop the ability to avoid all future occurrences of
> similar deadlocks.
>
> I will present D-Immunix, a technique that enables large software
> systems to automatically gain such immunity without any assistance from
> programmers or users. I will describe an implementation of D-Immunix
> for Java and demonstrate its effectiveness against bugs in real
> systems, like MySQL JDBC and the Java JDK runtime.
>
> You will see that, in the worst case, our prototype introduces only
> modest performance overhead (e.g., <2% in JBoss, a widely used
> application server wit >350 thousand lines of code), that is independent
> of code size.
>
> In most practical cases, deadlock immunity is as powerful as complete
> freedom from deadlocks, so D-Immunix resolves a long-standing challenge
> of ridding large-scale real systems of elusive deadlocks. This is joint
> work with my doctoral student Horatiu Jula.
> ---
>
> _______________________________________________
> so mailing list
> so at cursuri.cs.pub.ro
> http://cursuri.cs.pub.ro/cgi-bin/mailman/listinfo/so
>
--
Lucian
More information about the so
mailing list