Milijana Surbatovich

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 10

Top Topics

Mathematical Morphology

Top Venues

Proc. ACM Program. Lang.

SOUPS @ USENIX Security Symposium

Publications

Milijana Surbatovich, Naomi Spargo, Limin Jia, Brandon Lucia
A Type System for Safe Intermittent Computing. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, Limin Jia
Modal Crash Types for Intermittent Computing. ESOP (2023)
Emily Ruppel, Milijana Surbatovich, Harsh Desai, Kiwan Maeng, Brandon Lucia
An Architectural Charge Management Interface for Energy-Harvesting Systems. MICRO (2022)
Milijana Surbatovich, Limin Jia, Brandon Lucia
Automatically enforcing fresh and consistent inputs in intermittent systems. PLDI (2021)
Milijana Surbatovich, Limin Jia, Brandon Lucia
Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems. CoRR (2021)
Milijana Surbatovich, Limin Jia, Brandon Lucia
Towards a Formal Foundation of Intermittent Computing. CoRR (2020)
Milijana Surbatovich, Brandon Lucia, Limin Jia
Towards a formal foundation of intermittent computing. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Camille Cobb, Milijana Surbatovich, Anna Kawakami, Mahmood Sharif, Lujo Bauer, Anupam Das, Limin Jia
How Risky Are Real Users' IFTTT Applets? SOUPS @ USENIX Security Symposium (2020)
Milijana Surbatovich, Limin Jia, Brandon Lucia
I/O dependent idempotence bugs in intermittent systems. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Milijana Surbatovich, Jassim Aljuraidan, Lujo Bauer, Anupam Das, Limin Jia
Some Recipes Can Do More Than Spoil Your Appetite: Analyzing the Security and Privacy Risks of IFTTT Recipes. WWW (2017)