go to the list of abstracts

go to the list of previous talks
previous talks

go to the list of other SCS seminars
scs seminars

go to the SCS home page

go to the CMU home page


The Next Talk Sp'15 Talks General Info Speaking Req't

Bridging Theory and Practice in Writing Interactive Programs

Friday, April 24th, 2015 from 12-1 pm in GHC 6501.

Stefan Muller, CSD

Many real-world programs interact with the user or external environment using a graphical user interface, a command line, a network socket, external sensors, and so on. Many of these programs are also concurrent, interacting with a number of input and output sources simultaneously. Several techniques exist for writing such programs, but most are either too low-level to yield robust, maintainable code, or too high-level to offer strong performance guarantees.

We propose an abstraction for designing and implementing concurrent interactive applications which occupies an intermediate level of abstraction. This abstraction, which we call a factor, gives a uniform interface to many different sources of interaction and may be used synchronously or asynchronously, giving programmers a high degree of control over when and how input is sampled and used.

We have implemented factors as a library for OCaml and show that the approach is practical by demonstrating a number of applications developed in the library. We have also developed a software framework for assessing the responsiveness of interactive applications and show our proposed abstractions to be performant by use of a set of microbenchmarks that enable quantitative analysis. Finally, we discuss ongoing research into the theory of programs written using factors, which we hope to use to recover correctness guarantees even in the presence of interaction effects and concurrency.

Joint work with Umut Acar and Bob Harper.

Presented in Partial Fulfillment of the CSD Speaking Skills Requirement.

Spring 2015 Schedule
Mon, Jan 12 GHC 6501 Expired
Fri, Jan 16 GHC 6501 Expired
Mon, Jan 19 GHC 6501 Expired
Fri, Jan 23 GHC 6501 Expired
Mon, Jan 26 GHC 6501 Expired
Fri, Jan 30 GHC 6501 Expired
Mon, Feb 2 GHC 6501 Expired
Fri, Feb 6 GHC 6501 Expired
Mon, Feb 9 GHC 6501 Expired
Fri, Feb 13 GHC 6501 Expired
Mon, Feb 16 GHC 7501 Expired
Fri, Feb 20 GHC 6501 Expired
Mon, Feb 23 GHC 6501 Se-Joon Chung Quadratic Encoding for Hand Pose Reconstruction from Multi-Touch Input
Fri, Feb 27 GHC 6501 Expired
Mon, Mar 2 GHC 6501 Expired
Fri, Mar 6 GHC 6501 Expired
Mon, Mar 9 GHC 6501 Spring Break By request only
Fri, Mar 13 GHC 6501 Spring Break By request only
Mon, Mar 16 GHC 6501 David Naylor Source Addresses: Can't Live with Them, Can't Live without Them
Fri, Mar 20 GHC 6501 John Dickerson FutureMatch: Combining Human Value Judgments and Machine Learning to Match in Dynamic Environments
Mon, Mar 23 GHC 6501 Expired
Fri, Mar 27 GHC 6501 Expired
Mon, Mar 30 GHC 6501 Dana Movshovitz-Attias KB-LDA: Jointly Learning a Knowledge Base of Hierarchy, Relations, and Facts
Fri, Apr 3 GHC 6501 Vagelis Papalexakis Efficient and Effective Brain Activity Mining and Modeling
Mon, Apr 6 GHC 6501 Pengtao Xie Incorporating Word Correlation Knowledge into Topic Modeling
Wed, Apr 8 GHC 8102 Alex Beutel ACCAMS: Additive Co-Clustering to Approximate Matrices Succinctly
Mon, Apr 13 GHC 6501 Matt Mukerjee Practical, Real-time Centralized Control for Live Video Delivery
Fri, Apr 17 GHC 6501 Miguel Araujo Beyond-Block communities: algorithms and discoveries
Mon, Apr 20 GHC 6501 Nicolas Feltman Automatically Splitting a Staged Lambda Calculus
Fri, Apr 24 GHC 6501 Stefan Muller Bridging Theory and Practice in Writing Interactive Programs
Mon, Apr 27 GHC 6501 Deborah Katz Predicting Buggy versus Fixed Programs Using Dynamic Binary Instrumentation
Fri, May 1 GHC 6501 Joseph Tassarotti Validating Semantics for Weak Memory by Verifying Programs
Mon, May 4 GHC 6501 Michael Sullivan RMC: A New Approach for Programming Relaxed Memory Concurrency

General Info

The Student Seminar Series is an informal research seminar by and for SCS graduate students from noon to 1 pm on Mondays and Fridays. Lunch is provided by the Computer Science Department (personal thanks to Sharon Burks and Debbie Cavlovich!). At each meeting, a different student speaker will give an informal, 40-minute talk about his/her research, followed by questions/suggestions/brainstorming. We try to attract people with a diverse set of interests, and encourage speakers to present at a very general, accessible level.

So why are we doing this and why take part? In the best case scenario, this will lead to some interesting cross-disciplinary work among people in different fields and people may get some new ideas about their research. In the worst case scenario, a few people will practice their public speaking and the rest get together for a free lunch.

Guideline & Speaking Requirement Need-to-Know

Note: Step #1 below are applicable to all SSS speakers. You can schedule AT MOST THREE talks per semester.

SSS is an ideal forum for SCS students to give presentations that count toward fulfilling their speaking requirements. The specifics, though, vary with each department. For instance, students in CSD will need to be familiar with the notes in Section 8 of the Ph.D. document and follow the instructions outlined on the Speakers Club homepage. Roughly speaking, these are the steps:

  1. Schedule a talk with SSS by sending your talk title, abstract, additional info (like "Joint work with..." or "In Partial Fulfillment of the Speaking Requirement"), and a picture of yourself (preferably jpeg) to sss@cs at least TWO WEEKS before your scheduled talk.
  2. After you are confirmed with your SSS slot, go to the Speakers Club Calendar and schedule your talk at least THREE WEEKS in advance of the talk date.
  3. On the day of your talk, make sure you print Speakers Club evaluation forms for your evaluators to use.
Students outside of CSD will need to check with their respective departments regarding the procedure. As another example, ISRI students fulfill their speaking requirements by attending a semesterly Software Research Seminar and giving X number of presentations per school year. If you have experience with your department that might help others in your department, please feel free to contribute your knowledge by emailing us. Thank you!

SSS Coordinators

Armaghan Naik, Computational Biology
Lin Xiao, CSD


Web contact: sss+www@cs