91 citations · 273 across the 67 of their papers we have counts for
1 paper · 2 filters
Pei-Wei Chen, Shaokai Lin, Adwait Godbole +4
Several software systems are polyglot; that is, they comprise programs implemented in a combination of programming languages. Verifiers that directly run on mainstream programming…