2 papers
cs.PL2026
Ownership Refinement Types for Pointer Arithmetic and Nested Arrays
Yusuke Fujiwara, Yusuke Matsushita, Kohei Suenaga +1
Tanaka et al. proposed a type system for verifying functional correctness properties of programs that use arrays and pointer arithmetic. Their system extends ConSORT -- a type syst…
cs.AR2025
In-Situ Hardware Error Detection Using Specification-Derived Petri Net Models and Behavior-Derived State Sequences
Tomonari Tanaka, Takumi Uezono, Kohei Suenaga +1
In hardware accelerators used in data centers and safety-critical applications, soft errors and resultant silent data corruption significantly compromise reliability, particularly…