5 citations · 6 across the 4 of their papers we have counts for
Showing 2026Show all
2 papers · 1 filter
cs.PL2026
Forte: A sensitivity type system for imperative Rust
Chiké Abuah
We introduce Forte, a sensitivity type system for Rust whose soundness rests on ownership. The graded sensitivity type systems, from Fuzz's linear grading to Solo's environment ind…
cs.PL2026
Tacet: A Language and Type System for Automatic Statistical Validity Accounting
Chiké Abuah
Empirical comparisons between systems are a standard form of evidence in computer science research, but few are checked for statistical validity: most are never framed as statistic…