Description: Software Process Improvement Network

 (C-SPIN) Meeting

AT&T Center Campus  

AT&T Institute 2501 W. Eagle Way

Hoffman Estates, IL 60192


Wednesday, June 27, 2012

6:00 - 7:00 PM Atrium:  Registration & Networking (Bring your own refreshments!)

6:20 - 6:40 PM Birds-of-a-Feather: Discussion on a topic related to program.     

7:00 - 8:30 PM Auditorium: Presentation

8:30 - 9:00 PM Auditorium: additional Q&A and discussion




Presenter:  Ugo Buy, Associate Professor, Department of Computer Science University of Illinois at Chicago




Recent onset of multicore processing units requires software developers to design and code their programs as concurrent systems in order to take advantage of hardware performance. However, the development of reliable concurrent systems is notoriously difficult because of the possibility of undesirable situations as deadlocks, data races, livelocks and violations of mutual exclusion constraints. Concurrent systems seldom exhibit deterministic behavior, which further complicates testing and debugging.


This talk will first briefly survey existing methods for coping with the challenges inherent in concurrent system development, such as automatic program verification and parallelizing compilation. Next, we will focus on methods based on supervisory control. In short, a control supervisor is a software component that prevents erroneous behaviors in the original system (aka the controlled system) by disabling computations that could lead to such behaviors. Supervisor synthesis is based on suitable models of the controlled systems, such as Petri nets or finite state automata. Promising empirical results on deadlock prevention in large databases shared by multiple applications will be reported. Additional empirical results will demonstrate the potential performance gains that can be obtained on multicore hardware. This research is partly sponsored by the Security and Software Engineering Research Center (S2ERC), an NSF-sponsored Industrial/University Collaborative Research Center.


About the Presenter

Professor Ugo Buy obtained his PhD degree in Computer Science from the University of Massachusetts at Amherst in 1990. His research in software engineering has an emphasis on formal modeling and analysis of concurrent and real-time software. He has been involved in various federally-sponsored projects seeking to define techniques and tools for formal verification of these systems, using a variety of program representations, such as finite-state automata and Petri nets. In recent years, his research has focused on supervisory control and dynamic reconfiguration of discrete event systems. The controllers must enforce traditional safety and timing properties of the controlled systems. Application to software correctness is under active investigation.

LinkedIn profile


Driving and Parking Directions and Last Minute Instructions

Check for a map of the AT&T Campus Center and any last minute details.


About C-SPIN

               C-SPIN is a leadership forum for the free and open exchange of software process improvement experiences and practical ideas. We promote achieving higher levels of process maturity, software quality, and mutual respect. Companies, academic institutions, government organizations, and individuals are invited. For information about C-SPIN and its board, contact Tony Kvitek @

               To receive future announcements electronically, register your e-mail address (include name, personal email address, company, and phone number) at