Campus Event Calendar
Event Entry
What and Who
Practical pluggable types for Java
Michael Ernst
MIT
SWS Colloquium
AG 2, SWS
Expert Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 17 July 2008
15:00
120 Minutes
E1 5
Rotunda 6th floor
Saarbrücken
Abstract
This talk introduces the Checker Framework, which supports adding pluggable
type systems to the Java language in a backward-compatible way. A type
system designer defines type qualifiers and their semantics, and a compiler
plug-in enforces the semantics. Programmers can write the type qualifiers
in their programs and use the plug-in to detect or prevent errors. The
Checker Framework is useful both to programmers who wish to write
error-free code, and to type system designers who wish to evaluate and
deploy their type systems.
The Checker Framework includes new Java syntax for expressing type
qualifiers; declarative and procedural mechanisms for writing type-checking
rules; and support for flow-sensitive local type qualifier inference and
for polymorphism over types and qualifiers. The Checker Framework is
well-integrated with the Java language and toolset.
We have evaluated the Checker Framework by writing 5 checkers and running
them on over 600K lines of existing code. The checkers found real errors,
then confirmed the absence of further errors in the fixed code. The case
studies also shed light on the type systems themselves.
type systems to the Java language in a backward-compatible way. A type
system designer defines type qualifiers and their semantics, and a compiler
plug-in enforces the semantics. Programmers can write the type qualifiers
in their programs and use the plug-in to detect or prevent errors. The
Checker Framework is useful both to programmers who wish to write
error-free code, and to type system designers who wish to evaluate and
deploy their type systems.
The Checker Framework includes new Java syntax for expressing type
qualifiers; declarative and procedural mechanisms for writing type-checking
rules; and support for flow-sensitive local type qualifier inference and
for polymorphism over types and qualifiers. The Checker Framework is
well-integrated with the Java language and toolset.
We have evaluated the Checker Framework by writing 5 checkers and running
them on over 600K lines of existing code. The checkers found real errors,
then confirmed the absence of further errors in the fixed code. The case
studies also shed light on the type systems themselves.
Contact
Claudia Richter
9325-688
--email hidden
passcode not visible
logged in users only
Claudia Richter, 07/09/2008 12:09 -- Created document.