Rob Stewart

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 6

Top Topics

Search Strategy

Branch And Bound Search

Constraint Optimization

Combinatorial Search

Top Venues

ACM Trans. Reconfigurable Technol. Syst.

Euro-Par Workshops

Publications

Akilan Selvacoumar, Rob Stewart, Hans-Wolfgang Loidl, Ahmad Ryad Soobhany
Benchmarking Parallelism in Unikernels. Euro-Par Workshops (2022)
Marco Casadio, Matthew L. Daggitt, Ekaterina Komendantskaya, Wen Kokke, Daniel Kienitz, Rob Stewart
Property-driven Training: All You (N)Ever Wanted to Know About. CoRR (2021)
Blair Archibald, Patrick Maier, Rob Stewart, Phil Trinder
YewPar: skeletons for exact combinatorial search. PPoPP (2020)
Ekaterina Komendantskaya, Rob Stewart, Kirsty Duncan, Daniel Kienitz, Pierre Le Hen, Pascal Bacchus
Neural Network Verification for the Masses (of AI graduates). CoRR (2019)
Rob Stewart, Kirsty Duncan, Greg Michaelson, Paulo Garcia, Deepayan Bhowmik, Andrew M. Wallace
RIPL: A Parallel Image Processing Language for FPGAs. ACM Trans. Reconfigurable Technol. Syst. 11 (1) (2018)
Blair Archibald, Ciaran McCreesh, Patrick Maier, Rob Stewart, Phil Trinder
Replicable Parallel Branch and Bound Search. CoRR (2017)