Fall 2014

Chaperone Meeting
Correctness Meeting

The Correctness members of Chaperone will also have weekly meetings in 580 Soda Hall on Friday from 12-1.

  • 9/12: Presentation by Xuehai, Liang


Summer 2014

Chaperone Meeting

The Chaperone project has meetings every week in 511 Soda Hall on Mondays from 12 - 1.


Correctness Meeting

The Correctness members of Chaperone will also have weekly meetings in 511 Soda Hall on Wednesdays from 12-1.


Spring 2014

Chaperone Meeting

The Chaperone project has meetings every week in 511 Soda Hall on Mondays from 12 - 1.

  • 1/27: Mangpo and Sarah on parallelizing large-scale web experiments
  • 2/3: Discussion of Gradual Typing Embedded Securely in JavaScript, POPL 2014
  • 2/10 Hesam Samimi on new applications for decision procedures
  • 2/17: President's Day (no meeting)
  • 2/24: Presentation by Michael Carbin
  • 3/3: Michael on performance-guided test generation for web apps
  • 3/10: No meeting.
  • 3/17: Visit day short talks/demos
  • 3/18: Presentation by Georg Ofenbeck
  • 3/19: Presentation by Aditya Thakur
  • 3/24: Spring break (no meeting)
  • 3/31: Joel on demos and reproducability
  • 4/7: Liang on a lightweight dynamic analysis framework for front-end JavaScript
  • 4/14: Cuong and Cindy on a shadow execution framework for LLVM IR
  • 4/21: Xuehai on record and replay for relaxed-consistency multiprocessors with distributed directory protocol
  • 4/28: Presentation by Alon Zakai
  • 5/5: Presentation by Thibaud on programming layout by manipulation
  • 5/12: Discussion of retreat feedback and about JavaScript


Correctness Meeting

The Correctness members of Chaperone will also have weekly meetings in 367 Cory Hall on Wednesdays from 12-1.


Fall 2013

Chaperone Meeting

The Chaperone project has meetings every week in 606 Soda Hall on Thursdays from 11:30 - 12:30. Go here for a list of past meeting topics.

  • 9/17: Yura Perov on probabilistic programming
  • 9/19: Sarah on Extracting Structured Data From Unstructured Web Sources
  • 10/3: Presentation on the K programming language
  • 10/10: Tutorial on Twelf
  • 10/17: Wontae Choi on Guided GUI testing
  • 10/24: Leo on Empirical Analysis of PL Adoption and Cindy on Tuning Floating-Point Precision
  • 10/31: Discussion of direct-manipulation programming
  • 11/7: Shaon on replay of live webpages
  • 11/14: Patrick on jump points
  • 11/21: Rohit on rootcausing program equivalence failures
  • 12/5: Ali on Extending Signaling Network Reconstruction Algorithms with SMT Solving
  • 12/12: Michael on substitutability testing


Correctness Meeting
old-meetings.txt · Last modified: 2015/02/09 12:23 by wtchoi