March 17, 2017 – Yaron Minsky

Yaron Minsky is visiting us from Jane Street.  Abstract to come - probably something to do with PL

March 30, 2017 – Marco Canini

Marco Canini is visiting us from KAUST Professor Canini‘s research interests are in the principled construction and operation of large scale networked computer systems, specifically...

November 18, 2016 – Christos Dimoulas

Christos will be visiting us from Harvard University.  He will give a talk at noon.  Title/abstract pending. It will probably be something about software contracts,...

December 4, 2015 – Stephen Chong

Visiting from Harvard

November 13, 2015 – Kathleen Fisher

Visiting from Tufts http://www.cs.tufts.edu/~kfisher/Kathleen_Fisher/Home.html

October 30, 2015 – Arjun Guha

Visiting from UMass Amherst https://people.cs.umass.edu/~arjun/home/

Joint meeting with Theory Lunch (2)

Speaker: Erez Petrank (Technion) Date: November 5, 2013 (Tuesday) Room: TBA Title: "Wait-freedom made practical " Abstract: With the proliferation of multicore systems, the design of concurrent algorithms and...

Tyson Condie

Speaker: Tyson Condie (UCLA) Date: November 8, 2013 (Friday) Room: TBA Title: "Big Learning Systems" Abstract: A new wave of systems is emerging in the space of Big Data...

Joint Meeting with Theory Lunch (1)

Speaker: Justin Gottschlich (Intel) Date: October 31, 2013 (Thursday) Room: CIT 368 Title: "Concurrent Predicates: A Debugging Technique for Every Parallel Programmer" Abstract: To reduce the complexity of debugging multithreaded...

Robert Walls

Speaker: Robert Walls (UMass Amherst) Date: October 25, 2013 (Friday) Room: CIT 368 Title: "Forensic Triage for Mobile Phones" Abstract: Forensic investigators are often tasked with extracting evidence from mobile...

47th Meeting

Speaker: Emery Berger (UMass Amherst) Date: October 4th, 2013 (Friday) Room: CIT 368 Host: Shriram Krishnamurthi Title: "Programming with People: Integrating Human-Based and Digital Computation" Abstract: Humans can perform many...

45th Meeting

Speaker: Angelina Lee (MIT) Date: May 9th, 2013 (Thursday) Room: CIT 368 Title: "Memory Abstractions for Parallel Programming" Abstract: A memory abstraction is an abstraction layer between the program...

44th Meeting

Speaker: David Ackley (University of New Mexico) Date: April 26th, 2013 (Friday) Room: CIT 368 Title: "Robust-first computing: Beyond correctness and efficiency" Abstract: Efficiency and robustness are mortal enemies,...

43rd Meeting

Speaker: Vyas Sekar (Stony Brook University) Date: March 15th, 2013 (Friday) Room: CIT 368 Title: "The Middlebox Manifesto: Enabling Innovation in Middlebox Deployment" Abstract: Today's computing landscape relies critically...

42nd Meeting

Speaker: Marcelo Martins (Brown) Date: February 22nd, 2013 (Friday) 1:00 PM Room: CIT 367 Title: "Application Modes: A Narrow Interface for End-User Power Management in Mobile Devices" Abstract: Achieving...

41st Meeting

Speaker: Andy Pavlo (Brown) Date: February 15th, 2013 (Friday) Room: CIT 368 Title: "Everything I Know About Fast Databases I Learned at the Dog Track" Abstract: An emerging class...

40th Meeting

Speaker: Blase Ur (CMU) Date: February 1st, 2013 (Friday) Room: CIT 368 Title: "Helping Users Create Better Passwords" Abstract: Despite countless proposed password replacements, text passwords are not about...

39th Meeting

Speaker: Theophilus Benson (Princeton / Duke) Date: December 7th, 2012 (Friday) Room: CIT 345 Title: "Demystifying and controlling the performance of data center networks" Abstract: Although there is tremendous...

38th Meeting

Speaker: Vatche Ishakian (Boston University) Date: November 30th, 2012 (Friday) Room: CIT 345 Title: "CloudPack: Exploiting Workload Flexibility Through Rational Pricing" Abstract: Infrastructure as a Service pricing models for...

37th Meeting

Speaker: Daniela Oliveira (Bowdoin) Date: November 9th, 2012 (Friday) Room: CIT 345 Title: "Holographic Vulnerability Studies: Vulnerabilities as Fractures in Interpretation as Information Flows Across Abstraction Boundaries" Abstract: We...

36th Meeting

Speaker: Nate Foster (Cornell) Date: November 2nd, 2012 (Friday) Room: CIT 368 Title: "Abstractions for Network Update" Abstract: Configuration changes are a frequent source of instability in networks, leading...

35th Meeting

Speaker: Todd Lipcon '07 (Cloudera) Date: October 19th, 2012 (Friday) Room: CIT 345 Title: "HDFS Quorum-Journal" Abstract: Todd will present an overview of his recent work on the HDFS...

34th Meeting

Speaker: Stephen Chong (Harvard) Date: October 12th, 2012 (Friday) Room: CIT 368 Title: "A Secure Concurrent Language" Abstract: We demonstrate that a practical concurrent language can be extended in...