Milijana Surbatovich


Milijana's personal web page

View My GitHub Profile

About me

I am a PhD student in Electrical & Computer Engineering at Carnegie Mellon University, co-advised by Brandon Lucia and Limin Jia. My research interests are in programming languages, formal methods, and systems for intermittent computing. I want to operationalize formal correctness reasoning to provide practical tools and systems that guarantee intermittent computing applications will run correctly and securely.

If you want to know more about intermittent computing, check out our lab website: Abstract Research Group

I am honored to have received the CyLab Presidential Fellowship in 2021.

Contact: milijans at andrew dot cmu dot edu CV


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: 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: 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: 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: Link to paper