Publications

2025

• Stramash: A Fused-kernel Operating System for Cache-Coherent, Heterogeneous-ISA Platforms, T. Xing, C. Xiong, T. Wei, A. Sanchez, B. Ravindran, J. Balkind, and A. Barbalace, ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2025), March 30-April 3, 2025, Rotterdam, The Netherlands (ACM Artifacts Evaluated - Functional , Available )
• Formally Verified Binary-level Pointer Analysis, F. Verbeek, A. Shokri, D. Engel, and B. Ravindran, 47th IEEE/ACM International Conference on Software Engineering (ICSE 2025), April 27-May 3, 2025, Ottawa, Canada (author version available as an arXiv report)
• On Extending Incorrectness Logic with Backwards Reasoning, F. Verbeek, M. Sefat, Z. Fu, and B. Ravindran, 52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025), January 19-25, 2025, Denver, Colorado, USA
• HEXO: Offloading Long-Running Compute- and Memory-Intensive Workloads on Low-Cost, Low-Power Embedded Systems, P. Olivier, A. Mehrab, S. Errabelly, S. Lankes, M. L. Karaoui, R. Lyerly, S-H. Kim, A. Barbalace, and B. Ravindran, IEEE Transactions on Cloud Computing, October-December, 2024

2024

• Offloading Datacenter Jobs to RISC-V Hardware for Improved Performance and Power Efficiency, B. Heerekar, C. Philippidis, H-R. Chuang, P. Olivier, A. Barbalace, and B. Ravindran, 17th ACM International Systems and Storage Conference (Systor 2024), September 23-25, 2024, Virtual
• Verifiably Correct Lifting of Position-Independent x86-64 Binaries to Symbolized Assembly, F. Verbeek, N. Naus, and B. Ravindran, 31st ACM Conference on Computer and Communications Security (CCS 2024), October 14-18, 2024, Salt Lake City, USA (ACM Artifacts Evaluated - Functional , Reusable , Available )
• libLISA: Instruction Discovery and Analysis on x86-64, J. Craaijo, F. Verbeek, and B. Ravindran, 2024 ACM SIGPLAN Conference on Objected Oriented Programming, Systems, Languages and Applications (OOPSLA 2024), October 20-25, 2024, Pasadena, California, USA (ACM Artifacts Evaluated - Functional , Reusable , Reproduced , Available , poster version of the paper is available here)
• A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation, R. Nikolaev and B. Ravindran, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2024), June 24-28, 2024, Copenhagen, Denmark (ACM Artifacts Evaluated - Functional , Reusable , Available )
• Dapper: A Lightweight and Extensible Framework for Live Program State Rewriting, A. Bapat, J. Shastri, X. Wang, A. Sundarasamy, and B. Ravindran, 44th IEEE International Conference on Distributed Computing Systems (ICDCS 2024), July 23-26, Jersey City, New Jersey, USA
• On the Decidability of Disassembling Binaries, D. Engel, F. Verbeek, and B. Ravindran, 18th Theoretical Aspects of Software Engineering Conference (TASE 2024), July 29-August 1, 2024, Guiyang, China
• sMVX: Multi-Variant Execution on Selected Code Paths, S. Yeoh, X. Wang, J-W. Jang, and B. Ravindran, 25th ACM/IFIP International Middleware Conference (MIDDLEWARE 2024), December 2-6, 2024, Hong Kong, China
• Exceptional Interprocedural Control Flow Graphs for x86-64 Binaries, J. Bockenek, F. Verbeek, and B. Ravindran, 21st Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA 2024), July 17-19, 2024, Lausanne, Switzerland

2023

• DynaCut: A Framework for Dynamic and Adaptive Program Customization, A. Mahurkar, X. Wang, H. Zhang, and B. Ravindran, 24th ACM/IFIP International Middleware Conference (MIDDLEWARE 2023), December 11-15, 2023, Bologna, Italy
• Understanding the Security of Linux eBPF Subsystem, M. Husain, X. Wang, and B. Ravindran, 14th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys 2023), August 24-25, 2023, Seoul, South Korea
• BIRD: A Binary Intermediate Representation for Formally Verified Decompilation of x86-64 Binaries, D. Engel, F. Verbeek, and B. Ravindran, 17th International Conference on Tests and Proofs (TAP 2023), July 18-19, 2023, Leicester, United Kingdom
• Low-level Reachability Analysis based on Formal Logic, N. Naus, F. Verbeek, M. Schoolderman, B. Ravindran, 17th International Conference on Tests and Proofs (TAP 2023), July 18-19, 2023, Leicester, United Kingdom
• Aggregate VM: Why Reduce or Evict VM’s Resources When You Can Borrow Them From Other Nodes?, H. Chuang, K. Manaouil, T. Xing, A. Barbalace, P. Olivier, B. Heerekar, and B. Ravindran, 18th ACM European Conference on Computer Systems (EuroSys 2023), May 8-12, 2023, Rome, Italy

