Rupak Majumdar(University of California)
"Dataflow Analysis for Asynchronous Programs"
(Joint work with Ranjit Jhala and Pierre Ganty.)
|Zeit:||Freitag, 28. April 2008, 16:00 Uhr|
|Ort:||TU Kaiserslautern, Gebäude 57, Raum 210, (Rotunde)|
|Hinweis:||Der Vortrag wird live an die Universität des Saarlandes MPI-Gebäude E1.4 Raum 019 übertragen.|