[ Software Research Lunch ]

The Stanford Software Research Lunch is a weekly event on Thursday where students and researchers present their latest work to peers. Talks are open to anybody, but regular attendees are expected to give a presentation on their work.

Mailing list: software-research-lunch@lists.stanford.edu (subscribe via mailman)

Calendar: ical | Add to Google Calendar

Format: The lunch is held every week during fall, winter and spring quarter. The first week of every quarter is an organizational lunch where people can sign up to give a talk. If you'd like to give a talk, contact Todd Warszawski.

Past quarters: Fall 2018, Spring 2018, Winter 2018, Fall 2017, Spring 2017, Winter 2017, Fall 2016.

Ordering Food: For suggestions for those ordering food for the lunch, see here.

1/10: Organizational Lunch

Time: Thursday, January 10, 2019, 12 noon - 1pm
Location: Gates 415

Organizational lunch. Come enjoy food and sign up to give a talk during the quarter.

Food: Todd

1/17: An introduction to Shaz Qadeer and his attempts to reason about concurrent systems

Time: Thursday, January 17, 2019, 12 noon - 1pm
Location: Gates 415

Speaker: Shaz Qadeer

Abstract: I am a Research Scientist at Facebook. Before joining Facebook, I worked at Microsoft Azure and Microsoft Research. I am interested in building secure distributed systems through appropriate and comprehensive application of advanced programming machinery---languages, runtimes, and (testing and verification) tools. In this brief lunch talk, I will present an overview of two research projects I have focused on for the last decade. The first project is a domain-specific programming framework for developing safe and reliable concurrent asynchronous programs (https://github.com/p-org/P). The second project is a program verifier that aids the construction of a correct concurrent program by attempting to derive it via stepwise refinement from an abstract atomic action that is obviously correct because it does nothing (http://pub.ist.ac.at/~bkragl/papers/cav2018-slides.pdf). The goal of this talk is to introduce myself and my team at Facebook to you in the hope that some of you will become future collaborators and colleagues.

Food: Todd

1/24: Incremental, Intuitive, Formally-Analyzable Software Development with Scenario-Based Programming

Time: Thursday, January 24, 2019, 12 noon - 1pm
Location: Gates 415

Speaker: Assaf Merron

Abstract: Scenario-based programming (SBP), also termed behavioral programming, is an emerging approach for creating executable specifications for reactive systems where each artifact is a scenario that specifies a separate aspect of overall system behavior. Each scenario declares desired and undesired reactions to certain events and conditions or sequences thereof. New and refined requirements are often implemented incrementally using new scenarios, with little or no change to existing ones. The full system behavior emerges from parallel coordinated execution of all scenarios. SBP advantages include structural alignment with requirements, intuitiveness, incrementality, succinctness of expression, and amenability to formal analysis and verification. First introduced with the visual language of live sequence charts (LSC) by Harel, Damm and Marelly, SBP principles are language independent, and are available also in many other languages and formalisms, including Java, C++, JavaScript, Erlang, certain DSLs, statecharts, and more. SBP executable specifications can serve in models for simulation and analysis, already at the earliest stages of system development, as well as in the final running code of system components. In this talk I will introduce the principles of scenario-based programming, and describe recent research results. As time permits I will touch upon our current research into the wise computing vision, where we try to automate unique engineering skills that are used in tasks that presently are carried out only by human experts. This capability can enable earlier discovery of certain flaws in requirements specifications and in system design.

1/31: TBD

Time: Thursday, January 31, 2019, 12 noon - 1pm
Location: Gates 415


2/7: TBD (Bichen Wu)

Time: Thursday, February 7, 2019, 12 noon - 1pm
Location: Gates 415

Speaker: Bichen Wu

2/14: TBD

Time: Thursday, February 14, 2019, 12 noon - 1pm
Location: Gates 415


2/21: TBD (Clark Student and/or Shoumik)

Time: Thursday, February 21, 2019, 12 noon - 1pm
Location: Gates 415

Speaker: Clark Student and/or Shoumik

2/28: TBD (Jason Koenig)

Time: Thursday, February 28, 2019, 12 noon - 1pm
Location: Gates 415

Speaker: Jason Koenig

3/7: TBD (Oded Padon)

Time: Thursday, March 7, 2019, 12 noon - 1pm
Location: Gates 415

Speaker: Oded Padon

3/14: TBD (Zhihao Jia)

Time: Thursday, March 14, 2019, 12 noon - 1pm
Location: Gates 415

Speaker: Zhihao Jia

Food: Oded