Talks

From Scripting to Proving: Gradual Verification for Expressive Programming Languages

David Van Horn - University of Maryland

1:30 pm

- 2:30 pm

Roman Bartak - Charles University, Prague

Attribute Grammars for Modeling Workflows and Planning Domains

2:00 pm

- 4:00 pm

PhD Proposal: Local News and Events Detection using Tweets in Twitter

Hong Wei

Tuesday, September 18, 2018

11:00 am

-12:00 pm

Subbarao (Rao) Kambhampati (Ph.D '89) - Arizona State University

Challenges of Human-Aware AI Systems

Friday, September 7, 2018

11:00 am

-12:00 pm

Amazon Aurora: A look under the hood

Debanjan Saha - Amazon RDS at Amazon Web Service

Thursday, September 6, 2018

9:00 am

-11:00 am

PhD Proposal: Harlequin: Programmable OS Abstractions for Extensibility and Heterogeneity

James Litton

10:00 am

-11:00 am

CS Department ⋅ PL Reading Group

Ballerina: A Modern Programming Language Focused on Integration

Sanjiva Weerawarana - WSO2

2120 A.V. Williams Building (AVW)

Wednesday, September 5, 2018

10:00 am

-12:00 pm

PhD Proposal: Secure I/O Layer with First-class Support for User Policies

Matthew Lentz

Thursday, August 30, 2018

1:00 pm

- 2:00 pm

Anima Anandkumar - Caltech

Tackling Data Scarcity in Deep Learning

Wednesday, August 1, 2018

10:00 am

-12:00 pm

PhD Defense: Designing and Evaluating Next-Generation Thermographic Systems to Support Residential Energy Audits

Matthew Mauriello

2:00 pm

- 4:00 pm

PhD Defense: HandSight: A Touch-Based Wearable System to Increase Information Accessibility for People with Visual Impairments

Lee Stearns

Wednesday, July 25, 2018

9:30 am

-11:30 am

PhD Defense: Approximation Algorithms for Geometric Clustering and Touring Problems

Ioana Bercea

1:00 pm

- 3:00 pm

PhD Defense: Verifiable Computation in Practice: Tools and Protocols

Ahmed Kosba

Monday, July 23, 2018

9:00 am

-11:00 am

3165 A.V. Williams Building (AVW)

PhD Defense: Detecting Objects and Actions with Deep Learning

Bharat Singh

11:00 am

- 1:00 pm

3165 A.V. Williams Building (AVW)

PhD Defense: Towards Generalized Frameworks for Object Recognition

Venkataraman Santhanam

Thursday, July 19, 2018

12:00 pm

- 2:00 pm

PhD Proposal: Applications of Graph Segmentation Algorithms in Quantitative Genomics Analysis

Mohamed Gunady

Tuesday, July 10, 2018

10:00 am

-12:00 pm

PhD Defense: Efficient Layouts and Algorithms for Managing Versioned Datasets

Souvik Bhattacherjee

Wednesday, June 13, 2018

2:30 pm

- 4:30 pm

PhD Defense: A New Paradigm For Practical Maliciously Secure Multi-party Computation

Xiao Wang

3400 A.V. Williams Building (AVW)

Tuesday, June 12, 2018

10:00 am

-12:00 pm

PhD Defense: Finding Objects in Complex Scenes

Jin Sun

1:00 pm

- 3:00 pm

PhD Defense: Software Infrastructure for Visual and Integrative Analysis of Microbiome Data

Justin Wagner

3118 Center for Bioinformatics and Computational Biology (CBCB)

Monday, June 11, 2018

2:00 pm

- 4:00 pm

3118 Center for Bioinformatics and Computational Biology (CBCB)

PhD Defense: Genome Wide Discovery of Disease Modifiers

Noam Auslander

Friday, June 8, 2018

10:00 am

-12:00 pm

3460 A.V. Williams Building (AVW)

PhD Defense: Efficient Data-Oblivious Computation

Kartik Nayak

Thursday, June 7, 2018

1:00 pm

- 3:00 pm

PhD Defense: Temporal Context Modeling for Text Streams

Jinfeng Rao

Monday, June 4, 2018

11:30 am

- 1:30 pm

PhD Defense: Designing and Implementing Accessible Wearable Interactions for People with Motor Impairments

Meethu Malu

Wednesday, May 30, 2018

2:00 pm

- 4:00 pm

3118 Center for Bioinformatics and Computational Biology (CBCB)

PhD Defense: Genome Wide Discovery of Disease Modifiers

Noam Auslander

Friday, May 18, 2018

2:00 pm

- 4:00 pm

PhD Defense: Learning Explainable Facial Features from Noisy Unconstrained Visual Data

Emily Hand

Tuesday, May 15, 2018

9:00 am

-11:00 am

PhD Proposal: Identifying Asymmetric Semantic Divergences for Improved Multilingual Natural Language Understanding

Yogarshi Vyas

10:00 am

-12:00 pm

PhD Defense: Provenance Management for Collaborative Data Science Workflows

Hui Miao

2:00 pm

- 4:00 pm

PhD Proposal: Algorithms for Huge Constant-Sum Games

Mahsa Derakhshan

Monday, May 14, 2018

10:00 am

-12:00 pm

PhD Proposal: Re-Imagining End-User Security Behavior: New Approaches to Security Advice and Recommendations

Elissa Redmiles

11:30 am

- 1:30 pm

Algorithms for Massive and Stochastic Graphs

Soheil Behnezhad

Friday, May 11, 2018

11:00 am

- 1:00 pm

PhD Proposal: Reducing False Positives of Static Code Analysis

Ugur Koc

Friday, May 4, 2018

1:00 pm

- 3:00 pm

Delta-based Storage and Querying for Versioned Datasets

Amit Chavan

Thursday, May 3, 2018

2:00 pm

- 4:00 pm

Connecting Documents, Words, and Languages Using Topic Models

Weiwei Yang

Tuesday, May 1, 2018

9:00 am

-11:00 am

PhD Proposal: Incorporating Stylistic Properties with Machine Translation

Xing Niu

Monday, April 30, 2018

2:30 pm

- 4:30 pm

PhD Proposal: Increasing the Accessibility of Topic Models through Visualization and Interaction

Alison Smith

Friday, April 27, 2018

8:30 am

-10:30 am

PhD Proposal: Improved Training of Deep Networks for Computer Vision

Abhay Yadav

11:00 am

-12:00 pm

Learning and Efficiency of Outcomes in Games

Eva Tardos - Cornell University

4:00 pm

- 6:00 pm

PhD Proposal: Fairness Guarantees for Allocation Problems

Hadi Yami

Thursday, April 26, 2018

10:00 am

-12:00 pm

PhD Proposal: Geometric Data Structures for Approximating Shapes and Functions

Ahmed Abdelkader

Wednesday, April 25, 2018

10:00 am

-12:00 pm

PhD Proposal: Application of Homotopy Methods in Neural Networks and Transportation

Roozbeh Yousefzadeh

4185 A.V. Williams Building (AVW)

Thursday, April 19, 2018

11:00 am

-12:00 pm

Adaptive Adversarial Learning for a Diverse Visual World

Judy Hoffman - University of California, Berkeley

Wednesday, April 11, 2018

11:00 am

- 1:00 pm

3100A Computer and Space Sciences Building (CSS)

PhD Proposal: Quantum algorithms for machine learning and optimization

Tongyang Li

Monday, April 9, 2018

11:00 am

-11:59 am

CS Department ⋅ Crypto Reading Group ⋅ MC2 Seminar ⋅ Security Reading Group

Cybersecurity Threats to U.S. Elections

Alex Halderman - University of Michigan

1110 Jeong H. Kim Engineering Building (KEB)

Friday, April 6, 2018

11:00 am

-12:00 pm

Tim Althoff - Stanford University

Data Science for Human Well-being

Thursday, April 5, 2018

9:00 am

-11:00 am

PhD Defense: Deep Learning for Video Understanding

Joe Yue-Hei Ng

IAI Colloquium: "Failures, Dynamics, Evolution and Control of the Global Risk Network"

11:00 am

-12:00 pm

CS Department ⋅ ISR

Boleslaw K. Szymanski - Network Science and Technology Center, Department of Computer Science, Rensselaer Polytechnic Institute

1146 A.V. Williams Building (AVW)

Tuesday, April 3, 2018

11:00 am

-12:00 pm

Elena Glassman - University of California, Berkeley

Interactive systems for code and data demography

Thursday, March 29, 2018

11:00 am

-12:00 pm

Huaishu Peng - Cornell University

Interactive Fabrication and Fabrication for Interaction

Wednesday, March 28, 2018

10:00 am

-12:00 pm

Explainable Recommendation for Event Sequences: A Visual Analytics Approach

Fan Du

Tuesday, March 27, 2018

11:00 am

-12:00 pm

Aylin Caliskan - Princeton University

The great power of AI: Algorithmic mirrors of individuals and society

Monday, March 26, 2018

11:00 am

-12:00 pm

Nirupam Roy - University of Illinois Urbana-Champaign

Internet of Acoustic Things (IoAT): Challenges, Opportunities, and Threats

Thursday, March 22, 2018

2:00 pm

- 4:00 pm

Visual Analytics for Open-Ended Tasks in Text Mining

Deok Gun Park

Thursday, March 15, 2018

11:00 am

-12:00 pm

Paul Pearce - UC Berkeley

Methods and Systems for Understanding Large-Scale Internet Threats

Tuesday, March 13, 2018

11:00 am

-12:00 pm

Tianbao Yang - University of Iowa

Computational Algorithms and Theories for Learning with Big Data

Monday, March 12, 2018

10:00 am

-12:00 pm

PhD Proposal: Randomized Methods in Discrete Machine Learning.

Karthik Sankararaman

Friday, March 9, 2018

11:00 am

-12:00 pm

Human-Centric Machine Learning: Enabling Machine Learning for High-Stakes Decision-Making

Hima Lakkaraju - Stanford University

Wednesday, March 7, 2018

11:00 am

-12:00 pm

Kirill Levchenko - University of California, San Diego

Spam, Drugs, and Diesel: An Evidence-Based Approach to Computer Security

Tuesday, March 6, 2018

11:00 am

-12:00 pm

Srinadh Bhojanapalli - Toyota Technological Institute at Chicago

Effectiveness of Local Search in Machine Learning

Thursday, March 1, 2018

11:00 am

-12:00 pm

Finding needles in genomic haystacks: achieving single-nucleotide resolution via accurate and efficient multiple sequence alignment

Todd Treangen - University of Maryland, College Park

Wednesday, February 28, 2018

11:00 am

-12:00 pm

Jiliang Tang - Michigan State University

Social Network Analysis with Negative Links

Tuesday, February 27, 2018

11:00 am

-12:00 pm

Ruoyu (Fish) Wang - University of California, Santa Barbara

Enhancing the Discovery and Mitigation of Vulnerabilities in Binary Programs

Monday, February 26, 2018

10:00 am

-12:00 pm

Decoupling Consistency and Trust from Underlying Distributed Data Stores

Vasileios Lekakis

Thursday, February 22, 2018

11:00 am

-12:00 pm

Monia Ghobadi - Microsoft Research

Beyond Binary Failures: A New Framework for Networks

Tuesday, February 20, 2018

11:00 am

-12:00 pm

Soheil Feizi - Stanford University

Unsupervised Learning Revisited

Thursday, February 15, 2018

11:00 am

-12:00 pm

Joshua Garcia - University of California, Irvine

Automated Android Security Assessment: Malware, Vulnerabilities, and Exploits

Wednesday, February 14, 2018

11:00 am

-12:00 pm

Daniel Genkin - University of Maryland, College Park and University of Pennsylvania

Real world security: from theory to practice and back again

Monday, February 12, 2018

11:00 am

-12:00 pm

Bo Waggoner - University of Pennsylvania

Acquiring and Aggregating Information in Societal Contexts

Friday, February 9, 2018

2:00 pm

- 4:00 pm

PhD Defense: Architecture, Models, and Algorithms for Textual Similarity

Hua He

Thursday, February 8, 2018

11:00 am

-12:00 pm

Aditya Parameswaran - University of Illinois

Enabling Data Science for the Majority

Tuesday, February 6, 2018

11:00 am

-12:00 pm

Stefanos Nikolaidis - University of Washington

Mathematical Models of Adaptation in Human-Robot Collaboration

Niki Vazou - University of Maryland, College Park

Friday, February 2, 2018

11:00 am

-12:00 pm

CS Department ⋅ PL Reading Group

Liquid Haskell: Usable Type-Driven Program Verification

Thursday, February 1, 2018

4:00 pm

- 5:00 pm

Baruch Schieber - IBM AI Research

Constrained Submodular Maximization via Greedy Local Search

Wednesday, January 24, 2018

1:00 pm

- 2:00 pm

Reasoning about Incomplete and Uncertain Preferences with Order-based Markov Models

Gerardo I. Simari - Universidad Nacional del Sur in Bahia Blanca and CONICET, Argentina

AVW 4172 A.V. Williams Building (AVW)

Tuesday, January 16, 2018

11:00 am

- 1:00 pm

PhD Defense: Sparse Representations and Feature Learning for Image Set Classification and Correspondence Estimation

Mohammed E. Fathy Salem

Friday, December 15, 2017

3:30 pm

- 5:30 pm

Improving Efficiency and Generalization of Visual Recognition

Ruichi Yu

Thursday, December 14, 2017

11:00 am

- 1:00 pm

PhD Proposal: Alleviating the Demands of Massive Labeled Data in Training Deep Convolutional Neural Networks

Hao Zhou

2:00 pm

- 4:00 pm

PhD Proposal: Model Deep Context in Spatial and Temporal Domain

Xiyang Dai

Tuesday, December 12, 2017

9:30 am

-12:30 pm

Adaptive Graph Processing Over Relational Databases

Konstantinos Xirogiannopoulos

Thursday, December 7, 2017

4:00 pm

- 5:00 pm

Data, Responsibly: The Next Decade of Data Science

Bill Howe - University of Washington

Monday, December 4, 2017

10:00 am

-12:00 pm

PhD Defense: Quantifying Flakiness and Minimizing its Effects on Software Testing

Zebao Gao

Friday, December 1, 2017

11:00 am

-12:00 pm

Room 2117 Computer Science Instructional Center (CSI)

Recent work on Interpretable Machine Learning

Cynthia Rudin - Duke University

Thursday, November 30, 2017

10:00 am

-12:00 pm

PhD Defense: Selective Search Architectures and Brute Force Scan Techniques for Summarizing Social Media Posts

Yulu Wang

Wednesday, November 29, 2017

11:00 am

-12:00 pm

PhD Proposal: Understanding and Automating Optimization Methods for Machine Learning

Zheng Xu

Monday, November 27, 2017

4:00 pm

- 5:00 pm

When Transfer Learning Meets Deep Learning

Professor Qiang Yang - Hong Kong University

Tuesday, November 21, 2017

11:00 am

-12:00 pm

PhD Defense: Model-Based Testing of Off-Nominal Behaviors

Christoph Schulze

Friday, November 17, 2017

11:00 am

-12:00 pm

Max Leiserson - University of Maryland

Methods for Analyzing Mutations in Cancer

Friday, November 10, 2017

11:00 am

-12:00 pm

Learning in the Presence of Strategic Behavior

Prof. Yiling Chen - Harvard University

Monday, November 6, 2017

11:30 am

- 1:30 pm

PhD Defense: Fast and Optimal Solution Algorithms for Parameterized Partial Differential Equations

Kookjin Lee

Friday, November 3, 2017

11:00 am

-12:00 pm

Cooperative and Competitive Machine Learning through Question Answering

Jordan Boyd-Graber - University of Maryland

Thursday, November 2, 2017

2:00 pm

- 4:00 pm

PhD Defense: Dissertation Defense for Soheil Ehsani

Soheil Ehsani

Monday, October 30, 2017

10:00 am

-11:30 am

PhD Proposal: A Cognitive Robotic Imitation Learning System Based on Cause-Effect Reasoning

Garrett Katz

Friday, October 27, 2017

10:00 am

-11:30 am

PhD Proposal: Tools and Experiments for Software Security

Andrew Ruef

11:00 am

-12:00 pm

Recent developments in our battle against cancer

Eytan Ruppin - University of Maryland

Friday, October 20, 2017

10:00 am

-12:00 pm

PhD Defense: Improving Accuracy and Efficiency of Network Measurement by Identifying Homogeneous IPv4 Addresses

Youndo Lee

11:00 am

-12:00 pm

Xiaodi Wu - Universit of Maryland

What can we learn from the research of quantum computing?

Monday, October 16, 2017

2:00 pm

- 3:30 pm

3438 A.V. Williams Building (AVW)

PhD Proposal: Fusing Multimedia Data Into Dynamic Virtual Environments

Ruofei Du

Friday, October 13, 2017

11:00 am

-12:00 pm

Furong Huang - University of Maryland

Discovery of Latent Factors in High-dimensional Data Via Spectral Methods

Sriram Rajamani - Microsoft Research India

Friday, October 6, 2017

11:00 am

-12:00 pm

CS Department ⋅ CS Research Seminar

Trusted Cloud: How to make the cloud more secure + brief overview of MSR India

Friday, September 29, 2017

11:00 am

-12:00 pm

Mean Shift Reloaded: Advancing the State of the Art in Manifold Denoising and Image Restoration

Matthias Zwicker - University of Maryland

2117 A.V. Williams Building (AVW)

Thursday, September 28, 2017

4:00 pm

- 5:00 pm

Hanan Samet - Department of Geographical Sciences Fall 2017 Seminar Series

Reading News with Maps by Exploiting Spatial Synonyms

1158 LeFrak Hall (LEF)

Monday, September 25, 2017

2:00 pm

- 3:30 pm

PhD Proposal: Adaptive Auto-Tuning Search Parameters

Yoav Segev

4:00 pm

- 5:00 pm

CLIP ⋅ CS Department

Learning Language Through Interaction

Hal Daume III - University of Maryland

Friday, September 22, 2017

11:00 am

-12:00 pm

Dave Levin - University of Maryland

Securing the Web's PKI

12:00 pm

- 1:00 pm

Sequence Modeling: From Spectral Methods and Bayesian Nonparametrics to Deep Learning

Alex Smola - Carnegie Mellon University

Alex Smola - Professor of Computer Science, Carnegie Mellon University, Director of Machine Learning and Deep Learning at AWS, Amazon

1:00 pm

- 3:00 pm

CS Department ⋅ ML Seminar

Tutorial on Deep Learning with Apache MXNet Gluon