Steve McKeever : Publications
Click here to download all publications in a single bibtex file
@inproceedings{isb2011:oxf,
title = "The Case for Using Markup for Biomechanical Modelling",
author = "David Johnson and Steve McKeever",
year = "2011",
booktitle = "Proceedings of the XXIII Congress of the International Society of Biomechanics",
location = "Brussels, Belgium",
month = "July",
publisher = "ISB",
url = "http://homepages.ulb.ac.be/~labo/ISB2011/ISB2011_ScientificProgram_files/775.pdf",
}
@inproceedings{iarwisoci:oxford,
title = "Markup Languages for In Silico Oncology",
author = "David Johnson and Jonathan Cooper and Steve McKeever",
year = "2010",
booktitle = "Proceedings of the 4th International Advanced Research Workshop on In Silico Oncology and Cancer Investigation (4th IARWISOCI) – The ContraCancrum Workshop",
editor = "Georgios Stamatakos and Dimitra Dionysiou",
howpublished = "Online",
location = "Athens, Greece",
month = "September",
pages = "108--110",
url = "http://www.4th-iarwisoci.iccs.ntua.gr/",
}
@inproceedings{aspects10,
title = "Checking Concurrent Contracts with Aspects",
author = "Eric Kerfoot and Steve McKeever",
year = "2010",
booktitle = "Proceedings of the 25th Annual Symposium On Applied Computing",
month = "March",
}
@inproceedings{iwaco09,
title = "Deadlock Freedom Through Object Ownership",
author = "Eric Kerfoot and Steve McKeever and Faraz Torshizi",
year = "2009",
booktitle = "5rd International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with ECOOP 2009",
editor = "Tobias Wrigstad",
month = "July",
}
@article{674340,
title = "Area Optimisation for Field-Programmable Gate Arrays in SystemC Hardware Compilation",
author = "Johan Ditmar and Steve McKeever and Alex Wilson",
year = "2008",
journal = "International Journal of Reconfigurable Computing",
url = "http://www.hindawi.com/journals/ijrc/2008/674340/",
doi = "10.1155/2008/674340",
}
@article{CellML_tools_08,
title = "CellML and Associated Tools and Techniques",
author = "Alan Garny and David Nickerson and Jonathan Cooper and Rodrigo Weber dos Santos and Steve McKeever and Poul Nielsen and Peter Hunter",
year = "2008",
journal = "Phil Trans Roy Soc A",
number = "1878",
pages = "3017--3043",
volume = "366",
doi = "10.1098/rsta.2008.0094",
}
@article{key1,
title = "A model-driven approach to automatic conversion of physical units",
author = "Jonathan Cooper and Steve McKeever",
year = "2008",
issn = "0038-0644",
journal = "Softw. Pract. Exper.",
number = "4",
pages = "337-359",
publisher = "Wiley",
volume = "38",
doi = "10.1002/spe.828",
}
@inproceedings{integratingmultilevel,
title = "Integrating Multi-level Molecular Simulations Across Heterogeneous Resources",
author = "Yudong Sun and Steve McKeever and Kia Balali-Mood and Mark Sansom",
year = "2007",
booktitle = "International Conference on Grid Computing",
location = "Austin, Texas",
month = "September",
organization = "IEEE/ACM",
}
@inproceedings{arraysynthesis,
title = "Array Synthesis in SystemC Hardware Compilation",
author = "Johan Ditmar and Steve McKeever",
year = "2007",
booktitle = "International Conference on Field Programmable Logic and Applications",
month = "August",
pages = "23-28",
}
@inproceedings{iwaco07,
title = "Maintaining Invariants Through Object Coupling Mechanisms",
author = "Eric Kerfoot and Steve McKeever",
year = "2007",
booktitle = "3rd International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with ECOOP 2007",
editor = "Tobias Wrigstad",
month = "July",
}
@inproceedings{mypl,
title = "Performance Problem Localization for Self-Healing, Service-Oriented Systems using Bayesian Networks",
author = "Rui Zhang and Alan Bivens and Steve Moyle and Steve McKeever",
year = "2007",
booktitle = "Proceedings of 22nd ACM Symposium on Applied Computing (SAC07), Track for Autonomic Computing",
month = "March",
publisher = "ACM Press",
}
@inproceedings{multiscalemodel,
title = "A Multiscale Model for Efficient Simulation of a Membrane Bound Viral Fusion Peptide",
author = "Yudong Sun and Steve McKeever and Kia Balali-Mood and Mark Sansom",
year = "2007",
booktitle = "Proceedings of the International Conference on Bioinformatics and Biomedicine",
location = "Silicon Valley",
month = "November",
publisher = "IEEE",
}
@inproceedings{key2,
title = "Experience Report: A Haskell interpreter for CellML",
author = "Jonathan Cooper and Steve McKeever",
year = "2007",
address = "New York, NY, USA",
isbn = "978-1-59593-815-2",
journal = "ICFP '07: Proceedings of the 2007 ACM SIGPLAN international conference on Functional programming",
location = "Freiburg, Germany",
month = "October",
pages = "247--250",
publisher = "ACM Press",
doi = "10.1145/1291151.1291190",
}
@inproceedings{expreport,
title = "Experience Report: A Haskell Interpreter for CellML",
author = "Jonathan Cooper and Steve McKeever",
year = "2007",
booktitle = "International Conference on Functional Programming",
location = "Freiberg",
price = "247-259",
publisher = "ACM",
}
@inproceedings{gwlm,
title = "OGSA-based Grid Workload Monitoring",
author = "Rui Zhang and Stephen Heisig and Steve Moyle and Steve McKeever",
year = "2006",
booktitle = "Proceedings of the 5th IEEE International Symposium on Cluster Computing and the Grid (CCGrid05)",
month = "April",
publisher = "IEEE Computer Society Press",
}
@article{McKeeverLuk2005:Towards,
title = "Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques",
author = "S. McKeever and W. Luk",
year = "2006",
journal = "Formal Aspects of Computing",
number = "18",
pages = "120-142",
}
@inproceedings{Cooper.06,
title = "On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations",
author = "Jonathan Cooper and Steve McKeever and Alan Garny",
year = "2006",
address = "New York, NY, USA",
booktitle = "PEPM '06: Proceedings of the 2006 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation",
isbn = "1-59593-196-1",
location = "Charleston, South Carolina",
pages = "12--20",
publisher = "ACM Press",
doi = "10.1145/1111542.1111546",
}
@inproceedings{DBLP:conf/icse/Simpson03,
title = "On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects",
author = "Andrew Simpson and Andrew Martin and Jeremy Gibbons and Jim Davies and Steve McKeever",
year = "2003",
crossref = "DBLP:conf-icse-2003",
pages = "628-633",
url = "http://computer.org/proceedings/icse/1877/18770628abs.htm",
}
@inproceedings{DBLP:conf/hicss/McKeeverLD03,
title = "Towards Verifying Parametrised Hardware Libraries with Relative Placement Information",
author = "Steve McKeever and Wayne Luk and Arran Derbyshire",
year = "2003",
booktitle = "HICSS",
pages = "279",
url = "http://computer.org/proceedings/hicss/1874/track9/187490279cabs.htm",
}
@inproceedings{DBLP:conf/fmcad/McKeeverLD02,
title = "Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries",
author = "Steve McKeever and Wayne Luk and Arran Derbyshire",
year = "2002",
crossref = "DBLP:conf/fmcad/2002",
pages = "342-359",
url = "http://link.springer.de/link/service/series/0558/bibs/2517/25170342.htm",
}
@proceedings{DBLP:conf/fmcad/2002,
title = "Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings",
year = "2002",
booktitle = "Formal Methods in Computer-Aided Design, 4th International Conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002, Proceedings",
editor = "Mark Aagaard and John W. O'Leary",
isbn = "3-540-00116-6",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "2517",
}
@article{Luk*2001:Parameterized,
title = "Parametrized Hardware Libraries for Configurable System-on-Chip Technology",
author = "W. Luk and T. Kean and A. Derbyshire and J. Gause and S. McKeever and M. Mencer and A. Yeow",
year = "2001",
journal = "Canadian Journal of Electrical and Computer Engineering",
number = "3/4",
pages = "125--129",
volume = "26",
}
@inproceedings{McKeeverLuk2001:Declarative,
title = "A Declarative Framework for Developing Parametrised Hardware Libraries",
author = "S. McKeever and W. Luk",
year = "2001",
booktitle = "Proceedings of the 8th International Conference on Electronics, Circuits and Systems",
pages = "1635-1638",
publisher = "IEEE",
}
@inproceedings{DBLP:conf/charme/McKeeverL01,
title = "Towards Provably-Correct Hardware Compilation Tools Based on Pass Separation Techniques",
author = "Steve McKeever and Wayne Luk",
year = "2001",
crossref = "DBLP:conf/charme/2001",
pages = "212-227",
url = "http://link.springer.de/link/service/series/0558/bibs/2144/21440212.htm",
}
@inproceedings{Luk*2001:Parametrized,
title = "Parametrized Hardware Libraries for Configurable System-on-Chip Technology",
author = "W. Luk and A. Derbyshire and J. Gause and S. McKeever and A. Yeow and T. Kean",
year = "2001",
booktitle = "Proceedings of the 5th World Multi-Conference on Systemics, Cybernetics and Informatics, Invited Session on Issues in System on Chip (SoC) Design",
publisher = "Callaos and Associates Corp.",
}
@proceedings{DBLP:conf/charme/2001,
title = "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",
year = "2001",
booktitle = "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",
editor = "Tiziana Margaria and Thomas F. Melham",
isbn = "3-540-42541-1",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "2144",
}
@inproceedings{DBLP:conf/fpga/DinechinLM99,
title = "Towards Adaptable Hierarchical Placement for FPGAs",
author = "Florent de Dinechin and Wayne Luk and Steve McKeever",
year = "1999",
booktitle = "FPGA",
pages = "254",
url = "http://doi.acm.org/10.1145/296399.296528",
}
@inproceedings{DBLP:conf/fpl/LukM98,
title = "Pebble: A Language for Parametrised and Reconfigurable Hardware Design",
author = "Wayne Luk and Steve McKeever",
year = "1998",
crossref = "DBLP:conf/fpl/1998",
pages = "9-18",
url = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=1482{\&}spage=0009",
}
@incollection{Luk*1997:Reusing,
title = "Reusing Intellectual Property with Parametrised Hardware Libraries",
author = "W. Luk and J. Gray and D. Grant and S. Guo and S. McKeever and N. Shirazi and M. Dean and S. Seng and K. Teo",
year = "1997",
booktitle = "Advances in Information Technologies: The Business Challenge",
editor = "Roger, J.-Y. and Smith, B.S. and Kidd, P.T.",
pages = "788--795",
publisher = "IOS Press",
}