The Concurrent Software Systems Lab (CSSL)
performs research activities in modeling, design, development, and analysis of
concurrent and distributed computing systems. This includes research in
distributed software engineering, model checking, distributed operating systems,
middleware, and mobile and sensor networks.
- The research work in software engineering
covers many topics related to requirements specification and analysis,
architecture design, and verification. Areas of focus have included design and
analysis methods for distributed object systems and multi-agent software,
performance metrics for concurrency models, and techniques and tools for
testing of object-oriented programs.
- One area of emphasis is the theory and
formal graph model for concurrency and coordination.
- Part of the research in verification seeks
new approaches to improve the effectiveness of automated system verification
using temporal logic and model checking algorithms.
- Research related to distributed operating
systems focuses on design of message-passing algorithms related to message
ordering coordination, inter-process communication design, security, and other
operating system activities.
- Research in middleware is focused on the
design of efficient and robust software for large-scale distributed systems
over the Internet. Such research topics typically have both theoretical and
- Research in mobile and sensor networks is
concerned with the interplay between mobile objects and sensor nodes, especially as it relates to applications that perform query processing and
Projects, Publications, and Student Activity
Refer to the various faculty web pages above
for detailed information related to particular areas of expertise,
publications, and ongoing research projects managed by the individual
The CSSL lab has graduated many students who
are placed with organizations such as Motorola, Microsoft, Cisco, IBM T.J.
Watson Research Center, Lucent Technologies, Yahoo!, Amazon, and various
Research in the CSSL has been supported by
research grants from various agencies, including NSF, ONR, ARO, AFOSR, NIST and AT&T.
2054 Engineering Research Facility (ERF)
842 W. Taylor Street
The University of Illinois at Chicago