 |
PROSPECTS FOR DIRECT ASSURANCE FOR APPLICATIONS SOFTWARE
Title: Prospects for Direct Assurance for Applications Software
Speaker: Bill Scherlis, Director, ISRI and Professor, CMU Computer Science
Location: Carnegie Mellon West, Building 23, room 118
Register
Directions
Start Date/Time: 03.27.06, 6:30PM
The Fluid Project is creating practicable tools for programmers to assure and evolve Java software at scale. The focus of the project is on the "mechanical" program properties that tend to defy traditional testing and inspection regimes.
One of the challenges of building analysis-based software assurance tools is that information is missing regarding design intent. Code is not self-documenting. When intent is not provided explicitly, analysis tools must guess this intent. This can trigger additional false positive warnings -- i.e., warning of defects when there are none. Additionally, when tools embody insufficiently deep understanding of code, analysis results will be incomplete and there will be false negatives -- i.e., defects that lurk in the code that are not identified by the tool.
The Fluid Project takes the approach of (1) focusing on particular assurance attributes in code, including critical aspects of engaging with APIs and frameworks, (2) developing new analyses especially designed for composition-based scalability, and (3) driving major decisions regarding the user experience from the perspective of costs and benefits to individual developers and their managers.
Who Should Attend:
Software Engineers who are interested in formal tools
About the Speaker:
William L. Scherlis is a full Professor in the School of Computer Science at Carnegie Mellon. He is the founding director of CMU's PhD Program in Software Engineering and director of CMU's International Software Research Institute (ISRI). His research relates to software assurance, software evolution, and technology to support software teams. Dr. Scherlis joined the CMU faculty after completing a PhD in Computer Science at Stanford University, a year at the University of Edinburgh (Scotland) as a John Knox Fellow, and an A.B. at Harvard University.
Scherlis is involved in a number of activities related to technology and policy, recently testifying before Congress on innovation and information technology, and, previously, on roles for a Federal CIO. He interrupted his career at CMU to serve at DARPA for six years, departing in 1993 as senior executive responsible for coordination of software research. While at DARPA he had responsibility for research and strategy in computer security, aspects of high performance computing, information infrastructure, and other topics.
More Information
Pricing:
General Admission: 20
CMU Alumni: 10
CMU Faculty & Staff: 0
CMU Students: 0
Contact:
Diane Dimeff
diane.dimeff@west.cmu.edu
Speaker(s):
 |
William Scherlis
|
|
|
Professor of Computer Science
|
Overview
William L. Scherlis is a Professor in the School of Computer Science at Carnegie Mellon. He is Principal Investigator of the five-year High Dependability Computing Project, in which CMU leads a collaboration with five universities to help NASA address long-term software dependability challenges. His research relates to software assurance, software evolution, and technology to support software teams. Scherlis recently chaired a National Research Council study on information technology, innovation, and e-government. He has led or participated in national studies relating to cybersecurity, crisis response, analyst information management, Department of Defense software management, and health care informatics infrastructure.
|
|
