Jianyi Cheng, John Wickerson, George A. Constantinides: Probabilistic Scheduling in High-Level Synthesis. FCCM 2021: 195-203