Steve McKeever: Publications

[1]	Checking Concurrent Contracts with Aspects Eric Kerfoot, Steve McKeever In Proceedings of the 25th Annual Symposium On Applied Computing March 2010. Details \| BibTeX \| Download (pdf)

[2]

Deadlock Freedom Through Object Ownership

Eric Kerfoot, Steve McKeever and Faraz Torshizi

In Tobias Wrigstad, editor, 5rd International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with ECOOP 2009 July 2009.

Details | BibTeX | Download (pdf)

[3]	A model-driven approach to automatic conversion of physical units Jonathan Cooper, Steve McKeever Softw. Pract. Exper. Vol. 38, No. 4, pages 337-359. 2008. Details \| BibTeX \| DOI (10.1002/spe.828)

[4]	A model-driven approach to automatic conversion of physical units Cooper, McKeever 2008. Details \| BibTeX

[5]	Integrating Multi-level Molecular Simulations Across Heterogeneous Resources Yudong Sun et al. In International Conference on Grid Computing IEEE/ACM. September 2007. Details \| BibTeX

[6]	Array Synthesis in SystemC Hardware Compilation Johan Ditmar, Steve McKeever In International Conference on Field Programmable Logic and Applications pages 23-28. August 2007. Details \| BibTeX

[7]

Maintaining Invariants Through Object Coupling Mechanisms

Eric Kerfoot, Steve McKeever

In Tobias Wrigstad, editor, 3rd International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with ECOOP 2007 July 2007.

Details | BibTeX | Download (pdf)

[8]	Performance Problem Localization for Self-Healing, Service-Oriented Systems using Bayesian Networks Rui Zhang et al. In Proceedings of 22nd ACM Symposium on Applied Computing (SAC07), Track for Autonomic Computing ACM Press, March 2007. Details \| BibTeX

[9]	A Multiscale Model for Efficient Simulation of a Membrane Bound Viral Fusion Peptide Yudong Sun et al. In Proceedings of the International Conference on Bioinformatics and Biomedicine IEEE, November 2007. Details \| BibTeX

[10]	Experience Report: A Haskell Interpreter for CellML Jonathan Cooper, Steve McKeever In International Conference on Functional Programming ACM, 2007. Details \| BibTeX

[11]	OGSA-based Grid Workload Monitoring Rui Zhang et al. In Proceedings of the 5th IEEE International Symposium on Cluster Computing and the Grid (CCGrid05) IEEE Computer Society Press, 2006. Details \| BibTeX

[12]	Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques S. McKeever, W. Luk Formal Aspects of Computing, No. 18, pages 120-142. 2006. Details \| BibTeX

[13]

On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations

Jonathan Cooper, Steve McKeever and Alan Garny

In PEPM '06: Proceedings of the 2006 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation pages 12—20. New York, NY, USA. 2006. ACM Press.

Details | BibTeX | DOI (10.1145/1111542.1111546)

[14]	On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects Andrew Simpson et al. In Proceedings of the 25th International Conference on Software Engineering, May 3-10, 2003, Portland, Oregon, USA pages 628-633. IEEE Computer Society, 2003. Details \| BibTeX \| Link

[15]	Towards Verifying Parametrised Hardware Libraries with Relative Placement Information Steve McKeever, Wayne Luk and Arran Derbyshire In HICSS pages 279. 2003. Details \| BibTeX \| Link

[16]

Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries

Steve McKeever, Wayne Luk and Arran Derbyshire

In Mark Aagaard, John W. O'Leary, editors, Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings Vol. 2517 of Lecture Notes in Computer Science, pages 342-359. Springer, 2002.

Details | BibTeX | Link

[17]	Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings Mark Aagaard, John W. O'Leary, editors Vol. 2517 of Lecture Notes in Computer Science. Springer. 2002. Details \| BibTeX

[18]	Parametrized Hardware Libraries for Configurable System-on-Chip Technology W. Luk et al. Canadian Journal of Electrical and Computer Engineering, Vol. 26, No. 3/4, pages 125—129. 2001. Details \| BibTeX

[19]	A Declarative Framework for Developing Parametrised Hardware Libraries S. McKeever, W. Luk In Proceedings of the 8th International Conference on Electronics, Circuits and Systems pages 1635-1638. IEEE, 2001. Details \| BibTeX

[20]	Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques Steve McKeever, Wayne Luk pages 212-227. 2001. Details \| BibTeX \| Link

[21]	Parametrized Hardware Libraries for Configurable System-on-Chip Technology W. Luk et al. In Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics, Invited Session on Issues in System on Chip (SoC) Design Callaos and Associates Corp. 2001. Details \| BibTeX

[22]

Correct Hardware Design and Verification Methods, 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001, Livingston, Scotland, UK, September 4-7, 2001, Proceedings

Tiziana Margaria, Thomas F. Melham, editors

Vol. 2144 of Lecture Notes in Computer Science. Springer. 2001.

Details | BibTeX

[23]	Towards Adaptable Hierarchical Placement for FPGAs Florent de Dinechin, Wayne Luk and Steve McKeever In FPGA pages 254. 1999. Details \| BibTeX \| Link

[24]	Pebble: A Language for Parametrised and Reconfigurable Hardware Design Wayne Luk, Steve McKeever pages 9-18. 1998. Details \| BibTeX \| Link

[25]	Reusing Intellectual Property with Parametrised Hardware Libraries W. Luk et al. In Roger, J.-Y., Smith, B.S. and Kidd, P.T., editors, Advances in Information Technologies: The Business Challenge pages 788—795. IOS Press. 1997. Details \| BibTeX