The increasing capability of AI models to generate user interfaces has the potential to transform HCI and design practice. We invite researchers, designers, developers, and practitioners to explore how generative UI – interfaces created by AI models – will reshape design methods, workflows, and user…
Media representations of people with disabilities profoundly influence societal perceptions, yet have historically been absent, stereotyped, or inaccurate. As AI-generated visual media becomes increasingly prevalent, there is a critical opportunity to address these misrepresentations. Responding to the lack of collectively negotiated representation standards, this paper…
We introduce VeriStruct, a novel framework that extends AI-assisted automated verification from single functions to more complex data structure modules in Verus. VeriStruct employs a planner module to orchestrate the systematic generation of abstractions, type invariants, specifications, and proof code. To address the challenge that…
The widespread adoption of Large Language Models (LLMs) has enabled diverse applications with very different latency requirements. Existing LLM serving frameworks rely on siloed infrastructure with coarse-grained workload segregation -- interactive and batch -- leading to inefficient resource utilization and limited support for fine-grained Quality-of-Service…
AI applications increasingly run on fast-evolving, heterogeneous hardware to maximize performance, but general-purpose libraries lag in supporting these features. Performance-minded programmers often build custom communication stacks that are fast but error-prone and non-portable. This paper introduces MSCCL++, a design methodology for developing high-performance, portable communication…
Communication-Centered Computing Communication shapes how societies create, share, and preserve knowledge. Yet today’s digital tools remain organized around static formats that enforce rigid separations between creation and consumption, author and reader, expression and interpretation. These structural constraints fragment collaboration and limit how knowledge evolves over…
Agentic applications are LLM that iteratively invoke external tools to accomplish complex tasks. Such tool-based agents are rapidly becoming the dominant paradigm for deploying language models in production. Unlike traditional single-turn inference, agentic workloads chain together multiple LLM calls and tool executions before producing a…
Earth observation nanosatellites capture high-resolution photos of the Earth in near real-time. These images increasingly support ML applications that are critical for safety and response, such as forest fire and flood detection. However, the downlink bandwidth is limited, resulting in days or weeks of delay…
Microsoft Research New York City (MSR NYC) is seeking a Senior Researcher whose work focuses on understanding and influencing the ways that artificial intelligence (AI) systems and society shape one another on multiple scales (e.g., individuals, groups, organizations, society as a whole) and over multiple…
MIRA is a foundation model for medical time-series, designed to learn a unified representation space across heterogeneous clinical datasets and support zero-shot forecasting in real-world healthcare settings. Unlike conventional time-series models that operate on fixed sampling rates or task-specific feature spaces, MIRA is built to…
Distributed AI training and inference demand precise traffic control to achieve optimal network performance, yet current traffic management methods remain passive, coarse-grained, and fragmented. We argue that future AI backend optimization requires holistic, proactive, packet-level controllability. In this position paper, we propose a new vision…
Behavior cloning (BC) is a practical offline imitation learning method, but it often fails when expert demonstrations are limited. Recent works have introduced a class of architectures named predictive inverse dynamics models (PIDM) that combine a future state predictor with an inverse dynamics model (IDM).…
