Valerie Zhao

Abstracting resource effects

Valerie Zhao, 2017, SPLASH.

Evaluation of Dynamic Binary Instrumentation Approaches: Dynamic Binary Translation vs. Dynamic Probe Injection

Valerie Zhao, 2018 .

Trace2TAP: Synthesizing Trigger-Action Programs from Traces of Behavior

Blase Ur, Michael L. Littman, Lefan Zhang, 2020, Proc. ACM Interact. Mob. Wearable Ubiquitous Technol..

Using object capabilities and effects to build an authority-safe module system: poster

Jonathan Aldrich, Alex Potanin, Darya Melicher, 2018, HotSoS.

Evidence Humans Provide When Explaining Data-Labeling Decisions

Blase Ur, Bowen Wang, Michael L. Littman, 2019, INTERACT.

Visualizing Differences to Improve End-User Understanding of Trigger-Action Programs

Blase Ur, Bo Wang, Lefan Zhang, 2020, CHI Extended Abstracts.

SoK: Context Sensing for Access Control in the Adversarial Home IoT

Blase Ur, Josiah D. Hester, Earlence Fernandes, 2021, 2021 IEEE European Symposium on Security and Privacy (EuroS&P).

Do Users Have Contextual Preferencesfor Smartphone Power Management?

Blase Ur, Henry Hoffmann, Valerie Zhao, 2021, UMAP.

Understanding Trigger-Action Programs Through Novel Visualizations of Program Differences

Shan Lu, Blase Ur, Michael L. Littman, 2021, CHI.