- Student
Confidence in Confinement: An Axiom-free, Mechanized Verification of Confinement in Capability-based Systems
June 15, 2015 - M. Scott Doerrie, Johns Hopkins University - Student
Probabilistic Feature-Based Registration for Interventional Medicine
June 5, 2015 - Seth Billings, Johns Hopkins University - Student
Efficient evaluation of data-intensive batch-queries in open simulation laboratories
June 1, 2015 - Kalin Kanov, Johns Hopkins University - Student
Topic Modeling with Structured Priors for Text-Driven Science
May 27, 2015 - Michael Paul, Johns Hopkins University Scalable Systems for Knowledge Discovery
May 19, 2015 - Benjamin Van Durme, Johns Hopkins UniversityTracking behavioral symptoms of mental illness and delivering personalized interventions using smartphones and wearables
May 5, 2015 - Tanzeem Choudhury, Cornell UniversitySketching for M-Estimators: A Unified Approach to Robust Regression
April 28, 2015 - Joint seminar with AMS: David P. Woodruff, IBM, Almaden Reseach Center- Distinguished Lecturer
SPAdes genome assembler and its applications to emerging NGS technologies
April 23, 2015 - Pavel Pevzner, University of California, San Diego - Student
Building a Typed Scripting Language
April 16, 2015 - Zachary Palmer, Johns Hopkins University Generalized Independence Constraints: Models and Inference
April 16, 2015 - Ilya Shpitser, University of Southampton- Student
Methods for Improved Human Interaction with Robotic Systems
April 9, 2015 - Kelleher Guerin, Johns Hopkins University Performance and Reliability in Modern Storage Systems
April 7, 2015 - Vijay Chidambaram, University of Wisconsin-Madison- Student
Medical Ultrasound Imaging and Interventional Component (MUSiiC) Framework for Advanced Ultrasound Image-guided Therapy.
March 27, 2015 - Hyun Jae Kang, Johns Hopkins University Generalizability in Causal Inference
March 24, 2015 - Elias Bareinboim, University of California, Los AngelesInference Attacks: Understanding Privacy in the Era of "Privacy is Dead"
March 10, 2015 - Matthew Fredrikson, University of Wisconsin-MadisonRethinking Storage Vertically
March 3, 2015 - Yiying Zhang, University of California, San DiegoBuilding Anonymous Electronic Cash from Bitcoin
February 26, 2015 - Matthew Green, Johns Hopkins UniversityJellyfish: Networking Data Centers, Randomly
February 24, 2015 - Ankit Singla, University of Illinois at Urbana-ChampaignRevealing reality through reverse engineering
February 19, 2015 - Stephen Checkoway, Johns Hopkins UniversityRise of the Planet of the Apps: Security and Privacy in the Age of Bad Code
February 17, 2015 - Suman Jana, Stanford UniversityTowards Scalable Analysis of Images and Videos
February 10, 2015 - Eric Xing, Carnegie Mellon UniversityAlgorithms for studying the structure and function of genomes
February 6, 2015 - Michael Schatz, Cold Spring Harbor LaboratoryPeopleMaps: Mapping Cities Non-Geographically with Social Network Data
February 5, 2015 - Dave Troy, MailstromAutomated Adversarial Testing of Distributed Systems Implementations
January 29, 2015 - Cristina Nita-Rotaru, Purdue University