Generative Programming for Embedded Systems

Research output

Research output per year 2005 2006 2007 2008

• 10 Conference contribution
• 2 Paper
• 1 Book

Research output per year

Research output per year

Search results

• 2008

  Constructing Correct Circuits: Verification of Functional Aspects of Hardware Specifications with Dependent Types

  Brady, E. C., McKinna, J. H. & Hammond, K., 2008, Trends in Functional Programming. Intellect Books, Vol. 8. p. 159-176

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

• Lightweight Invariants with Full Dependent Types

  Brady, E. C., Herrmann, C. A. & Hammond, K., 2008, Trends in Functional Programming. Intellect Books

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2007

  Low-level programming in Hume: An exploration of the HW-Hume level

  Hammond, K., Grov, G., Michaelson, G. & Ireland, A., 2007, Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. Horváth, Z., Zsók, V. & Butterfield, A. (eds.). Springer, p. 91-107 17 p. (Lecture Notes in Computer Science; vol. 4449).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Software Implementation 100%

• Towards Resource-Certified Software: A Formal Cost Model for Time and its Application to an Image-Processing Example

  Bonenfant, A., Chen, Z., Hammond, K., Michaelson, G., Wallace, A. & Wallace, I., 2007, Applied Computing 2007. New York: ACM, Vol. 1 & 2. p. 1307-1314 8 p.

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Embedded System 100%
  • Performance Metric 100%
  • Algorithm Design 100%
  • Shift Algorithm 100%
  • Software Architecture 100%

• Using intersection types for cost-analysis of higher-order polymorphic functional programs

  Simoes, H. R., Hammond, K., Florido, M. & Vasconcelos, P., 2007, Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers. Altenkirch, T. & McBride, C. (eds.). Springer, p. 221-236 16 p. (Lecture Notes in Computer Science; vol. 4502).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Functional Program 100%
  • Type Systems 50%
  • lambda-calculus 50%
  • Functional Languages 50%
  • Parametric Polymorphism 50%

• Using Mean-Shift Tracking Algorithms for Real-Time Tracking of Moving Images on an Autonomous Vehicle Testbed Platform

  Gorry, B., Chen, Z., Hammond, K., Wallace, A. & Michaelson, G., 2007, WASET - World Academy of Science, Engineering and Technology, November 2007 . Ardil, C. (ed.). World Academy of Science, Engineering and Technology, p. 356-361 6 p. (WASET Proceedings; vol. 25).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Moving Target 100%
  • Tracking Algorithm 100%
  • Experimental Result 100%
  • Moving Object 100%
  • Color Space 100%

• Worst-case execution times for a purely functional language

  Bonenfant, A., Ferdinand, C., Hammond, K. & Heckmann, R., 2007, Implementation and Application of Functional Languages: 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers. Horvath, Z., Zsok, V. & Butterfield, A. (eds.). Berlin: Springer-Verlag, p. 235-252 18 p. (Lecture Notes in Computer Science; vol. 4449).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Worst-Case Execution Time 100%
  • Functional Languages 100%
  • Time Information 50%
  • Execution Time 25%
  • Timing Information 25%
• 2006

  A dependently typed framework for static analysis of program execution costs

  Brady, E. & Hammond, K., 2006, Implementation and Application of Functional Languages: 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers. Butterfield, A., Grelck, C. & Huch, F. (eds.). Berlin: Springer, Vol. 4105. p. 74-90

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Type Systems 100%
  • Order Function 100%
  • Static Program Analysis 100%
  • Program Execution 100%

• A verified staged interpreter is a verified compiler: multi-stage programming with dependent types.  Generative Programming and Component Engineering, 5th International Conference (GPCE 2006)

  Hammond, K., Brady, E., Jarzabek, S., Schmidt, D. C. & Veldhuizen, T. L., Oct 2006, p. 111 - 120.

  Research output: Contribution to conference › Paper

• Ivor, a Proof Engine

  Brady, E., 2006, p. 145-162.

  Research output: Contribution to conference › Paper

• Towards Formally Verifiable WCET Analysis for a Functional Programming Language

  Hammond, K., Ferdinand, C., Heckmann, R., Dyckhoff, R., Hofman, M., Jost, S., Loidl, H.-W., Michaelson, G., Pointon, R., Scaife, N., Sérot, J. & Wallace, A., 2006, 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06). Mueller, F. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, (OASIcs: OpenAccess Series in Informatics; vol. 4).

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
• 2005

  FSM-Hume is Finite State Trends in Functional Programming, Volume 4, Stephen Gilmore (ed.) : Trends in Functional Programming 4, Intellect

  Hammond, K., Michaelson, G. & Sérot, J., 2005, Unknown Publisher.

  Research output: Book/Report › Book

• Is it Time for Real-Time Functional Programming?

  Hammond, K., 2005, Trends in Functional Programming. Gilmore, S. (ed.). Intellect Books, Vol. 4. p. 1-18

  Research output: Chapter in Book/Report/Conference proceeding › Conference contribution