Milijana Surbatovich

Logo

Milijana's personal web page

View My GitHub Profile

About me

I will be joining the University of Maryland CS department as an Assistant Professor in January 2024. I am actively looking for motivated undergraduate, master, and Ph.D. students.

My research interests are in programming languages, formal methods, and systems for non-traditional computing systems, broadly speaking. I want to provide the formal models, enforcement mechanisms, and language abstractions necessary for designing emerging computing platforms to meet well-defined correctness and security guarantees from the ground up, allowing programmers to unlock the full potential of their system without compromising trustworthiness. Check out the PLUM lab to learn more about PL research at UMD: PLUM.

Previously, I was a PhD student in Electrical & Computer Engineering at Carnegie Mellon University, co-advised by Brandon Lucia and Limin Jia. My research focused on designing formally correct intermittent systems for energy-harvesting devices. I operationalized formal correctness reasoning to provide practical tools and systems that guarantee intermittent computing applications for these devices would run correctly.

I am honored to have received the CyLab Presidential Fellowship in 2021. More recently, I won first place in the PLDI 22 SRC for my work on creating a type system for reasoning about correct intermittent execution, and I was selected as a 2022 Rising Star in EECS

Contact: milijana at umd dot edu

Publications

Milijana Surbatovich, Naomi Spargo, Limin Jia, and Brandon Lucia. 2023. A Type System for Safe Intermittent Computing. To appear at PLDI 23 Link to paper

Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, and Limin Jia. 2023. Modal Crash Types for Intermittent Computing. To appear at ESOP 23

Emily Ruppel, Milijana Surbatovich, Harsh Desai, Kiwan Maeng and Brandon Lucia. 2022. An Architectural Charge Management Interface for Energy-Harvesting Systems. 55th IEEE/ACM International Symposium on Microarchitecture (MICRO), 2022, pp. 318-335, doi: 10.1109/MICRO56248.2022.00034 Link to paper

Milijana Surbatovich, Limin Jia, and Brandon Lucia. 2021. Automatically enforcing fresh and consistent inputs in intermittent systems. Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. DOI:https://doi.org/10.1145/3453483.3454081 Link to paper

Milijana Surbatovich, Limin Jia, and Brandon Lucia. 2020. Towards a Formal Foundation of Intermittent Computing. Proc. ACM Program. Lang. 4, OOPSLA, Article 163 (November 2020), 31 pages. DOI:https://doi.org/10.1145/3428231 Link to paper Slides (as pdf)

Camille Cobb, Milijana Surbatovich, Anna Kawakami, Mahmood Sharif, Lujo Bauer, Anupam Das, Limin Jia. 2020. How Risky Are Real Users’ IFTTT Applets? USENIX Symposium on Usable Privacy and Security (SOUPS 2020). Link to paper

Milijana Surbatovich, Limin Jia, and Brandon Lucia. 2019. I/O dependent idempotence bugs in intermittent systems. Proc. ACM Program. Lang. 3, OOPSLA, Article 183 (October 2019), 31 pages. DOI: https://doi.org/10.1145/3360609 Link to paper Slides (as powerpoint)

Milijana Surbatovich, Jassim Aljuraidan, Lujo Bauer, Anupam Das, and Limin Jia. 2017. Some Recipes Can Do More Than Spoil Your Appetite: Analyzing the Security and Privacy Risks of IFTTT Recipes. In Proceedings of the 26th International Conference on World Wide Web (WWW ‘17). 1501-1510. DOI: https://doi.org/10.1145/3038912.3052709 Link to paper

Education