Browse by Research Project Code

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

Nabi, S. W. and Vanderbauwhede, W. (2019) Smart-Cache: Optimising Memory Accesses for Arbitrary Boundaries and Stencils on FPGAs. In: 33rd IEEE International Parallel and Distributed Processing Symposium, Reconfigurable Architectures Workshop (RAW 2019), Rio de Janeiro, Brazil, 20-24 May 2019, (Accepted for Publication)

Vanderbauwhede, W. , Nabi, S. W. and Urlea, C. (2019) Type-driven automated program transformations and cost modelling for optimising streaming programs on FPGAs. International Journal of Parallel Programming, 47(1), pp. 114-136. (doi:10.1007/s10766-018-0572-z)

Nabi, S. W. and Vanderbauwhede, W. (2019) FPGA design space exploration for scientific HPC applications using a fast and accurate cost model based on roofline analysis. Journal of Parallel and Distributed Computing, (doi:10.1016/j.jpdc.2017.05.014) (In Press)

Vanderbauwhede, W. and Davidson, G. (2018) Domain-specific acceleration and auto-parallelization of legacy scientific code in FORTRAN 77 using source-to-source compilation. Computers and Fluids, 173, pp. 1-5. (doi:10.1016/j.compfluid.2018.06.005)

Nabi, S. W. and Vanderbauwhede, W. (2018) MP-STREAM: A Memory Performance Benchmark for Design Space Exploration on Heterogeneous HPC Devices. In: 32nd IEEE International Parallel and Distributed Processing Symposium, Reconfigurable Architectures Workshop (RAW 2018), Vancouver, BC, Canada, 21-25 May 2018, ISBN 9781538655559 (doi:10.1109/IPDPSW.2018.00036)

Nabi, S. W. (2018) Individual Differences in Bilingual Grammars. 2nd International Symposium on Bilingual and L2 Processing in Adults and Children (ISBPAC 2018), Braunschweig, Germany, 24-25 May 2018. (Accepted for Publication)

Scalas, A., Dardha, O. , Hu, R. and Yoshida, N. (2017) A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming. In: 31st European Conference on Object-Oriented Programming (ECOOP 2017), Barcelona, Spain, 18-23 Jun 2017, 24:1-24:31. ISBN 9783959770354 (doi:10.4230/LIPIcs.ECOOP.2017.24)

Kouzapas, D., Pérez, J. A. and Yoshida, N. (2017) Characteristic bisimulation for higher-order session processes. Acta Informatica, 54(3), pp. 271-341. (doi:10.1007/s00236-016-0289-7)

Hussain, M. A., Badar, R. and Nabi, S. W. (2017) Comparison of Hand-Written RTL code against High-Level Synthesis for Blowfish and Tiny Encrpytion Algorithm (TEA). In: 2017 International Conference on FPGA Reconfiguration for General-Purpose Computing (FPGA4GPC), Hamburg, Germany, 9-10 May 2017, (Accepted for Publication)

Scalas, A., Dardha, O. , Hu, R. and Yoshida, N. (2017) A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact). [Artefact]

Perera, R. , Lange, J. and Gay, S. J. (2016) Multiparty Compatibility for Concurrent Objects. In: Ninth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2016), Eindhoven, The Netherlands, 8 Apr 2016, (doi:10.4204/EPTCS.211.8)

Gay, S. J. (2016) Subtyping supports safe session substitution. Lecture Notes in Computer Science, 9600, pp. 95-108. (doi:10.1007/978-3-319-30936-1_5)

Kouzapas, D., Pérez, J. A. and Yoshida, N. (2016) On the relative expressiveness of higher-order session processes. In: 25th European Symposium on Programming, ESOP 2016, Eindhoven, The Netherlandd, 02-08 Apr 2016, pp. 446-475. ISBN 9783662494974 (doi:10.1007/978-3-662-49498-1_18)

Kouzapas, D., Yoshida, N., Hu, R. and Honda, K. (2016) On asynchronous eventful session semantics. Mathematical Structures in Computer Science, 26(2), pp. 303-364. (doi:10.1017/S096012951400019X)

Nabi, S. W. and Vanderbauwhede, W. (2016) Using Type Transformations to Generate Program Variants for FPGA Design Space Exploration. In: 2015 International Conference on ReConFigurable Computing and FPGAs (ReConFig), Mexico City, Mexico, 7-9 Dec 2015, pp. 1-6. ISBN 9781467394055 (doi:10.1109/ReConFig.2015.7393365)

Nabi, S. W. and Vanderbauwhede, W. (2016) A Fast and Accurate Cost Model for FPGA Design Space Exploration in HPC Applications. In: 30th IEEE International Parallel & Distributed Processing Symposium, Chicago, IL, USA, 23-27 May 2016, (doi:10.1109/IPDPSW.2016.155)

Gay, S. J. , Gesbert, N., Ravara, A. and Vasconcelos, V. T. (2015) Modular session types for objects. Logical Methods in Computer Science, 11(4), 12. (doi:10.2168/LMCS-11(4:12)2015)

This list was generated on Wed Jun 26 21:34:38 2019 BST.