| 2026 |
J |
jnl |
CoRR
Andre He, Nathaniel Weir, Kaj Bostrom, Allen Nie, Darion Cassel, Sam Bayless, Huzefa Rangwala
|
| 2026 |
J |
jnl |
CoRR
Vikash Singh, Darion Cassel, Nathaniel Weir, Nick Feng, Sam Bayless
|
| 2025 |
J |
jnl |
CoRR
Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rémi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao
|
| 2025 |
J |
jnl |
CoRR
Yu Feng, Nathaniel Weir, Kaj Bostrom, Sam Bayless, Darion Cassel, Sapana Chaudhary, Benjamin Kiesl-Reiter, Huzefa Rangwala
|
| 2024 |
— |
conf |
TACAS (1)
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
|
| 2024 |
J |
jnl |
CoRR
Nick Feng, Alan J. Hu, Sam Bayless, Syed M. Iqbal, Patrick Trentin, Mike Whalen, Lee Pike, John Backes
|
| 2023 |
— |
conf |
CAV (1)
Andrew Apicelli, Sam Bayless, Ankush Das, Andrew Gacek, Dhiva Jaganathan, Saswat Padhi, Vaibhav Sharma, Michael W. Whalen, Raveesh Yadav
|
| 2021 |
— |
conf |
CAV (2)
Sam Bayless, John D. Backes, Dan DaCosta, Benjamin F. Jones, Nate Launchbury, Patrick Trentin, Kelsey Jewell, Sagar Joshi, Michael Q. Zeng, Nandita Mathews
|
| 2020 |
J |
jnl |
Artif. Intell.
Sam Bayless, Nodir Kodirov, Syed M. Iqbal, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu
|
| 2019 |
— |
conf |
CAV (2)
John Backes, Sam Bayless, Byron Cook, Catherine Dodge, Andrew Gacek, Alan J. Hu, Temesghen Kahsai, Bill Kocik, Evgenii Kotelnikov, Jure Kukovec, Sean McLaughlin, Jason Reed, Neha Rungta, John Sizemore, Mark A. Stalzer, Preethi Srinivasan, Pavle Subotic, Carsten Varming, Blake Whaley
|
| 2018 |
— |
conf |
ANCS
Nodir Kodirov, Sam Bayless, Fabian Ruffy, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu
|
| 2018 |
— |
conf |
ANCS
Nodir Kodirov, Sam Bayless, Fabian Ruffy, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu
|
| 2017 |
A* |
conf |
IJCAI
Sam Bayless, Nodir Kodirov, Ivan Beschastnikh, Holger H. Hoos, Alan J. Hu
|
| 2017 |
J |
jnl |
Artif. Intell.
Frank Hutter, Marius Lindauer, Adrian Balint, Sam Bayless, Holger H. Hoos, Kevin Leyton-Brown
|
| 2016 |
— |
conf |
CAV (1)
Tobias Klenze, Sam Bayless, Alan J. Hu
|
| 2016 |
A |
conf |
EuroS&P
Celina G. Val, Michael A. Enescu, Sam Bayless, William Aiello, Alan J. Hu
|
| 2016 |
A |
conf |
ICCAD
Sam Bayless, Holger H. Hoos, Alan J. Hu
|
| 2015 |
A* |
conf |
AAAI
Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu
|
| 2015 |
J |
jnl |
CoRR
Frank Hutter, Marius Lindauer, Adrian Balint, Sam Bayless, Holger H. Hoos, Kevin Leyton-Brown
|
| 2014 |
J |
jnl |
ACM Trans. Design Autom. Electr. Syst.
An-Che Cheng, Chia-Chih Jack Yen, Celina G. Val, Sam Bayless, Alan J. Hu, Iris Hui-Ru Jiang, Jing-Yang Jou
|
| 2014 |
— |
conf |
LION
Sam Bayless, Dave A. D. Tompkins, Holger H. Hoos
|
| 2014 |
J |
jnl |
CoRR
Sam Bayless, Noah Bayless, Holger H. Hoos, Alan J. Hu
|
| 2013 |
B |
conf |
FMCAD
Sam Bayless, Celina G. Val, Thomas Ball, Holger H. Hoos, Alan J. Hu
|
| 2012 |
— |
conf |
MobiGames@SIGCOMM
Ian Obermiller, Sam Bayless
|
| 2012 |
A |
conf |
SAT
Sam Bayless, Alan J. Hu
|