Publications
- A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation, R. Nikolaev and B. Ravindran, 45th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2024), Conditional, June 24-28, 2024, Copenhagen, Denmark
- 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), Conditional, 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), Conditional, July 17-19, 2024, Lausanne, Switzerland
- 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
- 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 , ACM Artifacts Evaluated - Reusable , ACM Artifacts 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 , ACM Artifacts Evaluated - Reproduced , ACM Artifacts 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 , ACM Artifacts Evaluated - Reproduced , ACM Artifacts 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
- 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 , ACM Artifacts Evaluated - Reusable , ACM Artifacts 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 , ACM Artifacts 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
- 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 , ACM Artifacts 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 , ACM Artifacts Available , ACM Artifacts 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
- Quantifying Memory Underutilization in HPC Systems and Using it to Improve Performance via Architecture Support, G. Panwar, Y. Pang, D. Zhang, M. Dahshan, N. Debardeleben, B. Ravindran, and X. Jian, 52nd IEEE/ACM International Symposium on Microarchitecture (MICRO-52), October 12-16, 2019, Columbus, Ohio, USA
- Rethinking Communication in Multiple-kernel OSes for New Shared Memory Interconnects, A. Barbalace, P. Olivier, and B. Ravindran, Workshop on Programming Languages and Operating Systems (PLOS 2019), SOSP 2019, October 27, 2019, Huntsville, Ontario, Canada
- SlimGuard: A Secure and Memory-Efficient Heap Allocator, B. Liu, P. Olivier, and B. Ravindran, ACM/IFIP International Middleware Conference (MIDDLEWARE 2019), December 9-13, 2019, UC Davis, CA, USA (ACM Artifacts Evaluated - Functional , ACM Artifacts Available )
- Generalized Consensus for Practical Fault Tolerance, M. Garg, S. Peluso, B. Arun, and B. Ravindran, ACM/IFIP International Middleware Conference (MIDDLEWARE 2019), December 9-13, 2019, UC Davis, CA, USA
- Establishing a Refinement Relation between Binaries and Abstract Code, F. Verbeek, J. Bockenek, A. Bharadwaj, I. Roessle, and B. Ravindran, ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2019), Work-in-Progress, October 9-11, 2019, San Diego, USA
- Symbolic Execution of x86 Assembly in Isabelle/HOL, F. Verbeek, A. Bharadwaj, J. Bockenek, I. Roessle, and B. Ravindran, Workshop on Instruction Set Architecture Specification (SpISA 2019), September 13, 2019, Portland, Oregon, USA
- Scalable Translation Validation of Unverified Legacy OS Code, A. Tahat, S. Joshi, P. Goswami, and B. Ravindran, International Conference on Formal Methods in Computer-Aided Design (FMCAD 2019), October 22-25, 2019, San Jose, California, USA
- Brief Announcement: Hyaline: Fast and Transparent Lock-Free Memory Reclamation, R. Nikolaev and B. Ravindran, The 38th ACM Symposium on Principles of Distributed Computing (PODC 2019), July 29-August 2, 2019, Toronto, Canada (full version of paper is available as an arXiv report)
- Formal Verification of Memory Preservation of x86-64 Binaries, J. A. Bockenek, F. Verbeek, P. Lammich, and B. Ravindran, 38th International Conference on Computer Safety, Reliability and Security (SafeComp 2019), September 10-13, 2019, Turku, Finland
2024
2023
2022
2021
2020
2019
For papers in the recent past, click here.