researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

1 paper

cs.PL2026

Build-Authorized Evidence for Opaque Calls: A Fail-Closed Rewrite-Authority Boundary

Zhonghua Yi

Detached semantic facts about opaque native providers do not by themselves justify compiler rewrites: rewrite authority must be confined to the accepted fact, selected provider and…