Milijana Surbatovich

13 papers A* 4A 1Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Modal Crash Types for WAR-Aware Intermittent Computing.
ACM Trans. Program. Lang. Syst.
Myra Dotzel, Farzaneh Derakhshan, Milijana Surbatovich, Limin Jia
2025 A* conf
Vest: Verified, Secure, High-Performance Parsing and Serialization for Rust.
USENIX Security Symposium
Yi Cai, Pratap Singh, Zhengyao Lin, Jay Bosamiya, Joshua Gancher, Milijana Surbatovich, Bryan Parno
2023 J jnl
A Type System for Safe Intermittent Computing.
Proc. ACM Program. Lang.
Milijana Surbatovich, Naomi Spargo, Limin Jia, Brandon Lucia
2023 — —
Designing Formally Correct Intermittent Systems
Milijana Surbatovich
2023 A conf
Modal Crash Types for Intermittent Computing.
ESOP
Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, Limin Jia
2022 A* conf
An Architectural Charge Management Interface for Energy-Harvesting Systems.
MICRO
Emily Ruppel, Milijana Surbatovich, Harsh Desai, Kiwan Maeng, Brandon Lucia
2021 J jnl
Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems.
CoRR
Milijana Surbatovich, Limin Jia, Brandon Lucia
2021 A* conf
Automatically enforcing fresh and consistent inputs in intermittent systems.
PLDI
Milijana Surbatovich, Limin Jia, Brandon Lucia
2020 — conf
How Risky Are Real Users' IFTTT Applets?
SOUPS @ USENIX Security Symposium
Camille Cobb, Milijana Surbatovich, Anna Kawakami, Mahmood Sharif, Lujo Bauer, Anupam Das, Limin Jia
2020 J jnl
Towards a Formal Foundation of Intermittent Computing.
CoRR
Milijana Surbatovich, Limin Jia, Brandon Lucia
2020 J jnl
Towards a formal foundation of intermittent computing.
Proc. ACM Program. Lang.
Milijana Surbatovich, Brandon Lucia, Limin Jia
2019 J jnl
I/O dependent idempotence bugs in intermittent systems.
Proc. ACM Program. Lang.
Milijana Surbatovich, Limin Jia, Brandon Lucia
2017 A* conf
Some Recipes Can Do More Than Spoil Your Appetite: Analyzing the Security and Privacy Risks of IFTTT Recipes.
WWW
Milijana Surbatovich, Jassim Aljuraidan, Lujo Bauer, Anupam Das, Limin Jia