Abstracting resource effects. - Valerie Zhao (SPLASH (Companion Volume), 2017)

Using object capabilities and effects to build an authority-safe module system: poster. - Darya Melicher; Yangqingwei Shi; Valerie Zhao; Alex Potanin; Jonathan Aldrich (HotSoS, 2018)

Evidence Humans Provide When Explaining Data-Labeling Decisions. - Judah Newman; Bowen Wang; Valerie Zhao; Amy Zeng; Michael L. Littman; Blase Ur (INTERACT (3), 2019)

Visualizing Differences to Improve End-User Understanding of Trigger-Action Programs. - Valerie Zhao; Lefan Zhang; Bo Wang; Shan Lu 001; Blase Ur (CHI Extended Abstracts, 2020)

Trace2TAP: Synthesizing Trigger-Action Programs from Traces of Behavior. - Lefan Zhang; Weijia He; Olivia Morkved; Valerie Zhao; Michael L. Littman; Shan Lu 001; Blase Ur (Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2020)

Understanding Trigger-Action Programs Through Novel Visualizations of Program Differences. - Valerie Zhao; Lefan Zhang; Bo Wang; Michael L. Littman; Shan Lu 001; Blase Ur (CHI, 2021)

SoK: Context Sensing for Access Control in the Adversarial Home IoT. - Weijia He; Valerie Zhao; Olivia Morkved; Sabeeka Siddiqui; Earlence Fernandes; Josiah D. Hester; Blase Ur (EuroS&P, 2021)

Do Users Have Contextual Preferencesfor Smartphone Power Management? - Sophie Welber; Valerie Zhao; Claire Dolin; Olivia Morkved; Henry Hoffmann; Blase Ur (UMAP, 2021)

Robot Mediation of Performer-Audience Dynamics in Live-Streamed Performances. - Valerie Zhao; Baldwin Giang; Sarah Sebo (HRI, 2022)

Bounded Abstract Effects. - Darya Melicher; Anlun Xu; Valerie Zhao; Alex Potanin; Jonathan Aldrich (ACM Trans. Program. Lang. Syst., 2022)