|
Change #2794
2010-04-30
12:01:16
|
create
Calagator::Event
1250458627
Galois Tech Talk: Typing Directories
Roll back
| description |
nil |
→ |
Galois is pleased to host the following tech talk. These talks are open to the interested public. Please join us!
The talk will be held at
Galois Inc.
421 SW 6th Ave. Suite 300, Portland, OR, USA
(3rd floor of the Commonwealth building)
Typing Directories
Details:
* Presenter: Kathleen Fisher, AT&T Labs
* Date: Tuesday May 04, 2010
* Time: 10:30am
Title: Typing Directories
Abstract: PADS describes the contents of individual ad hoc data files, but has no provisions for describing collections of files, i.e., directories. In this talk, I explore examples where having a declarative description of directories as well as files would be useful, including websites, source code trees, source code control systems, operating systems, and scientific data sets. As part of this exploration, I identify essential features of a directory description language and useful tools that might be produced from such a description. I end with a series of questions about how such a language might most easily be implemented in the context of Haskell.
This is joint work with David Walker and Kenny Zhu.
Bio: (from http://www.research.att.com/people/Fisher_Kathleen_S) Kathleen Fisher is a Principal Member of the Technical Staff at AT&T Labs Research and a Consulting Faculty Member in the Computer Science Department at Stanford University. Kathleenâs research focuses on advancing the theory and practice of programming languages and on applying ideas from the programming language community to the problem of ad hoc data management. The main thrust of her work has been in domain-specific languages to facilitate programming with massive amounts of ad hoc data, including the Hancock system for efficiently building signatures from massive transaction streams and the PADS system for managing ad hoc data.
Kathleen is an ACM Distinguished Scientist. She has served as program chair for FOOL, CUFP, and ICFP. She is past Chair of the ACM Special Interest Group in Programming Languages (SIGPLAN), Co-Chair of CRAâs Committee on the Status of Women (CRA-W), and an editor of the Journal of Functional Programming. She is currently serving on the CRA Board. |
| end_time |
nil |
→ |
2010-05-04 11:30:00 -0700 |
| id |
nil |
→ |
1250458627 |
| start_time |
nil |
→ |
2010-05-04 10:30:00 -0700 |
| title |
nil |
→ |
Galois Tech Talk: Typing Directories |
| url |
nil |
→ |
http://www.galois.com/blog/2010/04/30/tech-talk-typing-directories/ |
| venue_id |
nil |
→ |
202390439 |
|