reading-group

Download

reading-group@rtime.felk.cvut.cz

November 2013

3 participants
3 discussions

Paper for reading group on December 6th
by Yasmina Seddik 22 Nov '13

22 Nov '13

Dear colleagues, please find attached the paper I will present at the reading group session on December 6th. I propose to focus on the online result, hence we can skip section 3. Best, Yasmina

1 0

Next reading group
by Michal Sojka 01 Nov '13

01 Nov '13

Hi all, the next reading group will take place on November 15. Martin Hořeňovský will present the following paper. SymDrive: Testing Drivers without Devices Matthew J. Renzelmann, Asim Kadav and Michael M. Swift, Computer Sciences Department, University of Wisconsin–Madison https://www.usenix.org/system/files/conference/osdi12/osdi12-final-4.pdf See also https://rtime.felk.cvut.cz/reading-group/. Best regards, -Michal

1 0

Next Reading-group: 1st of November
by Rostislav Lisovy 01 Nov '13

01 Nov '13

Dear colleagues; The next reading group will be held on Friday 1st of November at 10 am. The presented paper will be: seL4: Formal verification of an OS kernel Gerwin Klein et al., NICTA, Sydney, Australia http://www.ssrg.nicta.com.au/publications/papers/Klein_EHACDEEKNSTW_09.pdf Regards; Rosta

2 1