2022

• A Formal Semantics for P-Code, N. Naus, F. Verbeek, D. Walker, and B. Ravindran, 14th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2022), October 17-18, 2022, Trento, Italy
• Rave: A Modular and Extensible Framework for Program State Re-Randomization, C. Blackburn, X. Wang, and B. Ravindran, 9th ACM Workshop on Moving Target Defense (MTD 2022), Co-located with CCS 2022, November 7, 2022, Los Angeles, USA
• wCQ: A Fast Wait-Free Queue with Bounded Memory Usage, R. Nikolaev and B. Ravindran, 34th ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2022), July 11-14, 2022, Philadelphia, PA
• Scalable Byzantine Fault Tolerance via Partial Decentralization, B. Arun and B. Ravindran, 48th International Conference on Very Large Data Bases (VLDB 2022), September 05-09, 2022, Sydney, Australia
• DSV: Disassembly Soundness Validation without Assuming a Ground Truth, X. An, F. Verbeek, and B. Ravindran, 14th NASA Formal Methods Symposium (NFM 2022), May 24-27, 2022, Pasadena, California, USA
• Formally Verified Lifting of C-compiled x86-64 Binaries, F. Verbeek, J. Bockenek, Z. Fu, and B. Ravindran, 43rd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2022), June 13-17, 2022, San Diego, California, USA (ACM Artifacts Evaluated - Functional , Reusable , Available )
• H-Container: Enabling Heterogeneous-ISA Container Migration in Edge Computing, T. Xing, A. Barbalace, P. Olivier, M. Karaoui, W. Wang, B. Ravindran, ACM Transactions on Computer Systems, March 2022
• Transparent, Cross-ISA Enclave Offloading, X. Wang, C. Bilbao, and B. Ravindran, 5th Workshop on System Software for Trusted Execution (SysTEX 2022), Co-located with ASPLOS 2022, March 1, 2022, Lausanne, Switzerland
• Kite: Lightweight Critical Service Domains, A Mehrab, R. Nikolaev, and B. Ravindran, 17th ACM European Conference on Computer Systems (EuroSys 2022), April 5-8, 2022, Rennes, France (ACM Artifacts Evaluated - Functional , Reproduced , Available )
• Adelie: Continuous Address Space Layout Re-Randomization for Linux Drivers, R. Nikolaev, H. Nadeem, C. Stone, and B. Ravindran, 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2022), February 28-March 4, 2022, Lausanne, Switzerland (ACM Artifacts Evaluated - Functional , Reproduced , Available , full version of paper is available as an arXiv report)
• wCQ: A Fast Wait-Free Queue with Bounded Memory Usage, R. Nikolaev and B. Ravindran, 27th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP 2022), Poster paper, February 12-16, 2022, Seoul, South Korea

2021

• An OpenMP Runtime for Transparent Work Sharing Across Cache-Incoherent Heterogeneous Nodes, R. Lyerly, C. Bilbao, C. Min, C. Rossbach, and B. Ravindran, ACM Transactions on Computer Systems, December 2021
• Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures, R. Nikolaev and B. Ravindran, ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2021), Virtual, June 20-25, 2021 (ACM Artifacts Evaluated - Functional , Reusable , Available , full version of paper is available as an arXiv report)
• x86 Instruction Semantics and Basic Block Symbolic Execution, F. Verbeek, A. Bharadwaj, J. Bockenek, I. Roessle, T. Weerwag, and B. Ravindran, Archive of Formal Proofs, October 2021, Formal proof development, ISSN: 2150-914x
• A Syscall-Level Binary-Compatible Unikernel, P. Olivier, H. Lefeuvre, D. Chiba, S. Lankes, C. Min, and B. Ravindran, IEEE Transactions on Computers, pages: 1-12, October 2021, DOI: 10.1109/TC.2021.3122896
• Xar-Trek: Run-time Execution Migration among FPGAs and Heterogeneous-ISA CPUs, E. Horta, H-R. Chuang, N. VSathish, C. Philippidis, A. Barbalace, P. Olivier, and B. Ravindran, 22nd ACM/IFIP International Middleware Conference (MIDDLEWARE 2021), Quebec, Canada, December 6-10, 2021 (ACM Artifacts Evaluated - Functional , Available , full version of paper is available as an arXiv report)
• Brief Announcement: Crystalline: Fast and Memory Efficient Wait-Free Reclamation, R. Nikolaev and B. Ravindran, 35th International Symposium on Distributed Computing (DISC 2021), October 4-8, 2021, Freiburg, Germany (full version of paper is available as an arXiv report)
• Verification of Functional Correctness of Code Diversification Techniques, J-W. Jang, F. Verbeek, and B. Ravindran, NASA Formal Methods Symposium (NFM 2021), Virtual, May 24-28, 2021

