[Colloq] Title: Foundations of Reactive Programming | Speaker: Neel Krishnaswami, University of Birmingham, United Kingdom | Date: 3/22/16 Time: 10:30-11:30am Location: 366WVH

Walker, Lashauna la.walker at neu.edu
Mon Mar 21 12:17:48 EDT 2016


Title: Foundations of Reactive Programming

Speaker: Neel Krishnaswami, University of Birmingham, United Kingdom

Date: 3/22/16   Time: 10:30-11:30am  Location: 366WVH



Title: Foundations of Reactive Programming

When we first explain how computer programs work to beginners, we tend to explain them as a way of telling a computer how to implement an input-output relation: matrix libraries take a system of linear equations and compute a solution; compilers take source code as input, and produce an object file as output; and web browsers read HTML as input, and then render it to a screen as output. However, the programs we actually use tend to be interactive. Instead of solving a system of equations once, we might put it into a spreadsheet and incrementally modify the parameters to explore the solution space. Instead of giving a program once to a compiler, we develop within an IDE, interleaving the process of writing code and finding and repairing errors in the program. A web browser does not merely display an HTML document, but can dynamically update the page in response to user and server events.

Unfortunately, implementing interactive programs is generally much more complicated than implementing one-shot input-output behavior, a problem which is exacerbated by the fact that even specifying what it means for an interactive program to be correct is also quite difficult. This talk explains a line of work on the semantic foundations of reactive programming, which has led to the design of languages suitable both for specifying the functional correctness properties of interactive programs, and for efficiently and correctly implementing them.



Neel Krishnaswami is a Birmingham Fellow at the University of Birmingham in the United Kingdom. He received his PhD from Carnegie Mellon University (on verifying programs with separation logic) and has done postdoctoral work at Microsoft Research and the Max Planck Institute for Software Systems. He has worked on a variety of topics ranging from type theory, verification, and semantics, with a current focus on the specification and verification of interactive programs.




Thank You.

LaShauna Walker
Events and Administrative Specialist
College of Computer and Information Science
Northeastern University
617-373-2763
Facebook<https://www.facebook.com/ccisatnu?ref=hl> | Instagram<https://instagram.com/ccisatnu/> | LinkedIn<https://www.linkedin.com/groups/Northeastern-University-College-Computer-Information-1943637?gid=1943637&mostPopular=&trk=tyah&trkInfo=idx%3A1-1-1%2CtarId%3A1426606862845%2Ctas%3ANortheastern+University+College+of+Com> | Twitter<https://twitter.com/CCISatNU>



More information about the Colloq mailing list