Monday, October 13, 2008
Polyvios Pratikakis, Post-doctoral Researcher, VerimagSound, precise and efficient static race detection for multi-threaded programs
Abstract: Multi-threaded programming is increasingly relevant due to the growing prevalence of multi-core processors. Unfortunatel...
Tuesday, September 30, 2008
Pedro R. D'Argenio, Lecturer, Universidad Nacional de Cordoba (UNC), ArgentinaQuantitative Model Checking Revisited: neither Decidable nor Approximable
Abstract: Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers...
Tuesday, September 23, 2008
Francesco Zappa Nardelli, Researcher, INRIA Paris-RocquencourtRelaxed memory models for multiprocessors (or, all what you did not want to know about your multiprocessor)
Abstract: For performance reasons, multiprocessors may reorder memory accesses in various subtle ways: your shared-memory concurre...
Monday, July 14, 2008
Gogul Balakrishnan, Researcher, NCE Labs, Princeton, NJWYSINWYX: What You See Is Not What You eXecute
Abstract: What You See Is Not What You eXecute: computers do not execute source-code programs; they execute machine-code programs ...
Friday, June 27, 2008
Chris Gill, Associate Professor, Washington University in St. LouisTime and Event Based System Software Design and Verification
Abstract: Distributed real-time system software consists of layered stacks of mechanisms, including: operating system level thread...
Monday, May 26, 2008
Gerardo Schneider, Researcher, University of OsloSpecification and analysis of electronic contracts
Abstract: In this talk I will describe CL, a formal language for writing (electronic) contracts, in the context of Service-Oriente...
Thursday, April 24, 2008
Xavier Leroy, Senior Computer Scientist, INRIA, Paris-RocquencourtFormal Verification of a realistic compiler, or: programming a compiler with a proof assistant
Abstract: Can you trust your compiler? Can we make sure that the generated machine code behaves as prescribed by the semantics of ...
Wednesday, April 2, 2008
Jose Meseguer, Professor, University of Illinois at Urbana-ChampaignThe Temporal Logic of Rewriting
Abstract: This talk presents the temporal logic of rewriting TLR*. Syntactically, TLR* is a very simple extension of CTL* which ju...
Monday, March 31, 2008
Anindya Banerjee, Professor, Kansas State UniversitySemantics and Enforcement of Information Flow Policies
Abstract: Information flow policies like confidentiality and integrity are essential to the security of many software systems such...