Browse by CV

Up a level
Export as [feed] Atom [feed] RSS

ARCHIBALD, Blair, MAIER, Patrick, STEWART, Robert and TRINDER, Phil (2019). Implementing YewPar: a framework for parallel tree search. In: European Conference on Parallel Processing. Springer, 184-196.

ARCHIBALD, Blair, MAIER, Patrick, MCCREESH, Ciaran, STEWART, Robert and TRINDER, Phil (2017). Replicable parallel branch and bound search. Journal of Parallel and Distributed Computing, 113, 92-114.

ARCHIBALD, Blair, MAIER, Patrick, STEWART, Robert, TRINDER, Phil and DE BEULE, Jan (2017). Towards Generic Scalable Parallel Combinatorial Search. In: PASCO 2017 : Proceedings of the International Workshop on Parallel Symbolic Computation. ACM, 1-10.

MORTON, John Magnus, MAIER, Patrick and TRINDER, Phil (2016). JIT-Based cost analysis for dynamic program transformations. Electronic Notes in Theoretical Computer Science, 330, 5-25.

MAIER, Patrick, MORTON, John Magnus and TRINDER, Phil (2016). JIT costing adaptive skeletons for performance portability. In: Proceedings of the 5th International Workshop on Functional High-Performance Computing - FHPC 2016. ACM, 23-30.

BEHRENDS, Reimer, HAMMOND, Kevin, JANJIC, Vladimir, KONOVALOV, Alexander, LINTON, Steve, LOIDL, Hans-Wolfgang, MAIER, Patrick and TRINDER, Phil (2016). HPC-GAP: engineering a 21st-century high-performance computer algebra system. Concurrency and Computation: Practice and Experience, 28 (13), 3606-3636.

STEWART, Robert, MAIER, Patrick and TRINDER, Phil (2016). Transparent fault tolerance for scalable functional computation. Journal of Functional Programming, 26, e5.

MAIER, Patrick, STEWART, Robert and TRINDER, Phil (2014). The HdpH DSLs for scalable reliable computation. In: Proceedings of the 2014 ACM SIGPLAN symposium on Haskell - Haskell '14. ACM, 65-76.

MAIER, Patrick, LIVESEY, Daria, LOIDL, Hans-Wolfgang and TRINDER, Phil (2014). High-Performance Computer Algebra: A Hecke Algebra Case Study. In: Euro-Par 2014 Parallel Processing. Springer, 415-426.

MAIER, Patrick, STEWART, R. and TRINDER, P.W. (2014). Reliable scalable symbolic computation: The design of SymGridPar2. Computer Languages, Systems & Structures, 40 (1), 19-35.

This list was generated on Sat Sep 19 20:01:26 2020 UTC.