Milijana Surbatovich

According to our database, Milijana Surbatovich authored at least 8 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Type System for Safe Intermittent Computing.

Milijana Surbatovich, Naomi Spargo, Limin Jia, Brandon Lucia

Proc. ACM Program. Lang., 2023

Modal Crash Types for Intermittent Computing.

Farzaneh Derakhshan, Myra Dotzel, Milijana Surbatovich, Limin Jia

Proceedings of the Programming Languages and Systems, 2023

2022

An Architectural Charge Management Interface for Energy-Harvesting Systems.

Emily Ruppel, Milijana Surbatovich, Harsh Desai, Kiwan Maeng, Brandon Lucia

Proceedings of the 55th IEEE/ACM International Symposium on Microarchitecture, 2022

2021

Automatically enforcing fresh and consistent inputs in intermittent systems.

Milijana Surbatovich, Limin Jia, Brandon Lucia

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Towards a formal foundation of intermittent computing.

Milijana Surbatovich, Brandon Lucia, Limin Jia

Proc. ACM Program. Lang., 2020

How Risky Are Real Users' IFTTT Applets?

Camille Cobb, Milijana Surbatovich, Anna Kawakami, Mahmood Sharif, Lujo Bauer, Anupam Das, Limin Jia

Proceedings of the Sixteenth Symposium on Usable Privacy and Security, 2020

2019

I/O dependent idempotence bugs in intermittent systems.

Milijana Surbatovich, Limin Jia, Brandon Lucia

Proc. ACM Program. Lang., 2019

2017

Some Recipes Can Do More Than Spoil Your Appetite: Analyzing the Security and Privacy Risks of IFTTT Recipes.

Milijana Surbatovich, Jassim Aljuraidan, Lujo Bauer, Anupam Das, Limin Jia

Proceedings of the 26th International Conference on World Wide Web, 2017