Binoy Ravindran
Binoy Ravindran
Professor & Bradley Senior Faculty Fellow · ECE · Virginia Tech
binoy@vt.edu · Bio · Scholar · DBLP · ORCID · ACM

News

2026

May 30LLRM's extended ELF format is accepted at QRS'26
May 30LLRM's full system x86 simulator is accepted at QRS'26
May 19Presented an invited talk at Science Tokyo on LLRM's binary verification.
May 15Presented an invited talk at Kyoto University on LLRM's binary verification.
May 4Ruslan Nikolaev is awarded NSF's CAREER grant.
May 7LLRM-er Kartik Goel defends his MS thesis on LLVM IR lifting.
May 5LLRM-er Shubham Tiwari defends his MS thesis on harness generation.
May 4LLRM-er Priyatam Annambhotla defends his MS thesis on lib fuzzing.
May 4LLRM-er Pranav Kumar defends his MS thesis on binary instrumentation.
May 3Popcorn's CRIU-based distributed shared memory is accepted at ISMM'26.
Apr 6Awarded 2026 VT COE Dean’s Award for Excellence in Research.
Mar 6Popcorn's enclave offloading is conditionally accepted at MIDDLEWARE'26.
Mar 6Presented an invited talk at Illinois on LLRM's verified binary lifting.
Mar 5MESA's SAT solving via optimization is conditionally accepted at PLDI'26.
Feb 9LLRM's extended ELF format is accepted at EuroLLVM'26.
Feb 3Popcorn Linux's CPU/FPGA checkpoint-rollback is accepted at ACM TACO.

2025

Nov 17Presented an invited talk at Houston CS on LLRM's verified binary lifting.
Sep 26LibrettOS's storage and file systems services is accepted at SoCC'25.
Sep 25Daniel Engel from Open University of the Netherlands visits SSRG.
Aug 25Prof. Zhoulai Fu from SUNY Korea joins SSRG for AY'25-26.
Aug 15Srikar Puranam defends his MS thesis and joins SSRG as a PhD student.
Jul 14Isaac Velasquez from Minnesota visits SSRG.
Jul 1LLRM-er Ali Shokri joins University of Houston as an Assistant Professor.
May 9Ilan Buzzetti from UTD and Aadi Rave from Purdue visits SSRG.
Apr 11Prof. Antonio Barbalace from Edinburgh visits SSRG during April-May'25.
Mar 28LLRM-er Ruotong Yu finishes his postdoc and joins Fortinet.
Feb 3LLRM-er Syadus Sefat defends his PhD and joins AMD.
Jan 27Popcorn Linux's Stramash OS is conditionally accepted at ASPLOS'25.
Jan 19LLRM's verified binary pointer analysis is accepted at ICSE'25.

2024

Dec 6Prof. Hyeonjoong Cho from Korea University joins SSRG for AY'24-25.
Oct 11Popcorn Linux's HEXO extended unikernel is accepted at IEEE TCC.
Oct 8LLRM's extended incorrectness logic conditionally accepted at POPL'25.
Aug 7Popcorn Linux's x86/RISC-V extension is accepted at Systor'24.
Jul 16Prof. Sang-Hoon Kim from Ajou University, Korea visits SSRG for AY'24-25.
Jul 16LLRM-er Jae-Won Jang defends his PhD and joins Northrop Grumman.
Jul 4LLRM's verified x86-64 binary lifter accepted at CCS'24.
Jun 24Prof. Zhoulai Fu from SUNY Korea visits SSRG for Summer'24.
Jun 21LLRM's x86-64 instruction synthesis conditionally accepted at OOPSLA'24.
Jun 17Ruotong Yu joins SSRG as a postdoc.
May 17Prof. Ruslan Nikolaev from PennState visits SSRG for Summer'24.
May 7LLRM-er Robbie defends his MS thesis and joins Anduril Industries.
May 7LLRM-er Aditya defends his MS thesis and joins Qualcomm.
Apr 12Popcorn Linux's program state rewriter accepted at ICDCS'24.
Apr 11Hyflow's safe memory reclamation is accepted at PLDI'24.
Apr 11LLRM's disassembling decidability result accepted at TASE'24.
Mar 3Selective MVX conditionally accepted at Middleware'24.
Feb 26Hyflow's safe memory reclamation is conditionally accepted at PLDI'24.
Feb 17Named to 2023 Class of IEEE CS Distinguished Contributors.
Feb 16Basavesh Shivakumar joins SSRG as a research associate.
Feb 2LLRM's exceptional handling CFG is conditionally accepted at DIMVA'24.
Jan 31Swarn Priya joins SSRG as a postdoc.

