CS Events

Breaking and Building End-to-End Encrypted Systems

Event Type: Faculty Candidate Talk
Speaker:

Paul Grubbs, Cornell University

The Problem of Many: Efficient Multi-arm, Multi-object Task and Motion Planning with Optimality Guarantees

Event Type: PhD Defense
Speaker:
Location: 1 Spring Street, Room 403
Event Date: Thursday, March 05, 2020 01:00pm - 04:00pm

Finding Semantic Bugs in Kernels: the Symbolic Way and the Fuzzy Way

Event Type: Faculty Candidate Talk
Speaker:

Meng Xu, Georgia Tech

ABSent: Cross-Lingual Sentence Representation Mapping with Bidirectional GANs

Event Type: Qualifying Exam
Speaker:

Zuohui Fu

Democratizing Error-Efficient Computing

Event Type: Faculty Candidate Talk
Speaker:

Radha Venkatagiri, University of Illinois at Urbana-Champaign

Postmortem Program Analysis from a Conventional Program Analysis Method to an AI-assisted Approach

Event Type: Faculty Candidate Talk
Speaker:

Dr. Xinyu Xing, Pennsylvania State University

Emerging Architectures for Humanity's Grand Challenges

Event Type: Faculty Candidate Talk
Speaker:

Yipeng Huang, Princeton University

Approximation Schemes for a Unit-Demand Buyer with Independent Items via Symmetries

Event Type: Seminar
Speaker:

Ariel Schvartzman (Princeton)

Structure and Dynamics of Contagion in Financial Networks

Event Type: Seminar
Speaker:

Victor Amelkin (Penn) 

Towards Verifying AI Systems: Testing of Samplers

Event Type: Seminar
Speaker:

Kuldeep Meel, National University of Singapore

Cooperation in Humans and Machines

Event Type: Seminar
Speaker:

Patrick Shafto

Fair representation in group decision-making

Event Type: Computer Science Department Colloquium
Speaker:

Edith Elkind, University of Oxford

Scattering and Sparse Partitions, and their Applications

Event Type: Seminar
Speaker:

Arnold Filtser (Columbia)

Qualifying Exam: OOGAN: Disentangling GAN with One-Hot Sampling and Orthogonal Regularization

Event Type: Qualifying Exam
Speaker:

Bingchen Liu

PhD Defense: Efficient and Asymptotically Optimal Kinodynamic Motion Planning

Event Type: PhD Defense
Speaker:

Zakary Littlefield

Pre-Defense: Programming and Managing Data-Driven Applications Between the Edge and the Cloud

Event Type: Pre-Defense
Speaker:

Eduard Gibert Renart

TRADING QUALITY FOR RESOURCE CONSUMPTION THROUGH APPROXIMATION MANAGEMENT

Event Type: PhD Defense
Speaker:

Liu Liu

Seminar: Double-samplers and local-to-global list decoding

Event Type: Seminar
Speaker:

Irit Dinur

Scaling Up Computational Physics for Real World Applications

Event Type: Computer Science Department Colloquium
Speaker: Mridul Aanjaneya
Location: CoRE A 301
Event Date: Tuesday, December 10, 2019 10:30am

Learning Natural Language Semantics with Heterogeneous Supervision

Event Type: Computer Science Department Colloquium
Speaker:

Gerard de Melo