Campus Event Calendar: Matthias Felleisen (03/30/2006 in G26/024)

Campus Event Calendar

Campus Event Calendar:
- All Upcoming:
  - only for D1
  - only for D2
  - only for INET
  - only for D4
  - only for D5
  - only for D6
  - only for RG1
  - Mailing Lists
  - by Speaker
  - by Type
  - by Category
  - by Title
  - Calendar
  - RSS Feed
- History of Events:

Event Entry

New for: D1, D2, D3, D4, D5

What and Who

Interfaces and Contracts

Matthias Felleisen

Northeastern University, Boston

SWS Distinguished Lecture Series

Matthias Felleisen is currently a Trustee Professor at Northeastern University. He joined its College of Computer and Information Science in 2001, after a 14-year career at Rice University in Houston with sabbaticals at Carnegie Mellon University in Pittsburgh and École Normale Supérieure in Paris. He received his PhD from Daniel P. Friedman at Indiana University in 1984. Felleisen's research career consists of two distinct 10-year periods. For the first ten years, he focused on the semantics of programming languages and its applications. His work on operational semantics has become one of the standard working methods in programming languages. For the second ten years, Felleisen and his research group (PLT) developed a novel method for teaching introductory programming, including a new approach to program design and a programming environment for novice programmers (DrScheme). This environment has become a popular alternative to the conventional set of teaching tools and is now used at a couple of hundred colleges and high schools around the world. For Felleisen and his team, the construction of a large, realistic software application has posed many interesting and challenging research problems in programming languages, component programming, software contracts, and software engineering. Over the past 20 years, Felleisen has published several dozen research papers in scientific journals, conferences, and magazines. In addition, he has co-authored five books, including How to Design Programs and The Little LISPer (now called The Little Schemer), which, at the age of 30, is one of the oldest continuously published books in the field.

AG 1, AG 2, AG 3, AG 4, AG 5, SWS

MPI Audience

Note: We use this to send email in the morning.

Date, Time and Location

Thursday, 30 March 2006

14:00

-- Not specified --

G26

024

Kaiserslautern

Abstract

Large software systems consist of dozens and hundreds of interlocking components. Software engineers adapt components from other suppliers, create their own, and glue all of these together in one large product. In this world, it becomes critical to pinpoint flaws quickly when software fails. Then the component consumer can request a fix from the producer of the faulty component or replace the component with an equivalent component from a different producer. To get to this world, programmers must learn to use interfaces and to enrich them with contractual specifications. Programming language researchers must explore interface-oriented programming in its most radical form and must evaluate its pragmatic consequences. In this talk, I report on our first steps in this direction, presenting empirical findings, research results, research plans, and wild speculations.

Contact

Matthias Felleisen

--email hidden

System used:

Meeting URL:

Meeting ID:

Passcode:

passcode not visible

Code Visible for:

logged in users only

Tags, Category, Keywords and additional notes

Note:

Simultaneous videocast: Campus of Saarland University, Building E 1.4, room 024 (MPI building)

Speaker's bio: Matthias Felleisen is currently a Trustee Professor at Northeastern University. He joined its College of Computer and Information Science in 2001, after a 14-year career at Rice University in Houston with sabbaticals at Carnegie Mellon University in Pittsburgh and École Normale Supérieure in Paris. He received his PhD from Daniel P. Friedman at Indiana University in 1984. Felleisen's research career consists of two distinct 10-year periods. For the first ten years, he focused on the semantics of programming languages and its applications. His work on operational semantics has become one of the standard working methods in programming languages. For the second ten years, Felleisen and his research group (PLT) developed a novel method for teaching introductory programming, including a new approach to program design and a programming environment for novice programmers (DrScheme). This environment has become a popular alternative to the conventional set of teaching tools and is now used at a couple of hundred colleges and high schools around the world. For Felleisen and his team, the construction of a large, realistic software application has posed many interesting and challenging research problems in programming languages, component programming, software ontracts, and software engineering. Over the past 20 years, Felleisen has published several dozen research papers in scientific journals, conferences, and magazines. In addition, he has co-authored five books, including How to Design Programs and The Little LISPer (now called The Little Schemer), which, at the age of 30, is one of the oldest continuously published books in the field.

Carina Schmitt, 05/10/2006 10:15
Uwe Brahm, 05/09/2006 18:52
Uwe Brahm, 03/29/2006 22:55 -- Created document.

Imprint / Impressum | Data Protection / Datenschutzhinweis