Summarized Causal Explanations For Aggregate Views by Youngmann, Brit, Cafarella, Michael, Gilad, Amir, Roy, Sudeepa

“…Association for Computing Machinery…”
Get full text

Burnout in Cybersecurity Incident Responders: Exploring the Factors that Light the Fire by Nepal, Subigya, Hernandez, Javier, Lewis, Robert, Chaudhry, Ahad, Houck, Brian, Knudsen, Eric, Rojas, Raul, Tankus, Ben, Prafullchandra, Hemma, Czerwinski, Mary

“…Association for Computing Machinery…”
Get full text

Form-From: A Design Space of Social Media Systems by Zhang, Amy X., Bernstein, Michael S., Karger, David R., Ackerman, Mark S.

“…Association for Computing Machinery…”
Get full text

Who2chat: A Social Networking System for Academic Researchers in Virtual Social Hours Enabling Coordinating, Overcoming Barriers and Social Signaling by Park, Soya, Song, Jaeyoon, Karger, David R., Malone, Thomas W.

“…Association for Computing Machinery…”
Get full text

Quantum Control Machine: The Limits of Control Flow in Quantum Programming by Yuan, Charles, Villanyi, Agnes, Carbin, Michael

“…Association for Computing Machinery…”
Get full text

Distributions for Compositionally Differentiating Parametric Discontinuities by Michel, Jesse, Mu, Kevin, Yang, Xuanda, Bangaru, Sai Praveen, Collins, Elias Rojas, Bernstein, Gilbert, Ragan-Kelley, Jonathan, Carbin, Michael, Li, Tzu-Mao

“…Association for Computing Machinery…”
Get full text

FaceFolds: Meshed Radiance Manifolds for Efficient Volumetric Rendering of Dynamic Faces by Medin, Safa C., Li, Gengyan, Du, Ruofei, Garbin, Stephan, Davidson, Philip, Wornell, Gregory W., Beeler, Thabo, Meka, Abhimitra

“…Association for Computing Machinery…”
Get full text

Developing Wearables and Environmental Sensor Systems for Studying Ecosystems by Chwalek, Patrick, Fang, Cathy Mengying

“…Association for Computing Machinery…”
Get full text

Optimizing Disjunctive Queries with Tagged Execution by Kim, Albert, Madden, Samuel

“…Association for Computing Machinery…”
Get full text

Design and Fabrication of Multifunctional E-Textiles by Upcycling Waste Cotton Fabrics through Carbonization by Wicaksono, Irmandy, Maheshwari, Aditi, Haddad, Don Derek, Paradiso, Joseph, Danielescu, Andreea

“…Association for Computing Machinery…”
Get full text

From Classification to Clinical Insights: Towards Analyzing and Reasoning About Mobile and Behavioral Health Data With Large Language Models by Englhardt, Zachary, Ma, Chengqian, Morris, Margaret E., Chang, Chun-Cheng, Xu, Xuhai "Orson", Qin, Lianhui, McDuff, Daniel, Liu, Xin, Patel, Shwetak, Iyer, Vikram

“…Association for Computing Machinery…”
Get full text

G-VOILA: Gaze-Facilitated Information Querying in Daily Scenarios by Wang, Zeyu, Shi, Yuanchun, Wang, Yuntao, Yao, Yuchen, Yan, Kun, Wang, Yuhan, Ji, Lei, Xu, Xuhai, Yu, Chun

“…Association for Computing Machinery…”
Get full text

Talk2Care: An LLM-based Voice Assistant for Communication between Healthcare Providers and Older Adults by Yang, Ziqi, Xu, Xuhai, Yao, Bingsheng, Rogers, Ethan, Zhang, Shao, Intille, Stephen, Shara, Nawar, Gao, Guodong Gordon, Wang, Dakuo

“…Association for Computing Machinery…”
Get full text

A Verified Compiler for a Functional Tensor Language by Liu, Amanda, Bernstein, Gilbert, Chlipala, Adam, Ragan-Kelley, Jonathan

“…Association for Computing Machinery…”
Get full text

NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks by Brahmakshatriya, Ajay, Rinard, Chris, Ghobadi, Manya, Amarasinghe, Saman

“…Association for Computing Machinery…”
Get full text

The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation by Yuan, Charles, Carbin, Michael

“…Association for Computing Machinery…”
Get full text

Mechanised Hypersafety Proofs about Structured Data by Gladshtein, Vladimir, Zhao, Qiyuan, Ahrens, Willow, Amarasinghe, Saman, Sergey, Ilya

“…Association for Computing Machinery…”
Get full text

GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables by Huot, Mathieu, Ghavami, Matin, Lew, Alexander K., Schaechtle, Ulrich, Freer, Cameron E., Shelby, Zane, Rinard, Martin C., Saad, Feras A., Mansinghka, Vikash K.

“…Association for Computing Machinery…”
Get full text

Live Verification in an Interactive Proof Assistant by Gruetter, Samuel, Fukala, Viktor, Chlipala, Adam

“…Association for Computing Machinery…”
Get full text

Foundational Integration Verification of a Cryptographic Server by Erbsen, Andres, Philipoom, Jade, Jamner, Dustin, Lin, Ashley, Gruetter, Samuel, Pit-Claudel, Clément, Chlipala, Adam

“…Association for Computing Machinery…”
Get full text