Some Recipes Can Do More Than Spoil Your Appetite: Analyzing the Security and Privacy Risks of IFTTT Recipes. - Milijana Surbatovich; Jassim Aljuraidan; Lujo Bauer; Anupam Das 001; Limin Jia 001 (WWW, 2017)

I/O dependent idempotence bugs in intermittent systems. - Milijana Surbatovich; Limin Jia 001; Brandon Lucia (Proc. ACM Program. Lang., 2019)

How Risky Are Real Users' IFTTT Applets? - Camille Cobb; Milijana Surbatovich; Anna Kawakami; Mahmood Sharif; Lujo Bauer; Anupam Das 001; Limin Jia 001 (SOUPS @ USENIX Security Symposium, 2020)

Towards a formal foundation of intermittent computing. - Milijana Surbatovich; Brandon Lucia; Limin Jia 001 (Proc. ACM Program. Lang., 2020)

Automatically enforcing fresh and consistent inputs in intermittent systems. - Milijana Surbatovich; Limin Jia 001; Brandon Lucia (PLDI, 2021)

An Architectural Charge Management Interface for Energy-Harvesting Systems. - Emily Ruppel; Milijana Surbatovich; Harsh Desai; Kiwan Maeng; Brandon Lucia (MICRO, 2022)

Modal Crash Types for Intermittent Computing. - Farzaneh Derakhshan; Myra Dotzel; Milijana Surbatovich; Limin Jia 001 (ESOP, 2023)

A Type System for Safe Intermittent Computing. - Milijana Surbatovich; Naomi Spargo; Limin Jia 001; Brandon Lucia (Proc. ACM Program. Lang., 2023)

Designing Formally Correct Intermittent Systems - Milijana Surbatovich (2023)

Modal Crash Types for WAR-Aware Intermittent Computing. - Myra Dotzel; Farzaneh Derakhshan; Milijana Surbatovich; Limin Jia 001 (ACM Trans. Program. Lang. Syst., 2025)