Seminar Calendar - Spring 2015

June 15 - Student
Speaker: M. Scott Doerrie, Johns Hopkins University
Title: Confidence in Confinement: An Axiom-free, Mechanized Verification of Confinement in Capability-based Systems

June 5 - Student
Speaker: Seth Billings, Johns Hopkins University
Title: Probabilistic Feature-Based Registration for Interventional Medicine

June 1 - Student
Speaker: Kalin Kanov, Johns Hopkins University
Title: Efficient evaluation of data-intensive batch-queries in open simulation laboratories

May 27 - Student
Speaker: Michael Paul, Johns Hopkins University
Title: Topic Modeling with Structured Priors for Text-Driven Science

May 19
Speaker: Benjamin Van Durme, Johns Hopkins University
Title: Scalable Systems for Knowledge Discovery

May 5
Speaker: Tanzeem Choudhury, Cornell University
Title: Tracking behavioral symptoms of mental illness and delivering personalized interventions using smartphones and wearables

April 28
Speaker: Joint seminar with AMS: David P. Woodruff, IBM, Almaden Reseach Center
Title: Sketching for M-Estimators: A Unified Approach to Robust Regression

April 23 - Distinguished Lecturer
Speaker: Pavel Pevzner, University of California, San Diego
Title: SPAdes genome assembler and its applications to emerging NGS technologies

April 16 - Student
Speaker: Zachary Palmer, Johns Hopkins University
Title: Building a Typed Scripting Language

April 16
Speaker: Ilya Shpitser, University of Southampton
Title: Generalized Independence Constraints: Models and Inference

April 9 - Student
Speaker: Kelleher Guerin, Johns Hopkins University
Title: Methods for Improved Human Interaction with Robotic Systems

April 7
Speaker: Vijay Chidambaram, University of Wisconsin-Madison
Title: Performance and Reliability in Modern Storage Systems

March 27 - Student
Speaker: Hyun Jae Kang, Johns Hopkins University
Title: Medical Ultrasound Imaging and Interventional Component (MUSiiC) Framework for Advanced Ultrasound Image-guided Therapy.

March 24
Speaker: Elias Bareinboim, University of California, Los Angeles
Title: Generalizability in Causal Inference

March 12
Speaker: Vasileios Kemerlis, Columbia University
Title: Building Secure Operating Systems

March 10
Speaker: Matthew Fredrikson, University of Wisconsin-Madison
Title: Inference Attacks: Understanding Privacy in the Era of "Privacy is Dead"

March 3
Speaker: Yiying Zhang, University of California, San Diego
Title: Rethinking Storage Vertically

February 26
Speaker: Matthew Green, Johns Hopkins University
Title: Building Anonymous Electronic Cash from Bitcoin

February 24
Speaker: Ankit Singla, University of Illinois at Urbana-Champaign
Title: Jellyfish: Networking Data Centers, Randomly

February 19
Speaker: Stephen Checkoway, Johns Hopkins University
Title: Revealing reality through reverse engineering

February 17
Speaker: Suman Jana, Stanford University
Title: Rise of the Planet of the Apps: Security and Privacy in the Age of Bad Code

February 12 - Distinguished Lecturer
Speaker: Avi Wigderson, Institute for Advanced Study
Title: Randomness

February 10
Speaker: Eric Xing, Carnegie Mellon University
Title: Towards Scalable Analysis of Images and Videos

February 6
Speaker: Michael Schatz, Cold Spring Harbor Laboratory
Title: Algorithms for studying the structure and function of genomes

February 5
Speaker: Dave Troy, Mailstrom
Title: PeopleMaps: Mapping Cities Non-Geographically with Social Network Data

January 29
Speaker: Cristina Nita-Rotaru, Purdue University
Title: Automated Adversarial Testing of Distributed Systems Implementations