[an error occurred while processing this directive]<meta name="keywords" content="Department of Computer Science, publications, by date, Steve McKeever"></meta><meta name="description" content="Publications, by date, Department of Computer Science, Oxford, Steve McKeever"></meta><title>Department of Computer Science, University of Oxford: Steve McKeever : Publications
</title><style type="text/css">
			  .btn-toolbar::after, .btn-toolbar::before
			  {
			    content: " ";
			    display: table;
			  }

			
			.btn-toolbar
			{
			    margin-bottom: 2em;
			}

			  .btn-toolbar::after, .btn-group::after
			  {
			    clear: both;
			  }


			.btn-toolbar .btn, .btn-toolbar .btn-group
			  {
			    float: left;
			}
			
			.btn-group
			  {
			    display: inline-block;
			    position: relative;
			    vertical-align: middle;
			}

			  .btn-group > .btn:first-child:not(:last-child)
			  {
			    border-bottom-right-radius: 0;
			    border-top-right-radius: 0;
			}
			
			.btn-group > .btn:first-child
			  {
			    margin-left: 0;
			}

			.btn-group > .btn
			  {
			    float: left;
			    position: relative;
			}

			  .btn-group > .btn:not(:first-child):not(:last-child)
			  {
			    border-radius: 0;
			}
			
			  .btn-group > .btn:last-child:not(:first-child)
			  {
			    border-bottom-left-radius: 0;
			    border-top-left-radius: 0;
			}
			
			.btn-group .btn + .btn, .btn-group .btn + .btn-group, .btn-group .btn-group + .btn, .btn-group .btn-group + .btn-group
			  {
			    margin-left: -2px;
			}
			</style>[an error occurred while processing this directive]<div class="content-width"><ol class="breadcrumb text-uppercase"><li><a href="/">Home</a></li><li><a href="/aboutus/">About Us</a></li><li><a href="/people/">People</a></li><li><a href="/people/faculty.html">Faculty</a></li><li><a href="/people/Steve.McKeever"><span itemprop="name">Steve McKeever</span></a></li><li class="active">Publications</li></ol></div><!-- MOBILE NAVIGATION --><div class="content-width space-below mobile-menu-placeholder visible-xs visible-sm"></div><!-- COLUMNS --><div class="container-fluid content-width"><div class="row"><div class="col-xs-12 col-md-9 col-md-push-3" id="maincontent"><!-- CONTENT (Column 2) --><div class="page-title"><h1>Steve McKeever : Publications
</h1></div><div role="toolbar" class="btn-toolbar"><div class="btn-group"><a href="/people/publications/date/Steve.McKeever.html" aria-hidden="true" type="button" class="btn btn-oxford-blue"><span class="glyphicon glyphicon-sort-by-attributes"></span> By date</a><a href="/people/publications/title/Steve.McKeever.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By title</a><a href="/people/publications/type/Steve.McKeever.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-sort-by-attributes"></span> By type</a><a href="/people/publications/bibtex/Steve.McKeever.html" aria-hidden="true" type="button" class="btn btn-default"><span class="glyphicon glyphicon-file"></span> BibTex</a></div></div><p></p><ul class="list-unbulleted list-unbulleted-spaced"><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[1] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            The Case for Using Markup for Biomechanical Modelling </strong> </p>
	    <p class="publicationAuthors"> <em> David Johnson and Steve McKeever  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the XXIII Congress of the International Society of Biomechanics</em>.
        ISB.
        July,
            2011.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication4884-abstract.html">
			Details <span class="sr-only" > about <em> The Case for Using Markup for Biomechanical Modelling  </em></span> </a> |
			<a href="/publications/publication4884.bib">
			BibTeX  <span class="sr-only" > data for <em> The Case for Using Markup for Biomechanical Modelling  </em></span>   </a>
			
			
					| <a href="http://homepages.ulb.ac.be/~labo/ISB2011/ISB2011_ScientificProgram_files/775.pdf"> Download (pdf)  <span class="sr-only" > of <em> The Case for Using Markup for Biomechanical Modelling  </em></span>   </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[2] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Markup Languages for In Silico Oncology </strong> </p>
	    <p class="publicationAuthors"> <em> David Johnson&#x201a; Jonathan Cooper and Steve McKeever  </em> </p>
	
	<p class="publicationDetails"> 
            In Georgios Stamatakos and Dimitra Dionysiou, editors,
             
            <em>
            Proceedings of the 4th International Advanced Research Workshop on In Silico Oncology and Cancer Investigation (4th IARWISOCI) &#x2013; The ContraCancrum Workshop</em>.
        
                Pages 108&#x2013;110.
            September,
            2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3805-abstract.html">
			Details <span class="sr-only" > about <em> Markup Languages for In Silico Oncology  </em></span> </a> |
			<a href="/publications/publication3805.bib">
			BibTeX  <span class="sr-only" > data for <em> Markup Languages for In Silico Oncology  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/3757/IARWISOCI2010.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Markup Languages for In Silico Oncology  </em></span>

					    </a>


				    
					| <a href="http://www.4th-iarwisoci.iccs.ntua.gr/"> Link <span class="sr-only" > to <em> Markup Languages for In Silico Oncology  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[3] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Checking Concurrent Contracts with Aspects </strong> </p>
	    <p class="publicationAuthors"> <em> Eric Kerfoot and Steve McKeever  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 25th Annual Symposium On Applied Computing</em>.
        March,
            2010.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3354-abstract.html">
			Details <span class="sr-only" > about <em> Checking Concurrent Contracts with Aspects  </em></span> </a> |
			<a href="/publications/publication3354.bib">
			BibTeX  <span class="sr-only" > data for <em> Checking Concurrent Contracts with Aspects  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/2544/aspect_paper.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Checking Concurrent Contracts with Aspects  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[4] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Deadlock Freedom Through Object Ownership </strong> </p>
	    <p class="publicationAuthors"> <em> Eric Kerfoot&#x201a; Steve McKeever and Faraz Torshizi  </em> </p>
	
	<p class="publicationDetails"> 
            In Tobias Wrigstad, editor,
             
            <em>
            5rd International Workshop on Aliasing&#x201a; Confinement and Ownership in object&#x2212;oriented programming (IWACO)&#x201a; in conjunction with ECOOP 2009</em>.
        July,
            2009.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3222-abstract.html">
			Details <span class="sr-only" > about <em> Deadlock Freedom Through Object Ownership  </em></span> </a> |
			<a href="/publications/publication3222.bib">
			BibTeX  <span class="sr-only" > data for <em> Deadlock Freedom Through Object Ownership  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/2347/iwaco09.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Deadlock Freedom Through Object Ownership  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[5] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Area Optimisation for Field&#x2212;Programmable Gate Arrays in SystemC Hardware Compilation </strong> </p>
	    <p class="publicationAuthors"> <em> Johan Ditmar&#x201a; Steve McKeever and Alex Wilson  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>International Journal of Reconfigurable Computing</em>.
        2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication5394-abstract.html">
			Details <span class="sr-only" > about <em> Area Optimisation for Field&#x2212;Programmable Gate Arrays in SystemC Hardware Compilation  </em></span> </a> |
			<a href="/publications/publication5394.bib">
			BibTeX  <span class="sr-only" > data for <em> Area Optimisation for Field&#x2212;Programmable Gate Arrays in SystemC Hardware Compilation  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1155/2008/674340">
		DOI (10.1155/2008/674340)
		</a> 
					| <a href="http://www.hindawi.com/journals/ijrc/2008/674340/"> Link <span class="sr-only" > to <em> Area Optimisation for Field&#x2212;Programmable Gate Arrays in SystemC Hardware Compilation  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[6] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            CellML and Associated Tools and Techniques </strong> </p>
	    <p class="publicationAuthors"> <em> Alan Garny&#x201a; David Nickerson&#x201a; Jonathan Cooper&#x201a; Rodrigo Weber dos Santos&#x201a; Steve McKeever&#x201a; Poul Nielsen and Peter Hunter  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Phil Trans Roy Soc A</em>.
        
            Vol. 366.
        
            No. 1878.
        
                Pages 3017&#x2013;3043.
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication67-abstract.html">
			Details <span class="sr-only" > about <em> CellML and Associated Tools and Techniques  </em></span> </a> |
			<a href="/publications/publication67.bib">
			BibTeX  <span class="sr-only" > data for <em> CellML and Associated Tools and Techniques  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1098/rsta.2008.0094">
		DOI (10.1098/rsta.2008.0094)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[7] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A model&#x2212;driven approach to automatic conversion of physical units </strong> </p>
	    <p class="publicationAuthors"> <em> Jonathan Cooper and Steve McKeever  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Softw. Pract. Exper.</em>.
        
            Vol. 38.
        
            No. 4.
        
                Pages 337&#x2212;359.
            2008.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2137-abstract.html">
			Details <span class="sr-only" > about <em> A model&#x2212;driven approach to automatic conversion of physical units  </em></span> </a> |
			<a href="/publications/publication2137.bib">
			BibTeX  <span class="sr-only" > data for <em> A model&#x2212;driven approach to automatic conversion of physical units  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1002/spe.828">
		DOI (10.1002/spe.828)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[8] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Integrating Multi&#x2212;level Molecular Simulations Across Heterogeneous Resources </strong> </p>
	    <p class="publicationAuthors"> <em> Yudong Sun&#x201a; Steve McKeever&#x201a; Kia Balali&#x2212;Mood and Mark Sansom  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            International Conference on Grid Computing</em>.
        IEEE/ACM.
        September,
            2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1724-abstract.html">
			Details <span class="sr-only" > about <em> Integrating Multi&#x2212;level Molecular Simulations Across Heterogeneous Resources  </em></span> </a> |
			<a href="/publications/publication1724.bib">
			BibTeX  <span class="sr-only" > data for <em> Integrating Multi&#x2212;level Molecular Simulations Across Heterogeneous Resources  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[9] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Array Synthesis in SystemC Hardware Compilation </strong> </p>
	    <p class="publicationAuthors"> <em> Johan Ditmar and Steve McKeever  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            International Conference on Field Programmable Logic and Applications</em>.
        
                Pages 23&#x2212;28.
            August,
            2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1721-abstract.html">
			Details <span class="sr-only" > about <em> Array Synthesis in SystemC Hardware Compilation  </em></span> </a> |
			<a href="/publications/publication1721.bib">
			BibTeX  <span class="sr-only" > data for <em> Array Synthesis in SystemC Hardware Compilation  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[10] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Maintaining Invariants Through Object Coupling Mechanisms </strong> </p>
	    <p class="publicationAuthors"> <em> Eric Kerfoot and Steve McKeever  </em> </p>
	
	<p class="publicationDetails"> 
            In Tobias Wrigstad, editor,
             
            <em>
            3rd International Workshop on Aliasing&#x201a; Confinement and Ownership in object&#x2212;oriented programming (IWACO)&#x201a; in conjunction with ECOOP 2007</em>.
        July,
            2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication3221-abstract.html">
			Details <span class="sr-only" > about <em> Maintaining Invariants Through Object Coupling Mechanisms  </em></span> </a> |
			<a href="/publications/publication3221.bib">
			BibTeX  <span class="sr-only" > data for <em> Maintaining Invariants Through Object Coupling Mechanisms  </em></span>   </a>
			
			

				     |
                			<a 
                			    href="http://www.cs.ox.ac.uk/files/2348/iwaco_paper.pdf">Download
					     (pdf)

					    <span class="sr-only" > of <em> Maintaining Invariants Through Object Coupling Mechanisms  </em></span>

					    </a>


				    
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[11] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Performance Problem Localization for Self&#x2212;Healing&#x201a; Service&#x2212;Oriented Systems using Bayesian Networks </strong> </p>
	    <p class="publicationAuthors"> <em> Rui Zhang&#x201a; Alan Bivens&#x201a; Steve Moyle and Steve McKeever  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of 22nd ACM Symposium on Applied Computing (SAC07)&#x201a; Track for Autonomic Computing</em>.
        ACM Press.
        March,
            2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2546-abstract.html">
			Details <span class="sr-only" > about <em> Performance Problem Localization for Self&#x2212;Healing&#x201a; Service&#x2212;Oriented Systems using Bayesian Networks  </em></span> </a> |
			<a href="/publications/publication2546.bib">
			BibTeX  <span class="sr-only" > data for <em> Performance Problem Localization for Self&#x2212;Healing&#x201a; Service&#x2212;Oriented Systems using Bayesian Networks  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[12] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Multiscale Model for Efficient Simulation of a Membrane Bound Viral Fusion Peptide </strong> </p>
	    <p class="publicationAuthors"> <em> Yudong Sun&#x201a; Steve McKeever&#x201a; Kia Balali&#x2212;Mood and Mark Sansom  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the International Conference on Bioinformatics and Biomedicine</em>.
        IEEE.
        November,
            2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1725-abstract.html">
			Details <span class="sr-only" > about <em> A Multiscale Model for Efficient Simulation of a Membrane Bound Viral Fusion Peptide  </em></span> </a> |
			<a href="/publications/publication1725.bib">
			BibTeX  <span class="sr-only" > data for <em> A Multiscale Model for Efficient Simulation of a Membrane Bound Viral Fusion Peptide  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[13] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Experience Report: A Haskell interpreter for CellML </strong> </p>
	    <p class="publicationAuthors"> <em> Jonathan Cooper and Steve McKeever  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 247&#x2013;250.
            New York&#x201a; NY&#x201a; USA.
        October,
            2007.
        ACM Press.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2138-abstract.html">
			Details <span class="sr-only" > about <em> Experience Report: A Haskell interpreter for CellML  </em></span> </a> |
			<a href="/publications/publication2138.bib">
			BibTeX  <span class="sr-only" > data for <em> Experience Report: A Haskell interpreter for CellML  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1291151.1291190">
		DOI (10.1145/1291151.1291190)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[14] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Experience Report: A Haskell Interpreter for CellML </strong> </p>
	    <p class="publicationAuthors"> <em> Jonathan Cooper and Steve McKeever  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            International Conference on Functional Programming</em>.
        ACM.
        2007.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication1723-abstract.html">
			Details <span class="sr-only" > about <em> Experience Report: A Haskell Interpreter for CellML  </em></span> </a> |
			<a href="/publications/publication1723.bib">
			BibTeX  <span class="sr-only" > data for <em> Experience Report: A Haskell Interpreter for CellML  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[15] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            OGSA&#x2212;based Grid Workload Monitoring </strong> </p>
	    <p class="publicationAuthors"> <em> Rui Zhang&#x201a; Stephen Heisig&#x201a; Steve Moyle and Steve McKeever  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 5th IEEE International Symposium on Cluster Computing and the Grid (CCGrid05)</em>.
        IEEE Computer Society Press.
        April,
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2547-abstract.html">
			Details <span class="sr-only" > about <em> OGSA&#x2212;based Grid Workload Monitoring  </em></span> </a> |
			<a href="/publications/publication2547.bib">
			BibTeX  <span class="sr-only" > data for <em> OGSA&#x2212;based Grid Workload Monitoring  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[16] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards Provably&#x2212;Correct Hardware Compilation Tools Based on Pass Separation Techniques </strong> </p>
	    <p class="publicationAuthors"> <em> S. McKeever and W. Luk  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Formal Aspects of Computing</em>.
        
            No. 18.
        
                Pages 120&#x2212;142.
            2006.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2540-abstract.html">
			Details <span class="sr-only" > about <em> Towards Provably&#x2212;Correct Hardware Compilation Tools Based on Pass Separation Techniques  </em></span> </a> |
			<a href="/publications/publication2540.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards Provably&#x2212;Correct Hardware Compilation Tools Based on Pass Separation Techniques  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[17] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations </strong> </p>
	    <p class="publicationAuthors"> <em> Jonathan Cooper&#x201a; Steve McKeever and Alan Garny  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            PEPM '06: Proceedings of the 2006 ACM SIGPLAN Symposium on Partial Evaluation and Semantics&#x2212;Based Program Manipulation</em>.
        
                Pages 12&#x2013;20.
            New York&#x201a; NY&#x201a; USA.
        2006.
        ACM Press.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2534-abstract.html">
			Details <span class="sr-only" > about <em> On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations  </em></span> </a> |
			<a href="/publications/publication2534.bib">
			BibTeX  <span class="sr-only" > data for <em> On the application of partial evaluation to the optimisation of cardiac electrophysiological simulations  </em></span>   </a>
			
			 | <a
		href="http://dx.doi.org/10.1145/1111542.1111546">
		DOI (10.1145/1111542.1111546)
		</a> 
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[18] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            On The Supervision and Assessment Of Part&#x2212;Time Postgraduate Software Engineering Projects </strong> </p>
	    <p class="publicationAuthors"> <em> Andrew Simpson&#x201a; Andrew Martin&#x201a; Jeremy Gibbons&#x201a; Jim Davies and Steve McKeever  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 628&#x2212;633.
            2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2545-abstract.html">
			Details <span class="sr-only" > about <em> On The Supervision and Assessment Of Part&#x2212;Time Postgraduate Software Engineering Projects  </em></span> </a> |
			<a href="/publications/publication2545.bib">
			BibTeX  <span class="sr-only" > data for <em> On The Supervision and Assessment Of Part&#x2212;Time Postgraduate Software Engineering Projects  </em></span>   </a>
			
			
					| <a href="http://computer.org/proceedings/icse/1877/18770628abs.htm"> Link <span class="sr-only" > to <em> On The Supervision and Assessment Of Part&#x2212;Time Postgraduate Software Engineering Projects  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[19] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards Verifying Parametrised Hardware Libraries with Relative Placement Information </strong> </p>
	    <p class="publicationAuthors"> <em> Steve McKeever&#x201a; Wayne Luk and Arran Derbyshire  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            HICSS</em>.
        
                Pages 279.
            2003.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2543-abstract.html">
			Details <span class="sr-only" > about <em> Towards Verifying Parametrised Hardware Libraries with Relative Placement Information  </em></span> </a> |
			<a href="/publications/publication2543.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards Verifying Parametrised Hardware Libraries with Relative Placement Information  </em></span>   </a>
			
			
					| <a href="http://computer.org/proceedings/hicss/1874/track9/187490279cabs.htm"> Link <span class="sr-only" > to <em> Towards Verifying Parametrised Hardware Libraries with Relative Placement Information  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[20] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries </strong> </p>
	    <p class="publicationAuthors"> <em> Steve McKeever&#x201a; Wayne Luk and Arran Derbyshire  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 342&#x2212;359.
            2002.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2544-abstract.html">
			Details <span class="sr-only" > about <em> Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries  </em></span> </a> |
			<a href="/publications/publication2544.bib">
			BibTeX  <span class="sr-only" > data for <em> Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries  </em></span>   </a>
			
			
					| <a href="http://link.springer.de/link/service/series/0558/bibs/2517/25170342.htm"> Link <span class="sr-only" > to <em> Compiling Hardware Descriptions with Relative Placement Information for Parametrised Libraries  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[21] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Formal Methods in Computer&#x2212;Aided Design&#x201a; 4th International Conference&#x201a; FMCAD 2002&#x201a; Portland&#x201a; OR&#x201a; USA&#x201a; November 6&#x2212;8&#x201a; 2002&#x201a; Proceedings </strong> </p>
	    <p class="publicationAuthors"> <em> Mark Aagaard and John W. O'Leary, editors  </em> </p>
	
	<p class="publicationDetails"> </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2549-abstract.html">
			Details <span class="sr-only" > about <em> Formal Methods in Computer&#x2212;Aided Design&#x201a; 4th International Conference&#x201a; FMCAD 2002&#x201a; Portland&#x201a; OR&#x201a; USA&#x201a; November 6&#x2212;8&#x201a; 2002&#x201a; Proceedings  </em></span> </a> |
			<a href="/publications/publication2549.bib">
			BibTeX  <span class="sr-only" > data for <em> Formal Methods in Computer&#x2212;Aided Design&#x201a; 4th International Conference&#x201a; FMCAD 2002&#x201a; Portland&#x201a; OR&#x201a; USA&#x201a; November 6&#x2212;8&#x201a; 2002&#x201a; Proceedings  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[22] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Parametrized Hardware Libraries for Configurable System&#x2212;on&#x2212;Chip Technology </strong> </p>
	    <p class="publicationAuthors"> <em> W. Luk&#x201a; T. Kean&#x201a; A. Derbyshire&#x201a; J. Gause&#x201a; S. McKeever&#x201a; M. Mencer and A. Yeow  </em> </p>
	
	<p class="publicationDetails"> 
        In <em>Canadian Journal of Electrical and Computer Engineering</em>.
        
            Vol. 26.
        
            No. 3/4.
        
                Pages 125&#x2013;129.
            2001.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2538-abstract.html">
			Details <span class="sr-only" > about <em> Parametrized Hardware Libraries for Configurable System&#x2212;on&#x2212;Chip Technology  </em></span> </a> |
			<a href="/publications/publication2538.bib">
			BibTeX  <span class="sr-only" > data for <em> Parametrized Hardware Libraries for Configurable System&#x2212;on&#x2212;Chip Technology  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[23] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            A Declarative Framework for Developing Parametrised Hardware Libraries </strong> </p>
	    <p class="publicationAuthors"> <em> S. McKeever and W. Luk  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 8th International Conference on Electronics&#x201a; Circuits and Systems</em>.
        
                Pages 1635&#x2212;1638.
            IEEE.
        2001.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2542-abstract.html">
			Details <span class="sr-only" > about <em> A Declarative Framework for Developing Parametrised Hardware Libraries  </em></span> </a> |
			<a href="/publications/publication2542.bib">
			BibTeX  <span class="sr-only" > data for <em> A Declarative Framework for Developing Parametrised Hardware Libraries  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[24] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards Provably&#x2212;Correct Hardware Compilation Tools Based on Pass Separation Techniques </strong> </p>
	    <p class="publicationAuthors"> <em> Steve McKeever and Wayne Luk  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 212&#x2212;227.
            2001.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2541-abstract.html">
			Details <span class="sr-only" > about <em> Towards Provably&#x2212;Correct Hardware Compilation Tools Based on Pass Separation Techniques  </em></span> </a> |
			<a href="/publications/publication2541.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards Provably&#x2212;Correct Hardware Compilation Tools Based on Pass Separation Techniques  </em></span>   </a>
			
			
					| <a href="http://link.springer.de/link/service/series/0558/bibs/2144/21440212.htm"> Link <span class="sr-only" > to <em> Towards Provably&#x2212;Correct Hardware Compilation Tools Based on Pass Separation Techniques  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[25] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Parametrized Hardware Libraries for Configurable System&#x2212;on&#x2212;Chip Technology </strong> </p>
	    <p class="publicationAuthors"> <em> W. Luk&#x201a; A. Derbyshire&#x201a; J. Gause&#x201a; S. McKeever&#x201a; A. Yeow and T. Kean  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            Proceedings of the 5th World Multi&#x2212;Conference on Systemics&#x201a; Cybernetics and Informatics&#x201a; Invited Session on Issues in System on Chip (SoC) Design</em>.
        Callaos and Associates Corp..
        2001.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2536-abstract.html">
			Details <span class="sr-only" > about <em> Parametrized Hardware Libraries for Configurable System&#x2212;on&#x2212;Chip Technology  </em></span> </a> |
			<a href="/publications/publication2536.bib">
			BibTeX  <span class="sr-only" > data for <em> Parametrized Hardware Libraries for Configurable System&#x2212;on&#x2212;Chip Technology  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[26] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Correct Hardware Design and Verification Methods&#x201a; 11th IFIP WG 10.5 Advanced Research Working Conference&#x201a; CHARME 2001&#x201a; Livingston&#x201a; Scotland&#x201a; UK&#x201a; September 4&#x2212;7&#x201a; 2001&#x201a; Proceedings </strong> </p>
	    <p class="publicationAuthors"> <em> Tiziana Margaria and Thomas F. Melham, editors  </em> </p>
	
	<p class="publicationDetails"> </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2550-abstract.html">
			Details <span class="sr-only" > about <em> Correct Hardware Design and Verification Methods&#x201a; 11th IFIP WG 10.5 Advanced Research Working Conference&#x201a; CHARME 2001&#x201a; Livingston&#x201a; Scotland&#x201a; UK&#x201a; September 4&#x2212;7&#x201a; 2001&#x201a; Proceedings  </em></span> </a> |
			<a href="/publications/publication2550.bib">
			BibTeX  <span class="sr-only" > data for <em> Correct Hardware Design and Verification Methods&#x201a; 11th IFIP WG 10.5 Advanced Research Working Conference&#x201a; CHARME 2001&#x201a; Livingston&#x201a; Scotland&#x201a; UK&#x201a; September 4&#x2212;7&#x201a; 2001&#x201a; Proceedings  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[27] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Towards Adaptable Hierarchical Placement for FPGAs </strong> </p>
	    <p class="publicationAuthors"> <em> Florent de Dinechin&#x201a; Wayne Luk and Steve McKeever  </em> </p>
	
	<p class="publicationDetails"> 
            In  
            <em>
            FPGA</em>.
        
                Pages 254.
            1999.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2535-abstract.html">
			Details <span class="sr-only" > about <em> Towards Adaptable Hierarchical Placement for FPGAs  </em></span> </a> |
			<a href="/publications/publication2535.bib">
			BibTeX  <span class="sr-only" > data for <em> Towards Adaptable Hierarchical Placement for FPGAs  </em></span>   </a>
			
			
					| <a href="http://doi.acm.org/10.1145/296399.296528"> Link <span class="sr-only" > to <em> Towards Adaptable Hierarchical Placement for FPGAs  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[28] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Pebble: A Language for Parametrised and Reconfigurable Hardware Design </strong> </p>
	    <p class="publicationAuthors"> <em> Wayne Luk and Steve McKeever  </em> </p>
	
	<p class="publicationDetails"> 
                Pages 9&#x2212;18.
            1998.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2539-abstract.html">
			Details <span class="sr-only" > about <em> Pebble: A Language for Parametrised and Reconfigurable Hardware Design  </em></span> </a> |
			<a href="/publications/publication2539.bib">
			BibTeX  <span class="sr-only" > data for <em> Pebble: A Language for Parametrised and Reconfigurable Hardware Design  </em></span>   </a>
			
			
					| <a href="http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=1482{\&}spage=0009"> Link <span class="sr-only" > to <em> Pebble: A Language for Parametrised and Reconfigurable Hardware Design  </em></span> </a>
  				
		
		</div> 
	</div> 
	
        </li><li>
	
	<div class="row">
		
			<div class="col-xs-1 text-right">
				[29] 
			</div>

		
        
		<div
			class="col-xs-11"
		>
			
	
	<p class="publicationTitle"> <strong>
            Reusing Intellectual Property with Parametrised Hardware Libraries </strong> </p>
	    <p class="publicationAuthors"> <em> W. Luk&#x201a; J. Gray&#x201a; D. Grant&#x201a; S. Guo&#x201a; S. McKeever&#x201a; N. Shirazi&#x201a; M. Dean&#x201a; S. Seng and K. Teo  </em> </p>
	
	<p class="publicationDetails"> 
            In J.&#x2212;Y. Roger&#x201a; B.S. Smith and P.T. Kidd, editors,
             
            <em>
            Advances in Information Technologies: The Business Challenge</em>.
        
                Pages 788&#x2013;795.
            IOS Press.
        1997.
        </p>
	
        		<p class="publicationlinks"> <a
        
            		href="/publications/publication2537-abstract.html">
			Details <span class="sr-only" > about <em> Reusing Intellectual Property with Parametrised Hardware Libraries  </em></span> </a> |
			<a href="/publications/publication2537.bib">
			BibTeX  <span class="sr-only" > data for <em> Reusing Intellectual Property with Parametrised Hardware Libraries  </em></span>   </a>
			
			
		
		</div> 
	</div> 
	
        </li></ul></div><div class="col-xs-12 col-md-3 col-md-pull-9 side-menu-col"><h2 class="side-menu-title text-uppercase"><a href="#">About Us</a></h2><ul class="side-menu"><li class="active mobile-menu-source"><a href="/people/">People</a><ul><li class="active"><a href="/people/faculty.html">Faculty</a></li><li><a href="/people/research.html">Research</a></li><li><a href="/people/students.html">Students</a></li><li><a href="/people/support.html">Professional Services</a></li><li><a href="/people/visitingprofessors.html">Visiting Professors</a></li><li><a href="/people/emeritusfaculty.html">Emeritus Faculty</a></li></ul></li><li><a href="/aboutus/vacancies/">Vacancies</a></li><li><a href="/aboutus/women-cs-oxford/index.html">Women at Oxford</a></li><li><a href="/aboutus/equality-diversity-inclusion/index.html">Equality, diversity and inclusion</a></li><li><a href="https://www.alumniweb.ox.ac.uk/cs/make-a-donation">Support Us</a></li><li><a href="/aboutus/cshistory.html">History</a></li><li><a href="/aboutus/contact.html">Contact Us</a></li></ul></div></div></div>[an error occurred while processing this directive]