2023

Dec 12Popcorn Linux-er Abilesh defends his MS thesis and joins NVIDIA.
Dec 12LLRM-er Sagar completes his MEng project and joins MathWorks.
Dec 6Gave an invited talk at NSWC Dahlgren on LLRM's verified binary lifting.
Nov 30Gave an invited talk at UNC Charlotte on LLRM's verified binary lifting.
Sep 8Cindy An joins Shenzhen Technology University as an Assistant Professor.
Sep 7Dynamic program debloating paper accepted at MIDDLEWARE'23.
Sep 1Nico Naus (re)joins SSRG as an Adjunct Research Assistant Professor.
Aug 21Jonas Haglund joins SSRG as a postdoc.
Aug 18Ali Shokri joins SSRG as a postdoc.
Aug 16Xiaoguang Wang joins Illinois at Chicago as an Assistant Professor.
Jul 12VT news appears about LLRM's result, as part of DARPA VSPELLS program.
Jul 1Nico Naus joins Open Univ., the Netherlands as an Assistant Professor.
Jun 24Linux eBPF fuzzing paper accepted at APSys'23.
Jun 21Popcorn Linux-er Hemanth defends his MS thesis and joins Synopsys.
Jun 20Prof. Zhoulai Fu from SUNY Korea visits SSRG for Summer'23.
Jun 20Popcorn Linux-er Mohamed defends his MS thesis and joins Apple.
Jun 6Named Bradley Senior Faculty Fellow by VT Board of Visitors.
May 10Khushboo Rani joins SSRG as a postdoc.
May 9Popcorn Linux-er Sandeep defends his MS thesis and joins Apple.
Apr 28LLRM's binary IR is accepted at TAP'23.
Apr 28LLRM's reachability analysis is conditionally accepted at TAP'23.
Apr 4Named to Bradley Senior Faculty Fellow Endowed Professorship.
Mar 1Popcorn Linux's aggregate VM is accepted at EuroSys'23.
Jan 19Popcorn Linux's aggregate VM is conditionally accepted at EuroSys'23.
Feb 17LibrettOS-er Fazla Mehrab defends his PhD and joins ByteDance.
Feb 17LibrettOS-er Mincheol Sung defends his PhD and joins VMware.
Feb 3LLRM-er Josh Bockenek defends his PhD dissertation and joins NSWCDD.
Jan 2David Narvaez joins SSRG as a postdoc.

2022

Dec 13Popcorn Linux-er Abhishek defends his MS thesis and joins Zoox.
Sep 5LLRM's Ghidra/P-Code formalization is accepted at VSTTE'22.
Aug 17Popcorn Linux's container re-randomization is accepted at MTD/CCS'22.
May 11Popcorn Linux-er Jack defends his PhD dissertation and joins ByteDance.
May 10Hyflow's wait-free queue is accepted at SPAA'22.
May 9LLRM's PhD student Cindy defends her dissertation.
Mar 15Hyflow's Byzantine consensus protocol is accepted at VLDB'22.
Mar 14LLRM's disassembly verifier is accepted at NFM'22.
Mar 7Popcorn Linux's container instantiation is accepted at ACM TOCS.
Feb 25LLRM's verified x86 binary lifting is conditionally accepted at PLDI'22.
Feb 18Popcorn Linux-er Ashwin defends his MS thesis and joins Apple.
Feb 17Popcorn Linux-er Balvansh defends his MEng project and joins Splunk.
Feb 10Popcorn Linux-er Naarayanan defends his MS thesis and joins Qualcomm.
Jan 18LibrettOS's unikernelized service VMs is accepted at EuroSys’22.
Dec 14Popcorn Linux-er Carlos defends his MS thesis and joins AMD.
Dec 6Popcorn Linux's OpenMP run-time is accepted at ACM TOCS.
Nov 13KASLR for Linux device drivers is accepted at ASPLOS’22.
Nov 15Hyflow's wait-free queue is accepted at PPOPP’22 (as poster).
Sep 15Nico Naus joins SSRG as a postdoc.
Jul 7Mohammadreza Ashouri joins SSRG as postdoc.
Jul 9Popcorn Linux-er Chris defends his MS thesis and joins Lockheed.
May 11LibrettOS's PhD student Mincheol defends his dissertation proposal.
May 10Hyflow's PhD student Balaji defends his dissertation and joins LinkedIn.

News prior to 2022 is available on the group site.