| Some recipes can do more than spoil your appetite: Analyzing the security and privacy risks of IFTTT recipes M Surbatovich, J Aljuraidan, L Bauer, A Das, L Jia Proceedings of the 26th International Conference on World Wide Web, 1501-1510, 2017 | 199 | 2017 |
| How Risky Are Real Users'{IFTTT} Applets? C Cobb, M Surbatovich, A Kawakami, M Sharif, L Bauer, A Das, L Jia Sixteenth Symposium on Usable Privacy and Security (SOUPS 2020), 505-529, 2020 | 57 | 2020 |
| Towards a formal foundation of intermittent computing M Surbatovich, B Lucia, L Jia Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-31, 2020 | 46 | 2020 |
| Automatically enforcing fresh and consistent inputs in intermittent systems M Surbatovich, L Jia, B Lucia Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 34 | 2021 |
| I/O dependent idempotence bugs in intermittent systems M Surbatovich, L Jia, B Lucia Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-31, 2019 | 34 | 2019 |
| An architectural charge management interface for energy-harvesting systems E Ruppel, M Surbatovich, H Desai, K Maeng, B Lucia 2022 55th IEEE/ACM International Symposium on Microarchitecture (MICRO), 318-335, 2022 | 18 | 2022 |
| A type system for safe intermittent computing M Surbatovich, N Spargo, L Jia, B Lucia Proceedings of the ACM on Programming Languages 7 (PLDI), 736-760, 2023 | 10 | 2023 |
| Modal crash types for intermittent computing F Derakhshan, M Dotzel, M Surbatovich, L Jia European Symposium on Programming, 168-196, 2023 | 2 | 2023 |
| Technical Report: A Type System for Safe Intermittent Computing M Surbatovich, N Spargo, L Jia, B Lucia Carnegie Mellon University, 2023 | 1 | 2023 |
| Designing Formally Correct Intermittent Systems M Surbatovich Carnegie Mellon University, 2023 | | 2023 |
| Modal Crash Types for WAR-Aware Intermittent Computing M Dotzel, L Jia, F Derakhshan, M Surbatovich Carnegie Mellon University, 2018 | | 2018 |
