Browse by Research Project Code

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

De Muijnck-Hughes, J. and Vanderbauwhede, W. (2019) Well-Typed Models are Correct Models: Applying State-of-the-Art Advances in Programming Language Theory to Systems-on-a-Chip. Scottish Seminar on Formal Modelling, Verification, and Synthesis (SFMoVeS 19), Glasgow, UK, 09 Sep 2019.

De Muijnck-Hughes, J. and Vanderbauwhede, W. (2019) A typing discipline for hardware interfaces (artifact). Dagstuhl Artifacts Series, 5(2), 14:1-14:3. (doi:10.4230/DARTS.5.2.14)

de Muijnck-Hughes, J. and Vanderbauwhede, W. (2019) A Typing Discipline for Hardware Interfaces. In: 33rd European Conference on Object-Oriented Programming (ECOOP 2019), London, UK, 15-19 Jul 2019, 6:1-6:27. ISBN 9783959771115 (doi:10.4230/LIPIcs.ECOOP.2019.6)

Archibald, B. , Maier, P., Stewart, R. and Trinder, P. (2019) Implementing YewPar: a Framework for Parallel Tree Search. In: Euro-Par 2019, Göttingen, Germany, 26-30 August 2019, (Accepted for Publication)

de Muijnck-Hughes, J. , Brady, E. and Vanderbauwhede, W. (2019) Value-Dependent Session Design in a Dependently Typed Language. In: Programming Language Approaches to Concurrency- and Communication-cEntric Software, (PLACES 2019), Prague, Czech Republic, 07 Apr 2019, pp. 47-59. (doi:10.4204/EPTCS.291.5)

Archibald, B. , Maier, P., McCreesh, C. , Stewart, R. and Trinder, P. (2018) Replicable parallel branch and bound search. Journal of Parallel and Distributed Computing, 113, pp. 92-114. (doi:10.1016/j.jpdc.2017.10.010)

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)

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

This list was generated on Mon Nov 18 03:29:18 2019 GMT.