Stanford EE Computer Systems Colloquium

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

Reactive Functional Programming
From Models to Classrooms

Shriram Krishnamurthi
Brown University
About the talk:

Computing can have enormous impact on school STEM curricula by bringing to life the bland, abstract, but essential material of algebra books. For instance, algebra sits at the heart of animations, games, and other interactive systems. Yet the the callbacks that characterize the interfaces of these reactive systems fit poorly with the desire to program algebraically. To eliminate this schism between algebra and reactivity, we have developed novel functional designs of “operating system” APIs. In my talk I will present this approach and then explain how to use it to teach middle school students programming with algebra.

Slides:

There is no downloadable version of the slides for this talk available at this time.

About the speaker:

Shriram Krishnamurthi is an Associate Professor of Computer Science at Brown University. His recent work focuses on language support for interactive software, and on analyses for security policies. He helped birth DrRacket (programming environment), Margrave (access control policy analyzer), FrTime and Flapjax (reactive programming languages), and Continue (conference paper manager), and worked on FASTLINK (genetic linkage analyzer). He is a co-author of How to Design Programs and author of Programming Languages: Application and Interpretation. He coordinates the Program by Design and Bootstrap outreach programs.

Contact information:

Shriram Krishnamurthi
Computer Science Dept
Brown University, Box 1910

4018637722
4018637657
sk@cs.brown.edu
Permissions: