Skip to main content

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",
}