Name: Automating the Verification of Distributed Systems
Start: 2022-08-08T14:00:00-04:00
End: 2022-08-08T16:00:00-04:00
Location: Remote/Virtual

May 17

12:30 pm - 2:30 pm

Coherent Spatial and Temporal Combining of Femtosecond Fiber Lasers at the Storage Energy Limit Enabling High-Power Drivers of Laser Plasma Accelerators and Other Secondary Radiation Sources

GM Conference Room (4231 LEC) 1221 Beal Avenue, Ann Arbor

Event Details Get Directions

Events

On Improving Robustness of Deep Neural Networks for Computer Vision

Overcoming Barriers to Information Exchange on the Web

Investigating the VPN Ecosystem through the lens of Security, Privacy, and Usability

Theory of lightwave-driven quantum electronics in solids

Models and Inference for Complex Data with Applications in Nuclear Non-Proliferation and Microbial Systems

Analysis of Situated Interactive Non-Expert Instruction of A Hierarchical Task to a Learning Robot

Final Defense: Device Physics and Applications of Ternary Organic Photovoltaics

Multiagent Learning by Iterative Refinement of Game Models

Neural Language Generation for Content Adaptation: Explainable, Efficient Low-Resource Text Simplification and Evaluation

Mitigating Microarchitectural Vulnerabilities to Improve Cloud Security and Reliability

Efficient mm-Wave and THz Circuits and Systems

Resource-constrained Coding for Communication and Computation Applications

Simulation-based Approaches for Evaluating Information Elicitation and Information Aggregation Mechanisms

Final Defense: Methods for roll-to-roll vapor deposition of organic semiconductors

Efficient Game Solving through Transfer Learning

Next Generation Sub-THz Circuits and Systems on Silicon

Efficient Data Movement for Accelerating Data-Intensive Applications

Social Reference Processing with Collaborative Human-AI Systems

RRAM-Based In-Memory Computing Architecture Designs

Applying Software-Based Side-Channels to Hardware Vulnerabilities

Advancing Environmental Applications through Machine Learning and Computer Vision: Modeling, Algorithms, and Real-World Implementations

Discovering Structured Representations for Reinforcement Learning

Understanding, Modeling and Leveraging Temporal Change in Mental Health

Provable and Efficient Algorithms for Safe Reinforcement Learning

Minimalist Systems for Pervasive Machine Learning

Next Generation Terahertz Systems using Nonlinear Phenomena

Circuits and Techniques for Digital Frequency Synthesizers and Design Automation.

Towards an Algorithmic Account of Phonological Rules and Representations

Achieving Security and Privacy via Encrypted Architectures

Compute- and Process-in-Memory Modules for Machine Learning and Neuromorphic Computing

Cognitive Modeling of Aggregate and Individual Performance on the Remote Associates Test

Circuits & Techniques for Cell-based Analog Design Automation of Low Dropout Regulators

Automating the Detection and Correction of Failures in Modern Persistent Memory Systems

Rescuing Data Center Processors

Where are the Humans in Human-AI Interaction: The Missing Human-Centered Perspective on Interpretability Tools for Machine Learning

Coherent Spatial and Temporal Combining of Femtosecond Fiber Lasers at the Storage Energy Limit Enabling High-Power Drivers of Laser Plasma Accelerators and Other Secondary Radiation Sources

Electronic, optical, and excitonic properties of atomically thin semiconductors

A Statistical Approach to Stochastic Computing Design and Analysis

Implicit Design Choices and Their Impact on Emotion Recognition Model Development and Evaluation

Brushless Self-Excited Synchronous Field-Winding Machine With Five- and Higher Phase Design Using Independently Controlled Spatial Harmonics

Power Processing Architectures for Sustainable Power and Energy

Overcoming the Performance and Security Challenges of Building Highly-Distributed Fault-Tolerant Embedded Systems

Accelerated Systems for Portable DNA Sequencing

Characterizing Laser Signal Injection and its Impact on the Security of Cyber-Physical Systems

Solution-Based Chemical Deposition of Wide and Ultra-Wide Bandgap Oxide Semiconductors

Advances in p-type and Ambipolar Oxide Semiconductor Materials and Devices for Thin Film Electronics

N-polar GaN HEMT with HfO2 as gate dielectric for mm-wave applications

Strategic Interactions and Incentive Mechanisms on Multi-scale Networks

Crafting Machine Learning Defenses against Adversaries

On-Chip UV/VIS Optical Spectrometer

Practical Memory Disaggregation

Ultrafast Charge Separation and Relaxation in Novel Nanostructures

Exploiting App Differences for Security Analysis of Multi-Geo Mobile Ecosystems

Fully Integrated Sub-Terahertz Frequency Stabilized Sources and Transceivers for 5G Communications and Beyond

From Compression to Communication: Performance Limits for Quantum Networks

Low-Power Localization Systems with Hardware-Efficient Deep Neural Networks

From Brain Science to AI and back: using deep neural networks to represent and decode brain activity linked to behavior

Optimal Scheduling and Control of Uncertain Coupled Power-Water Distribution Networks

Saturation Effects and Thermal Balance in Laser-Cooled Solids

Extending the Leverage of Air-Bridge Thermophotovoltaic Architecture: Design, Modeling, and Experimental Demonstration

Steerable AI-powered Art-making Tools

Secure and Safe Autonomous Driving: an Adversary’s Perspective

Novel flexible neural interfaces: intracortical reconfigurable multimodal origami probe and intrafascicular microneedle electrode array

Enabling Practical Deployments of Privacy-Preserving Technologies

Advanced Techniques for Spectral & Temporal Ultrashort Pulse Synthesis in Coherent Pulse Stacking Amplification

Sequential Decision Making for Large Scale Machine Learning

Exciton transport properties and devices

Investigation of p-type Oxide Semiconductor Thin Film Transistors for Complementary Metal Oxide Semiconductor Technologies

Efficient and Dependable Deep Learning Systems

Theory of Mind in Collaborative Tasks between Embodied Agents

Robust Wireless Communications for Low Power Short Message Internet-of-Things Applications

Learning, Control, and Reduction for Markov Jump Systems

Exploiting Reconfiguration and Co-Design for Domain-Agnostic Hardware Acceleration

Towards Generalizable Neural Networks for Graph Applications

Energy-Efficient Low-Power Mm-Scale Wireless Communication System

Scalable Algorithms Using Optimization on Orthogonal Matrix Manifolds

Acceleration Techniques of Sparse Linear Algebra on Emerging Architectures