Thursday April 17, 2008 2-3pm Rm Volen 101
Eric Friedberg ('77) from Stroz Friedberg
Cache-ing the Bad Guys: The New World of Digital Forensics and Corporate Investigations
Wednesday September 26, 2007 (Brandeis Thursday) 2-3pm Rm Volen 101
Eitan Bachmat (Ben Gurion University and Brandeis)
Airplane boarding and space-time geometry
Thursday April 26, 2007, 1-2pm, Rm Volen 101
Liz Bradley (University of Colorado)
POSTPONED TO LATER DATE: The dynamics of data assimilation
Wednesday April 25, 10-11am, Rm Volen 105
Jiri Schindler (Network Appliance Inc.)
Meet the Industry Series: From toasters to clusters:
The evolution of the Network Appliance
Data ONTAP architecture
from a single appliance to a distributed
clustered system
Thursday March 29, 2007, 2-3pm, Rm Volen 101
Justin Werfel (Harvard University)
Automating Construction with Artificial Swarms
Thursday March 8, 2007, 2-3pm, Rm Volen 101
Norman Ramsey (Harvard University)
A Low-level Approach to Reuse for Programming-Language Infrastructure
Thursday February 1, 2007, 2-3pm, Rm Volen 105
John Gardiner (Google)
Using Google Earth: GIS for the Rest of Us
Wednesday February 28, 2-3pm, Rm Volen 101
Leslie Valiant (Harvard University)
Biology as Computation
Monday October 30, 4-5pm, Rm Gzag 121
Charles Ofria (Michigan State University)
The Evolutionary Origin of Complex Traits in Digital Organisms
Thursday November 16, 2-3pm, Rm Volen 101
Silvio Micali (MIT/CSAIL)
How to Reach Corelated Equilibrium
Thursday November 30, 2-3pm, Rm Volen 101
Chuck Rich (MERL)
I Can't Even Program My VCR
And They Just Keeping Throwing More Complicated Stuff at Me!
Thursday February 2, 2-3pm, Rm Volen 101:
Sean Rhea (MIT)
OPEN DHT: A Public DHT Service
NEW TIME: Wednesday March 8, 2-3pm, Rm Volen 101:
Shafi Goldwasser (MIT)
On the (im)possibility of Obfuscation with Auxilary Input
(joint work with Yael Tauman)
Thursday March 16, 2-3pm, Rm Volen 101:
Rachid Guerraoui (EPFL Lausanne)
What is "hard" in distributed computing?
Thursday March 30, 2-3pm, Rm Volen 101:
Jim Miller (Microsoft)
Where is my Compiler?
TALK CANCELLED: Thursday April 6, 2-3pm, Rm Volen 101:
David DeWitt (University of Wisconsin, Madison)
TBD
Friday April 28, 9:00-10:00am, Rm Volen 201:
Jiri Schindler and Rick Wheeler (EMC)
Meet the Industry Series: EMC Centera: designing a content-addressable government compliant-object
store cluster
Monday May 1, 11-12pm, Rm Volen 101
David Reed (HP Labs)
Croquet and Tea Time
Thursday April 1, 2-3pm, Rm Volen 101:
Oded Goldreich (Weizmann and Radcliffe Institute for Advanced Studies)
Probabilistic Proof Systems
Wednesday April 14, 11-12pm, Rm Volen 101:
Ronitt Rubinfelfd (MIT and Radcliffe Institute for Advanced Study)
What can we do in sublinear time?
Tuesday April 20, 3-4pm, Rm Volen 101:
Ilan Tsafrir (Weizmann Institute of Science)
Uncovering structures by reorganization
Thursday April 29, 2-3pm, Rm Volen 101:
Moses Liskov (MIT)
Tweakable Block Ciphers
Wednesday October 15, 2-3pm, Rm Volen 101:
Ran Canetti (IBM Research)
Universally Composable Security: A New Paradigm for Cryptographic Protocols
Thursday October 23, 2-3pm, Rm Volen 101:
Carla E. Brodley (Purdue University)
Behavioral Authentication for Computer Security
Friday October 24, 12-1pm, Rm Volen 101:
Janet L. Kolodner (Georgia Institute of Technology )
A Case-Based Reasoning Approach to Promoting Better Learning
Thursday, March 13, 2:00-4:00pm, Rm Volen 101:
Jerry Hobbs (ISI)
Some Topics in Encoding Commonsense Knowledge
Monday, March 31, 1:00-2:00pm, Rm Volen 101:
Radhika Nagpal (MIT)
Programmable Self-Assembly
Thursday, April 10, 2:00-3:00pm, Rm Volen 101:
Dina Katabi(MIT)
Congestion Control in Future High Bandwidth-Delay Product Networks
Wednesday, September 4, 2:00-3:00pm, Rm Volen 101:
Boaz Patt-Shamir (Tel-Aviv University )
Competitive Buffer Management"
Thursday, September 19, 2:00-3:00pm, Rm Volen 101:
Mark Crovella (BU)
Where is the Internet anyway?
Thursday, October 10, 02, 2:00-3:00pm, Rm Volen 101:
Radia Perlman(Sun Microsystems Laboratories)
Mythology and Folklore of Network Protocols
Wednesday, November 6th, 2-3pm, Rm Volen 101:
Hari Balakrishnan (MIT)
Infranet: Circumventing Web Censorship and Surveillance
Thursday, November 14, 2:00-3:00pm, Rm Volen 101:
Charles Isbell (Georgia Tech)
CANCELLED DUE TO ILLNESS
A Socially Adaptive Reinforcement Learning Agent (Joint seminar with INET)
Thursday, November 21, 2:00-3:00pm, Rm Volen 101:
Michelle Effros (MIT)
Network Data Compression
Monday, November 25th, 2-3pm, Rm Volen 101:
Michael Mitzenmacher (Harvard)
A Brief History of Power Law and Lognormal Distributions, and
An Application to File Size Distribution.
Tuesday, February 12, 2:00-3:00pm, Rm Volen 101:
Daniel Jackson (MIT)
Alloy: A New Technology for Software Modelling
Tuesday, March 12, 2:00-3:00pm, Rm Volen 101:
David Clark(MIT)
A new architecture for (an) Internet
Monday, March 25, 7:00-8:00pm, Rm Abelson 131:
Bradley Kuhn, Executive Director of Free Software Foundation / GNU Project
Software Freedom and the GNU Generation
Thursday, September 6, 2001, 2:00-3:00pm, Rm Volen 101:
Michael Mitzenmacher (Harvard University)
Compressed Bloom Filters and Compressing the Web Graph
Thursday, October 4, 2001, 2:00-3:00pm, Rm Volen 101:
Micah Adler (University of Massachusetts, Amherst)
Tradeoffs in Probabilistic Packet Marking for IP Tracebac
Friday, October 12, 2001, 12:00-1:00pm, Rm Volen 101:
Jim Gray (Microsoft Research)
Mining the Sky Part II.
Thursday, October 18, 2:00-3:00pm, Rm Volen 101:
Marten van Dijk (MIT LCS)
POSTPONED
November 1, 2001, 2:00-3:00pm, Rm Volen 101:
Randy Davis (MIT)
POSTPONED
Intellectual Property in the Information Age, Part II
Thursday, November 15, 2:00-3:00pm, Rm Volen 101:
Marten van Dijk (MIT LCS)
Codes for Embedding Information in Grayscale Signals
Monday, January 29, 2001, 2:00-3:00pm, Rm Volen 101:
Dario Floreano (Swiss Federal Institute of Technology Lausanne (EPFL))
Evolution of Adaptive Mechanisms for Autonomous Robots
Wednesday, January 31, 2001, 2:00-3:00pm, Rm Volen 101:
Leonard McMillan (MIT)
Image-Based Rendering: A New Approach to Computer Graphics
Thursday February 15, 2001, 3:00-4:00pm, Rm Volen 101:
Robert Morris (MIT)
CarNet: A Scalable Ad Hoc Wireless Network System
Wednesday February 28, 2001, 2:00-3:00pm, Rm Volen 101:
Peter Druschel (Rice University)
Pastry: Scalable, distributed object location and routing for
large-scale peer-to-peer systems
Thursday April 5, 2001, 2:00-3:00pm, Rm Volen 101:
Bruno Carpentieri (Universita' di Salerno)
THIS TALK HAS BEEN CANCELLED
Wednesday April 18, 2001, 2:00-3:00pm, Rm Volen 101:
Martin Rinard (MIT)
Program Analysis Techniques for Memory Disambiguation
Wednesday April 25, 2001, 11:00-12:00pm, Rm Volen 101:
Celestino Soddu (Milan Polytechnic, Dep. Scienze del Territorio, Italy)
Generative Design, from Forming to Transforming
Monday April 30, 2001, 5:10-6:30pm, Rm Gzag 123:
Guy Steele (Sun Microsystems)
Growing a Language
October 5, 2000, 2:00-3:00pm, Rm Volen 101:
Jordan Pollack (Brandeis)
Fully automated design and manufacture of robotic lifeforms
October 26, 2000, 2:00-3:00pm, Rm Volen 101:
Alan Fekete (Sydney University)
Serializability for Multiversion Systems
November 14, 2000, 2:00-3:00pm, Rm Volen 101:
Randy Davis (MIT)
Intellectual Property in the Information Age
November 30, 2000, 2:00-3:00pm, Rm Volen 101:
David Detlefs (Sun Labs)
Generational, Mostly-concurrent Garbage Collection
December TBD, 2000, 2:00-3:00pm, Rm Volen 101:
Nancy Leveson (MIT)
Computers and Trust
February 3, 2000, 2:00-3:00pm, Rm Volen 101:
Gene Cooperman (Notheastern)
TOP-C: Mature Parallel Computing
February 10, 2000, 2:00-3:00pm, Rm Volen 101:
Elizabeth Sklar (Brandeis)
Evolutionary computation with humans in the loop
February 16, 2000, 2:00-3:00pm, Rm Volen 101:
Ken Arnold (Sun Microsystems)
The Jini(TM) Architecture: Decentralized Control in a Federated Network
Wed, March 15th, 11AM Volen 101
Maja Mataric (University of Southern California )
Thursday March 16, 2000, 2:00-3:00pm, Rm Volen 101:
Yorick Wilks (University of Sheffield, UK)
Wednesday April 5, 2000, 2:00-3:00pm, Rm Volen 101:
Lynn Andrea Stein(MIT )
Tuesday, April 18, 2000, 2:00-3:00pm, Rm Volen 101:
Raymond Greenlaw ( Armstrong Atlantic State University)
Thursday September 16, 1999, 2:00-3:00pm, Rm Volen 101:
Madhu Sudan (MIT )
Thursday October 14, 1999, 2:00-3:00pm, Rm Volen 101:
Leslie Pack Kaelbling (MIT )
Thursday October 28, 1999, 2:00-3:00pm, Rm Volen 101:
Radia Perlman (Sun Microsystems)
CANCELLED DUE TO ILLNESS
Thursday November 4, 1999, 2:00-3:00pm, Rm Volen 101:
Yorick Wilks (University of Sheffield, UK)
Thursday November 11, 1999, 2:00-3:00pm, Rm Volen 101:
Candy Sidner (Lotus)
Thursday December 2, 1999, 2:00-3:00pm, Rm Volen 101:
Timothy J. Hickey (Brandeis University)
Thursday January 21, 1999, 2:00-3:00pm, Rm Volen 101:
Uri Wilensky (Tufts University)
Thursday February 4, 1999, 2:00-3:00pm, Rm Volen 101:
Mor Harchol-Balter (MIT Lab for Computer Science)
Thursday February 18, 1999, 2:00-3:00pm, Rm Volen 101:
Hod Lipson (Brandeis University)
Thursday March 4, 1999, 2:00-3:00pm, Rm Volen 101:
Franco Preparata (Brown University)
Thursday March 11, 1999, 2:00-3:00pm, Rm Volen 101:
Lyn Stein (MIT Artificial Intelligence Lab)
Thursday March 18, 1999, 2:00-3:00pm, Rm Volen 101:
Larry Gillick (Dragon Systems)
Thursday April 15, 1999, 2:00-3:00pm, Rm Volen 101:
Julia Abrahams (Rutgers University, DIMACS)
Wednesday April 21, 1999, 2:00-3:00pm, Rm Volen 101:
Ron Rivest (MIT Lab for Computer Science)
Other CS Colloquium Series in Greater Boston Area
Keeping Robot Teams and Humanoids on Their Best Behavior:
Principled Behavior-Based Coordination and Imitation
Information extraction, Word Sense Disambiguation and NLP Architectures
The Answer is in Interaction:
Interactive Architectures for Computer Science
Parallel Algorithms and Prufer Codes
Fall Series 1999
List decoding of error-correcting codes
Remembrance of Things Past
How to build an insecure system out of perfectly good cryptography
Information extraction, Word Sense Disambiguation and NLP Architectures
Collaborating with an Interface Agent
Toward a Declarative Numerical Analysis
Spring Series 1999
Learning Science and Mathematics through Embodied Modeling
Task Assignment in a Distributed Server
Reconstruction of a 3D Object From a Single Freehand Sketch
Quantum search: Can we read a superposed state?
Challenging the Computational Metaphor: Implications for How We Think
Speach Recognition
Source Coding and Combinatorial Search:
Open Optimization Problems on Weighted Trees
On Public-Key Infrastructures