Oliver Pell
Department of ComputingImperial College
180 Queen's Gate
London SW7 2AZ
op -at- doc.ic.ac.uk
I am no longer at Imperial College, I am currently working for Maxeler Technologies. When I'm not doing that, I have been known to dabble in FPGA research as part of the Custom Computing research group at Imperial's Department of Computing. My research interests are the theory and practice of hardware description: design methods, languages and tools for custom hardware generation and verification methods.
Recently
Some of my work at Maxeler makes its way into the public domain. These are a some of the pieces of work I've been involved in recently.- P. Marchetti, D. Oriato, O. Pell, A.M. Cristini and D. Theis. Fast 3D ZO CRS Stack - An FPGA Implementation of an Optimization Based on the Simultaneous Estimate of Eight Parameters. To appear: 72th European Association of Geoscientists and Engineers (EAGE) Conference, Barcelona, June 2010.
- W. Liu, T. Nemeth, A. Loddoch, J. Stefani, R. Ergas, L. Zhuo, B. Volz, O. Pell and J. Huggett. Anisotropic reverse-time migration using co-processors. 79th Annual Meeting, Society of Expoloration Geophysicists (SEG), Houston, October 2009.
- H. Fu, R. G. Clapp, O. Mencer and O. Pell. Accelerating 3D convolution using streaming architectures on FPGAs. 79th Annual Meeting, Society of Expoloration Geophysicists (SEG), Houston, October 2009.
- T. Nemeth, J. Stefani, W. Liu, R. Dimond, O. Pell and R. Ergas. An implementation of the acoustic wave equation on FPGAs. 78th Annual Meeting, Society of Expoloration Geophysicists (SEG), Las Vegas, November 2008.
- R. Dimond, M. Flynn, O. Mencer and O. Pell. MAXware: acceleration in HPC. IEEE HOT CHIPS 20, August 2008.
- O. Pell, T. Nemeth, J. Stefani and R. Ergas. Design Space Analysis for the Acoustic Wave Equation Implementation on FPGA Circuits. 70th European Association of Geoscientists and Engineers (EAGE) Conference, Rome, June 2008.
- H. Fu, W. Osborne, R.G. Clapp and O. Pell. Accelerating Seismic Computations on FPGAs - From the Perspective of Number Representations. 70th European Association of Geoscientists and Engineers (EAGE) Conference, Rome, June 2008.
- K. Sano, O. Pell, W. Luk and S. Yamamoto. FPGA-based Streaming Computation for Lattice Boltzmann Method. In Proc. Field Programmable Technology 2007, IEEE, December 2007.
- O.Pell and R.G. Clapp. Accelerating subsurface offset gathers for 3D seismic applications using FPGAs. 77th Annual Meeting, Society of Exploration Geophysicists (SEG), Texas, USA, September 2007.
Other Publications
- O.Pell and W. Luk. Instance-specific design. In Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation, S. Hauck and A. DeHon (Ed.), Morgan Kaufmann, 2007
- O. Pell. Verification of FPGA Layout Generators in Higher Order Logic. Journal of Automated Reasoning, Vol. 37, No. 1-2, August 2006
- O. Pell and W. Luk. Compiling Higher-Order Polymorphic Hardware Descriptions into Parametrised VHDL Libraries with Flexible Placement Information. In Proc. FPL'06, IEEE, August 2006
- L. W. Howes, P. Price, O. Mencer, O. Beckmann and O. Pell. Comparing FPGAs to Graphics Accelerators and the Playstation 2 Using a Unified Source Description. In Proc FPL'06, IEEE, August 2006
- O. Pell and W. Luk. Quartz: A Framework for Correct and Efficient Reconfigurable Design. In Proc. RECONFIG'05, IEEEs, September 2005
Short papers/Abstracts
- O. Pell, L. W. Howes, K. Atasu, O. Mencer and O. Beckmann. Accelerating Scientific Computations Using FPGAs. 2006 AMOS Conference, Maui, USA, September 2006
- L. W. Howes, O. Pell, O. Mencer and O. Beckmann. Accelerating the Development of Hardware Accelerators. EDGE Computing Workshop, North Carolina, USA, May 2006
- R. Dimond, O. Pell, O. Mencer and W. Luk. Automatic Generation of Application Specific Processor Libraries from a High Level Description. 1st HiPEAC Industry Workshop, Grenoble, France, May 2006
- O. Pell and W. Luk. Generating Parametrised Hardware Libraries from Higher-Order Descriptions. In Proc. FCCM'06, IEEE, 2006
- O. Pell and W. Luk. Resolving Quartz overloading. In Proc. CHARME'05: Correct Hardware Design and Verification Methods, LNCS 3725, Springer-Verlag, October 2005
- O. Pell. Verification of Parameterised FPGA Circuit Descriptions with Layout Information. MSc Thesis, Dept. of Computing, Imperial College, September 2005
- O. Pell. Quartz: A new language for hardware description. Final Year Project Report, Dept. of Computing, Imperial College, June 2004
Book Chapters
Journal and Conference Papers
Theses and Project Reports