WSOS2016 - Graz

Avagy: http://wsos2016.tugraz.at/index.php?id=16
Amik eddig számomra érdekesek voltak:
Gilles Muller - Coccinelle: A Program Matching and Transformation Tool for Systems Code -- már használgattam néha
Dr. Daniel Lohmann - Static Tailoring of System Software: Pay Only For What You Use! -- embedded vonatkozásai miatt kifejezetten hasznosnak tűnik
Dr. Gernot Heiser - Provable Security/Safety: The seL4 Microkernel and its Use in Critical Systems -- a seL4-ről már a HUP-on is voltak parázs viták, hogy van-e értelme egy "bizonyítottan jó" kernelnek. Fény derült arra, hogy mire használják, mit bizonyít és hogyan a bizonyítás. Itt is parázs viták lettek belőle, már az előadás közben is. De konstruktív volt, az egyszer biztos.

A WIP előadások se voltak rosszak, lehetett látni, mások miben ügyködnek (és megnyugodni, hogy nem is én vagyok a legrosszabb előadó ;-))

Lesznek még jó dolgok itt...
Pl: Prof. Dr. Olaf Spinczyk - Fault Tolerance in System Software with Aspect-Oriented Programming

A többi inkább cloud meg egyéb olyan vackok, amiben annyira nem hiszek ;-)

Kíváncsi leszek még pl. az L4RE hands-on-labra, szintén az embedded dolgai miatt. Kicsit kipróbálgattam előre, jópofa.
Graz meg szép.

( wachag | 2016. 02. 24., sze – 14:59 )

Update: az érzés, amikor egy Linuxon futó VirtualBox-ban futó QEMU-n futó L4/Fiasco microkernel fölött fut egy Linux...