Login / Signup
Valerie Zhao
Publication Activity (10 Years)
Years Active: 2017-2022
Publications (10 Years): 10
Top Topics
Logic Programs
User Friendliness
Execution Traces
Statistically Significant
Top Venues
EuroS&P
SPLASH (Companion Volume)
INTERACT (3)
UMAP
</>
Publications
</>
Valerie Zhao
,
Baldwin Giang
,
Sarah Sebo
Robot Mediation of Performer-Audience Dynamics in Live-Streamed Performances.
HRI
(2022)
Darya Melicher
,
Anlun Xu
,
Valerie Zhao
,
Alex Potanin
,
Jonathan Aldrich
Bounded Abstract Effects.
ACM Trans. Program. Lang. Syst.
44 (1) (2022)
Weijia He
,
Valerie Zhao
,
Olivia Morkved
,
Sabeeka Siddiqui
,
Earlence Fernandes
,
Josiah Hester
,
Blase Ur
SoK: Context Sensing for Access Control in the Adversarial Home IoT.
EuroS&P
(2021)
Valerie Zhao
,
Lefan Zhang
,
Bo Wang
,
Michael L. Littman
,
Shan Lu
,
Blase Ur
Understanding Trigger-Action Programs Through Novel Visualizations of Program Differences.
CHI
(2021)
Sophie Welber
,
Valerie Zhao
,
Claire Dolin
,
Olivia Morkved
,
Henry Hoffmann
,
Blase Ur
Do Users Have Contextual Preferencesfor Smartphone Power Management?
UMAP
(2021)
Lefan Zhang
,
Weijia He
,
Olivia Morkved
,
Valerie Zhao
,
Michael L. Littman
,
Shan Lu
,
Blase Ur
Trace2TAP: Synthesizing Trigger-Action Programs from Traces of Behavior.
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol.
4 (3) (2020)
Valerie Zhao
,
Lefan Zhang
,
Bo Wang
,
Shan Lu
,
Blase Ur
Visualizing Differences to Improve End-User Understanding of Trigger-Action Programs.
CHI Extended Abstracts
(2020)
Judah Newman
,
Bowen Wang
,
Valerie Zhao
,
Amy Zeng
,
Michael L. Littman
,
Blase Ur
Evidence Humans Provide When Explaining Data-Labeling Decisions.
INTERACT (3)
(2019)
Darya Melicher
,
Yangqingwei Shi
,
Valerie Zhao
,
Alex Potanin
,
Jonathan Aldrich
Using object capabilities and effects to build an authority-safe module system: poster.
HotSoS
(2018)
Valerie Zhao
Abstracting resource effects.
SPLASH (Companion Volume)
(2017)