- Yan Liu
- Alexandru Niculescu-Mizil
- et al.
- 2010
- ICML 2010
- Tetsuro Morimurat
- Masashi Sugiyama
- et al.
- 2010
- ICML 2010
- Minsik Cho
- Haoxing Ren
- et al.
- 2010
- DAC 2010
- Sansiri Tanachutiwat
- Ji Ung Lee
- et al.
- 2010
- DAC 2010
- Ruijing Shen
- Sheldon X.-D. Tan
- et al.
- 2010
- DAC 2010
- Hana Chockler
- Daniel Kroening
- et al.
- 2010
- DAC 2010