Publications

Copies of my publications are available on request.

Conferences/Workshops

  • Jan de Muijnck-Hughes, Edwin C. Brady, and Wim Vanderbauwhede, “A Framework for Resource Dependent Edsls in a Dependently Typed Language (Pearl),” in 34th European Conference on Object-Oriented Programming, ECOOP 2020, November 15-17, 2020, Berlin, Germany (Virtual Conference), ed. Robert Hirschfeld and Tobias Pape, vol. 166, LIPIcs (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020), 20:1–20:31, doi:10.4230/LIPIcs.ECOOP.2020.20.
  • Jan de Muijnck-Hughes and Wim Vanderbauwhede, “Well-Typed Models are Correct Models: Applying State-of-the-Art Advances in Programming Language Theory to Systems-on-a-Chip,” in 1st Scottish Seminar on Formal Modelling, Verification, and Synthesis (SFMoVeS), 2019, http://www.dcs.gla.ac.uk/research/formalmethods/sfmoves/.
  • Jan de Muijnck-Hughes and Wim Vanderbauwhede, “A Typing Discipline for Hardware Interfaces,” in 33rd European Conference on Object-Oriented Programming, ECOOP 2019, July 15-19, 2019, London, United Kingdom, ed. Alastair F. Donaldson, vol. 134, LIPIcs (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019), 6:1–6:27, doi:10.4230/LIPIcs.ECOOP.2019.6.
  • Jan de Muijnck-Hughes, Edwin C. Brady, and Wim Vanderbauwhede, “Value-Dependent Session Design in a Dependently Typed Language,” in Proceedings Programming Language Approaches to Concurrency- and Communication-cEntric Software, Places@ETAPS 2019, Prague, Czech Republic, 7th April 2019, ed. Francisco Martins and Dominic Orchard, vol. 291, EPTCS, 2019, 47–59, doi:10.4204/EPTCS.291.5.
  • Jan de Muijnck-Hughes and Ishbel M. M. Duncan, “What’s the Premes Behind Your Pattern?” in Proceedings of the 22nd Conference on Pattern Languages of Programs, PLoP ’15 (USA: The Hillside Group, 2015), doi:10.5555/3124497.3124502.
  • Ishbel Duncan and Jan de Muijnck-Hughes, “Security Pattern Evaluation,” in 8th IEEE International Symposium on Service Oriented System Engineering, SOSE 2014, Oxford, United Kingdom, April 7-11, 2014 (IEEE Computer Society, 2014), 428–429, doi:10.1109/SOSE.2014.61.
  • Jan de Muijnck-Hughes and Ishbel Mary Macdonald Duncan, “Issues Affecting Security Design Pattern Engineering,” in Proceedings of the Second International Conference on Cyberpatterns (Oxford Brookes University, 2013), 62–69, http://tech.brookes.ac.uk/CyberPatterns2013/.
  • Jan de Muijnck-Hughes and Ishbel Duncan, “Thinking Towards a Pattern Language for Predicate Based Encryption Crypto-Systems,” in Sixth International Conference on Software Security and Reliability, SERE 2012, Gaithersburg, Maryland, Usa, 20-22 June 2012 - Companion Volume (IEEE, 2012), 27–32, doi:10.1109/SERE-C.2012.34.

Book Reviews

  • Jan de Muijnck-Hughes, “Type-Driven Development with Idris,” J. Funct. Program. 30 (2020): e16, doi:10.1017/S0956796820000143.

Artefacts

  • Jan de Muijnck-Hughes, Edwin C. Brady, and Wim Vanderbauwhede, “A Framework for Resource Dependent Edsls in a Dependently Typed Language (Artifact),” Dagstuhl Artifacts Ser. 6, no. 2 (2020): 02:1–02:3, doi:10.4230/DARTS.6.2.2.
  • Jan de Muijnck-Hughes and Wim Vanderbauwhede, “A Typing Discipline for Hardware Interfaces (Artifact),” Dagstuhl Artifacts Ser. 5, no. 2 (2019): 14:1–14:3, doi:10.4230/DARTS.5.2.14.

Unpublished

Theses

  • Jan de Muijnck-Hughes, “Machine Checkable Design Patterns using Dependent Types and Domain Specific Goal-Oriented Modelling Languages” (PhD Thesis, School of Computer Science, University of St Andrews, 2015).
  • Jan de Muijnck-Hughes, “Data Protection and the Cloud” (Master Thesis, Institute for Computer; Information Science, Radboud Universiteit Nijmegen, 2011).
  • Jan de Muijnck-Hughes, “Searching for Efficient Permutation Codes” (Bachelor Thesis, School of Computer Science, University of St Andrews, 2008).