Stanford EE Computer Systems Colloquium

4:15PM, Wednesday, February 09, 2011
HP Auditorium, Gates Computer Science Building B01
http://ee380.stanford.edu

Parsing with Derivatives
(Yacc is Dead)

Matthew Might
University of Utah
About the talk:

Techniques for parsing date to the earliest days of computer science. Despite the discovery and implementation of many efficient, principled techniques for creating parsers, research interest in new methods remains high.

Even in practice, parsers for many systems continue to be written by hand.

Why is so much effort "wasted" on a long-solved problem?

More importantly, what can we do about it?

This talk explores the drawbacks of existing parsing techniques--where and why they are a mismatch for the average developer--and then develops the technical foundation for a solution: parsing with derivatives.

Slides:

Download the slides for this talk in PDF format.

About the speaker:

Matt Might is an Assistant Professor in the School of Computing at the University of Utah, where he leads the U-Combinator research group. Might's research focuses on static analysis of modern software systems--particularly those written in functional and object-oriented languages. The goal of his research program is achieving automation in optimizing performance, parallelizing execution, assuring security and verifying correctness.

Might actively blogs from http://blog.might.net/ and tweets from @mattmight.

Contact information:

Matthew Might