Milijana Surbatovich

Logo

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

Publications

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