Home
Static Analysis of Concurrent Systems
Overview
FLAVERS
INCA
Propel
Verification Examples
Publications
Process Programming and Workflow
Overview
Little-JIL
SciWalker
Publications
Software Architecture and Distributed Object Technology
Overview
Publications
Evaluation Projects
Scientific Workflow: The Analytic Web
Medical Safety
Digital Government
Other Laboratory Information
All Publications
What's New...
Impact Project
Electronic Enterprise Institute
Licensed Software
Open Source Software
Bug Tracking
Contact Us
Share

Welcome to LASER

The Laboratory for Advanced Software Engineering Research (LASER) is a research lab in the Department of Computer Science at the University of Massachusetts Amherst. LASER is dedicated to investigating techniques for reducing software development and maintenance costs while simultaneously improving the quality of the systems produced. LASER is aggressively attacking the problem of assuring the quality of software. Modern systems are increasingly dependent upon software which is becoming increasingly complex. The growing size of such systems, and their increasing reliance upon such features as concurrency and distribution creates new concerns and challenges.

LASER research centers on the use of finite state verification of concurrent and distributed systems to assure that these systems must adhere to key properties for all possible executions. We are developing systems that are computationally tractable, easy to use, and applicable to wide classes of properties.

LASER's particular interests are in developing techniques, tools, and processes to support the most challenging kinds of systems: those with high reliability requirements, running on highly distributed platforms, using heterogeneous tools, and perhaps developed in geographically dispersed environments.


Laboratory Co-Directors
Lori Clarke
[ Info ] [ Mail ] Lee Osterweil
[ Info ] [ Mail ]
Associated Faculty
George Avrunin
[ Mail ] [ Home ] Barbara Staudt Lerner
Mt. Holyoke College
[ Mail ] [ Home ]
Norm Sondheimer
[ Mail ] [ Home ]
Current Graduate Students
Bin Chen
Bell Trading
[ Mail ] Stefan Christov
[ Mail ] [ Home ]
Heather Conboy
[ Mail ] Huong Phan
[ Mail ]
Borislava Simidchieva
[ Mail ] [ Home ] Jianbin Tan
ITA Software
[ Mail ] [ Home ]
Current Undergraduate Students
Mario Barrenechea
Tiffany Chao
Joseph Harney
Joshua Molloy
Nicolas Scarrci
Stevie Sellers
Scientific and Technical Staff
Sandy Wise
[ Mail ]
Ph.D. Graduates
Aaron Cass
Union College
[ Mail ] [ Home ] Albert (Tim) Chamillard
University of Colorado, Colorado Springs
[ Mail ] [ Home ]
Jamieson Cobleigh
The MathWorks
[ Mail ] [ Home ] Rachel Cobleigh
The MathWorks
[ Mail ] [ Home ]
James (Jay) Corbett
Google
Laura Dillon
Michigan State University
[ Mail ] [ Home ]
Matt Dwyer
University of Nebraska
[ Mail ] [ Home ] Eric McCall
Vertica
[ Mail ]
Gleb Naumovich
Goldman Sachs
Andy Podgurski
Case Western Reserve University
[ Mail ] [ Home ]
M. S. Raunak
Loyola College
[ Mail ] [ Home ] Debra Richardson
University of California, Irvine
[ Mail ] [ Home ]
Peri Tarr
IBM Research
[ Mail ] [ Home ] Margaret Thompson
Cleveland Clinic
Alex Wolf
Imperial College London
[ Mail ] [ Home ]
Recent M.S. Graduates
Matt Billmers
Akamai
[ Mail ] Ricky Chang
University of Texas, Austin
Kim Frederick
Bradley Hawkes
Google
Nathan Jokel
EMC
Matt Marzilli
Google
[ Mail ]
Dave Miller
Xueying (Libby) Shen
EMC
[ Mail ]
Joel Sieh
Raytheon
Timothy Sliski
Raytheon
Shangzhu Wang
[ Mail ] Yan Zeng
Siemens
[ Mail ]
 

© 2007 University of Massachusetts Amherst. Site Policies.
This site is maintained by the Laboratory for Advanced Software Engineering Research.