Meetings are held Wednesdays, 12:00 noon until 2:00 p.m. in Levine 307 unless otherwise noted
Monday, May 21, 2012Sathish Gopalakrishnan, Ph.D.
Department of Electrical & Computer Engineering
University of British Columbia
Talk: Policies for querying sensors with cost/delay considerations
Vojtech Forejt, Ph.D.
Department of Computer Science
University of Oxford
Talk: Automatic Verification of Competitive Stochastic Systems
Guoliang Xing, D.Sc.
Department of Computer Science and Engineering
Michigan State University
Talk: Wireless Coexistence in Open Radio Spectrum: Curses and Blessings
Pavithra Prabhakar, Ph.D.
CMI postdoctoral fellow
California Institute of Technology
Talk: Approximations for Verification of Hybrid Systems
Eric Feron, Ph.D.
Georgia Tech
Talk: Proof-carrying auto-coded control software
Technical Guest Lecture
Talk: ARM
Paul E. Black
National Institute of Standards and Technology (NIST)
1st Talk: Static Analysis and Static Analyzers in Software Development
2nd Talk: Combinatorial Testing
Brian Murray, Ph.D.
United Technologies Research Center (UTRC)
Talk: Complex Cyber-Physical System Design Challenges at UTRC
Sean W Smith, Ph.D.
Department of Computer Science
Dartmouth College
Talk: The Role of Humans in Information Security Decisions
Nguyen Van Tang
Postdoc Researcher, Research Center for Verification and Specification
National Institute of Advanced Industrial Science and Technology
Talk: Modeling and Validating the Train Fare Calculation and Adjustment System Using VDM++
Xue Liu
Department of Electrical and Computer Engineering
McGill University
Talk: Challenges and Opportunities of Power Management for Internet Data Centers
Gregor Goessler
INRIA
Talk: Definitions of Logical Causality for Trace Analysis
Santosh Kumar
Department of Computer Science
University of Memphis
Talk: Addressing Stress and Addictive Behavior in the Natural Environment Using AutoSense
Armando Solar-Lezama
Computer Assisted Programming Group
MIT
Talk: Beyond Bug Finding: Leveraging Program Analysis to Make Programming Easier
Swarat Chaudhuri
Computer Science
Rice University
Talk: Composing Composure: Reasoning about Robustness of Software Systems
Dominik Wojtczak
Computer Science Department
University of Liverpool
Talk: The Complexity of Nash Equilibria in Stochastic Games
Eric Koskinen
Computer Laboratory
University of Cambridge
Talk: Systems Code Verification: A Moving Target
Kevin Fu
Department of Computer Science
University of Massachusetts Amherst
Talk: Trustworthy Medical Device Software
Aviral Shrivastava
Department of Computer Science & Engineering
Arizona State University
Talk: Multi-Core Challenge: Missing Memory Virtualization
K. Venkatesh Prasad
Ford Motor Company
Talk: Hello Car, Hello World: Cyber-Physical Systems On-Wheels & Toolkits For Experimentation
Sayan Mitra
Department of Electrical Engineering
University of Illinois at Urbana-Champaign
Talk: Abstraction refinement for verification of hybrid systems
PRECISE + EMBS Tgif Social:
Friday, February 25 5-6pm
mLAB, (Room 279, Moore)
Read More
Pavol Cerny
IST Austria
Talk: Streaming Transducers for Algorithmic Verification of Single-pass
List-processing Programs
