178 citations · 179 across the 3 of their papers we have counts for
3 papers
cs.PL2025
From Traces to Program Incorrectness: A Type-Theoretic Approach
Yongwei Yuan, Zhe Zhou, Julia Belyakova +2
We present a type-theoretic framework for reasoning about incorrectness in functional programs that interact with effectful, opaque library APIs. Our approach centers on traces --…
cs.PL2024★ 1 cited
Derivative-Guided Symbolic Execution
Yongwei Yuan, Zhe Zhou, Julia Belyakova +1
We consider the formulation of a symbolic execution (SE) procedure for functional programs that interact with effectful, opaque libraries. Our procedure allows specifications of li…
nucl-ex2015★ 178 cited
Measurement of jet suppression in central Pb-Pb collisions at = 2.76 TeV
ALICE Collaboration
The transverse momentum () spectrum and nuclear modification factor () of reconstructed jets in 0-10% and 10-30% central Pb-Pb collisions at $\sqrt{s_{\rm NN…