Agent-based Models for Analyzing Strategic Adaptations to Government Regulation

Democratizing Self-Service Data Preparation through Program Synthesis for Non-expert Users

Improving Programming Support for Hardware Accelerators Through Automata Processing Abstractions

Clarifying Oblique Specifications of Relational Queries

Robust Scene Estimation for Goal-directed Robotic Manipulation in Unstructured Environments

Making and Keeping Probabilistic Commitments for Trustworthy Multiagent Coordination

Enhancing System Transparency, Trust, and Privacy with Internet Measurement

Efficiently Finding Approximately-Optimal Queries for Improving Policies and Guaranteeing Safety

Efficient Belief Propagation for Perception and Manipulation in Clutter

Domain-specific Architectures for Data-intensive Applications

Automatic Designs in Deep Neural Networks

Machine Learning in Adversarial Environments

Learning Single-Image 3D from the Internet

Robust Deep Learning in the Open World with Lifelong Learning and Representation Learning

Learning to Generate 3D Training Data

A Parallel Tensor Network Contraction Algorithm and Its Applications in Quantum Computation

Unsupervised Structural Embedding Methods for Efficient Collective Network Mining

Understanding Word Embedding Stability Across Languages and Applications

Machine Learning for Physiological Time Series: Representing and Controlling Blood Glucose for Diabetes Management

Understanding and Improving the Performance of Web Page Loads

Towards the First Practical Applications of Quantum Computers

Interactional Slingshots: Providing Support Structure to User Interactions in Hybrid Intelligence Systems

Enabling and Improving Centralized Control in Network and Cyber-Physical Systems: An Application-Driven Approach

Election Security is Harder Than You Think

Efficiency in Machine Learning with Focus on Deep Learning and Recommender Systems

Customized Systems of Deep Neural Networks for Energy Efficiency

Models and Algorithms for Human Action Understanding

Automatic Quantification and Prediction of Affect in Spoken Interactions

Algebraic Frameworks for Cryptographic Primitives

Design Optimization of In-Vehicle Network

Software Model Checking with Uninterpreted Functions

Leveraging Longitudinal Data for Personalized Prediction and Word Representations

A Holistic Solution for Reliability of 3D Parallel Systems

Streaming Architectures for Medical Image Reconstruction

Computational Modeling and Design of Financial Markets: Towards Manipulation-Resistant and Expressive Markets