2020

• An OpenMP Runtime for Transparent Work Sharing Across Cache-Incoherent Heterogeneous Nodes, R. Lyerly, C. Min, C. Rossbach, and B. Ravindran, 21st ACM/IFIP International Middleware Conference (MIDDLEWARE 2020), Delft, The Netherlands, December 7-11, 2020 (ACM Artifacts Evaluated - Functional , Available )
• Sound C Code Decompilation for a Subset of x86-64 Binaries, F. Verbeek, P. Olivier, and B. Ravindran, 18th International Conference on Software Engineering and Formal Methods (SEFM 2020), Amsterdam, The Netherlands, September 14-18, 2020, Best paper award
• Dynamic and Secure Memory Transformation in Userspace, R. Lyerly, X. Wang, and B. Ravindran, 25th European Symposium on Research in Computer Security (ESORICS 2020), Guildford, United Kingdom, September 14-18, 2020
• A Framework for Software Diversification with ISA Heterogeneity, X. Wang, S. Yeoh, R. Lyerly, P. Olivier, S-H. Kim, and B. Ravindran, 23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020), Donostia / San Sebastian, Spain, October 14-16, 2020
• Scaling Shared Memory Multiprocessing Applications in Non-cache-coherent Domains, H-R. Chuang, R. Lyerly, S. Lankes, and B. Ravindran, The 13th ACM International Systems and Storage Conference (SYSTOR 2020), October 13-15, 2020, Haifa, Israel
• A Validation Methodology for OCaml-to-PVS Translation, X. An, A. Tahat, and B. Ravindran, 12th NASA Formal Methods Symposium (NFM 2020), May 11-15, 2020, NASA Ames Research Center, Moffett Field, CA, USA
• Secure and Efficient In-process Monitor (and Library) Protection with Intel MPK, X. Wang, S. Yeoh, P. Olivier, and B. Ravindran, 13th European Workshop on Systems Security (EuroSec 2020), Co-located with EuroSys 2020, April 27, 2020, Heraklion, Crete, Greece
• The Case for Intra-Unikernel Isolation, P. Olivier, A. Barbalace, and B. Ravindran, 10th Workshop on Systems for Post-Moore Architectures (SPMA 2020), Co-located with EuroSys 2020, April 27, 2020, Heraklion, Crete, Greece
• DEX: Scaling Applications Beyond Machine Boundaries, S-H. Kim, H-R. Chuang, R. Lyerly, P. Olivier, C. Min, and B. Ravindran, 40th IEEE International Conference on Distributed Computing Systems (ICDCS 2020), July 8-10, 2020, Singapore
• Edge Compute -- the Case for Heterogeneous-ISA Container Migration, A. Barbalace, M. Karaoui, W. Wang, T. Xing, P. Olivier, and B. Ravindran, 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 2020), March 17, 2020, Lausanne, Switzerland
• LibrettOS: A Dynamically Adaptable Multiserver-Library OS, R. Nikolaev, M. Sung, and B. Ravindran, 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 2020), March 17, 2020, Lausanne, Switzerland (arXiv version of paper is available here)
• Intra-Unikernel Isolation with Intel Memory Protection Keys, M. Sung, P. Olivier, S. Lankes, and B. Ravindran, 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments (VEE 2020), March 17, 2020, Lausanne, Switzerland
• Highly Automated Formal Proofs over Memory Usage of Assembly Code, F. Verbeek, J. Bockenek, and B. Ravindran, 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020), April 25-30, 2020, Dublin, Ireland (TACAS Artifact Evaluation: Artifact Accepted )
• Universal Wait-Free Memory Reclamation, R. Nikolaev and B. Ravindran, 25th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP 2020), February 22-26, 2020, San Diego, CA, USA (ACM Artifacts Evaluated - Functional , Available , Results Replicated , full version of paper is available as an arXiv report)
• Taming the Contention in Consensus-based Distributed Systems, B. Arun, S. Peluso, R. Palmieri, G. Losa, and B. Ravindran, IEEE Transactions on Dependable and Secure Computing, To appear, 2020

For papers in the recent past, click here.