Institute of Computer Languages
Compilers and Languages Group

Talks 2015 - Prof. Dr. Jeffrey S. Foster

Der Arbeitsbereich für Programmiersprachen und Übersetzer am Institut für Computersprachen lädt zu folgendem Vortrag ein:

Prof. Dr. Jeffrey S. Foster

University of Maryland, College Park, MD, USA
Datum: Donnerstag, den 24. September 2015
Zeit: 11:00 Uhr *)
Ort: TU Wien, Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte).
*) Tee: 10:30 Uhr in der Bibliothek E185.1, Argentinierstr. 8, 4. Stock (Mitte).

über

Incremental Computation with Adapton

Zusammenfassung:

A computation is incremental if repeating it with a changed input is faster than from-scratch recomputation. Many software systems use incremental computation (IC) as a fundamental aspect of their design. Everyday examples include spreadsheets (incremental formula evaluation), development environments (incremental type checking, static analysis, translation, optimization) and database interaction (incremental view maintenance). While these systems are effective, their incremental features are implemented in an ad hoc manner, with complex and tedious IC-related code woven throughout the program.

We believe that IC should instead be a programming languages feature, to make it easier to build, improve, and maintain systems that include IC. I will present Adapton, a novel, general-purpose IC system that provides language abstractions that are particularly useful for interactive incremental systems. Adapton can achieve orders of magnitude speedups over prior general-purpose IC systems. I will also describe Nominal Adapton, a recent extension that gives programmers more control over computation reuse, providing even greater speedups.

Kurzbiographie

Jeffrey S. Foster is a Professor in the Department of Computer Science at the University of Maryland, College Park and in the University of Maryland Institute for Advanced Computer Studies. He is also Associate Chair for Graduate Education in the Department of Computer Science. Dr. Foster received his Ph.D. in Computer Science from the University of California, Berkeley, and he received M.Eng. and B.S. degrees from Cornell University, also in Computer Science. Dr. Foster's research focuses on developing programming languages and software engineering approaches to making software easier to write and more reliable, secure, and available. Some of his recent research efforts include improving security and privacy on Android mobile devices; developing automated techniques to check web application security; exploring the use of program synthesis to automatically construct program code from specifications; and creating new approaches to safely update software at run time. (Homepage )

Sie möchten auf diesen Vortrag durch Aushang hinweisen? Eine druckfertige Einladung im pdf-Format dafür finden Sie hier.

Complang
   About Us
   Research
   Lehre
   Service
      Robotics
      Library
      Talks 2017
      Talks 2016
      Talks 2015
      Talks 2014
      Talks 2013
      Talks 2012
      Talks 2011
      Talks 2010
      Talks 2009
      Talks 2008
      Talks 2007
      Talks 2006
      Talks 2005
      Talks 2004
Sitemap
Contact
Fast Access:
Previous Talk
Next Talk
Faculty of Informatics
Vienna University of Technology
top | HTML 4.01 | last update: 2017-02-13 (Webmaster)