Meetings are held Wednesdays, 12:00 noon until 2:00 p.m. in Levine 307 unless otherwise noted
Thursday, October 25, 2012Azadeh Farzan, Ph.D.
University of Toronto
Talk: Data Flow Graphs for Verification of Concurrent Programs
Chris Bickley
Senior Account Manager
Belcan
Talk: Perspective on New Graduates’ Resumes – for Automotive Industry only
Barzan Mozafari, Ph.D.
Massachusetts Institute of Technology (MIT)
Talk: High-Performance Complex Event Processing Systems & Nested Word Automata
Gerhard Marcinkowski
Senior Technical Recruiter – MathWorks
Perspective on New Graduates’ Resumes
On-Campus Employer Information Session
Employer: Lutron Electronics Co., Inc.
Marta Kwiatkowska, Ph.D.
Department of Computer Science
University of Oxford
Talk: A Framework for Verification of Software with Time and Probabilities
Daniel Schwartz-Narbonne, Ph.D.
Department of Electrical Engineering
Princeton University
Talk: Parallel Assertions for Debugging Parallel Programs
James Weimer, Ph.D.
School of Electrical Engineering
KTH Royal Institute of Technology, Sweden
Talk: Security of Networked Systems with Application to Environmental Monitoring, Power Grids, and Building Energy Management
Sathish 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
