Xie’s IPSJ PRO Workshop Presentation on Static Analysis for Ruby Implementation

Zhijie Xie presents a paper on a static analysis of the Ruby implementation for safety of garbage collection at the 157th IPSJ Workshop on Programming held in Naha, Okinawa. This work is done with Dr. Koichi Sasada, one of Ruby’s core committers.

PRO2025-4-(15): 16:45–17:30
“GuardLint: Static Analysis of CRuby for Checking GC Guards”
Zhijie Xie (Institute of Science Tokyo)
Hidehiko Masuhara (Institute of Science Tokyo)
Koichi Sasada (STORES, Inc.)

Project page: Making the Ruby Implementation More Robust