Geoff Hamilton
Academic
.
2016. Distilling New Data Types. Fifth International Workshop on Metacomputation.
.
2016. Functional Program Transformation for Parallelisation using Skeletons. 9th International Symposium on High-Level Parallel Programming and Applications9th International Symposium on High-Level Parallel Programming and Applications.
.
2016. Generating Counterexamples for Model Checking by Transformation. {\rm Proceedings of the Fourth International Workshop on} Verification and Program Transformation, {\rm Eindhoven, The Netherlands, 2nd April 2016}.
.
2016. Generating Counterexamples for Model Checking by Transformation. {\rm Proceedings of the Fourth International Workshop on} Verification and Program Transformation, {\rm Eindhoven, The Netherlands, 2nd April 2016}.
.
2016. Program Transformation to Identify List-Based Parallel Skeletons. {\rm Proceedings of the Fourth International Workshop on} Verification and Program Transformation, {\rm Eindhoven, The Netherlands, 2nd April 2016}.
.
2016. Program Transformation to Identify List-Based Parallel Skeletons. {\rm Proceedings of the Fourth International Workshop on} Verification and Program Transformation, {\rm Eindhoven, The Netherlands, 2nd April 2016}.
.
2015. Verifying Temporal Properties of Reactive Systems by Transformation. Third International Workshop on Verification and Program Transformation.
.
2015. Verifying Temporal Properties of Reactive Systems by Transformation. Electronic Proceedings of Theoretical Computer Science. 99
.
2012. Aumotating the Parallelization of Functional Programs. 13th Symposium on Trends in Functional Programming13th Symposium on Trends in Functional Programming.
.
2012. A Comparison of Program Transformation Systems. 3rd International Conference on Metamaterials, Photonic Crystals and Plasmonics3rd International Conference on Metamaterials, Photonic Crystals and Plasmonics.
