Edinburgh Research Explorer

Dr Bruno Bodin

(Former employee or visitor)

  1. 2019
  2. High-level synthesis of functional patterns with Lift

    Kristien, M., Bodin, B., Steuwer, M. & Dubach, C., 8 Jun 2019, Proceedings of the 6th ACM SIGPLAN International Workshop on Libraries, Languages and Compilers for Array Programming: ARRAY'19, June 22, 2019. New York: ACM, p. 35-45 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Automatic Parameter Tuning of Motion Planning Algorithms

    Cano Reyes, J., Yang, Y., Bodin, B., Nagarajan, V. & O'Boyle, M., 7 Jan 2019, IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2018. Madrid, Spain: Institute of Electrical and Electronics Engineers (IEEE), p. 8103-8109 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. 2018
  5. SLAMBench2: Multi-Objective Head-to-Head Benchmarking for Visual SLAM

    Bodin, B., Wagstaff, H., Saeedi, S., Nardi, L., Vespa, E., Mayer, J. H., Nisbet, A., Luján, M., Furber, S., Davison, A. J., Kelly, P. H. J. & O'Boyle, M., 13 Sep 2018, The International Conference in Robotics and Automation 2018. Brisbane, QLD, Australia: Institute of Electrical and Electronics Engineers (IEEE), p. 3637-3644 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Navigating the Landscape for Real-time Localisation and Mapping for Robotics, Virtual and Augmented Reality

    Saeedi, S., Bodin, B., Wagstaff, H., Nisbet, A., Nardi, L., Mawer, J., Melot, N., Palomar, O., Vespa, E., Spink, T., Gorgovan, C., Webb, A., Clarkson, J., Tomusk, E-A., Debrunner, T., Kaszyk, J., Gonzalez-de-Aledo, P., Rodchenko, A., Riley, G., Kotselidis, C. & 6 othersFranke, B., O'Boyle, M., Davison, A. J., Kelly, P. H. J., Luján, M. & Furber, S., 14 Aug 2018, In : Proceedings of the IEEE. 99, p. 1-20 20 p.

    Research output: Contribution to journalArticle

  7. Automatic matching of legacy code to heterogeneous APIs: An idiomatic approach

    Ginsbach, P., Remmelg, T., Steuwer, M., Bodin, B., Dubach, C. & O'Boyle, M., 19 Mar 2018, 23rd ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'18). ACM, p. 139-153 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  8. Compositional Timing-Aware Semantics for Synchronous Programming

    Aguado, J., Mendler, M., Wang, J., Bodin, B. & Roop, P. S., 1 Mar 2018, FDL 2017 Forum on specification & Design Languages. Institute of Electrical and Electronics Engineers (IEEE), 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Algorithmic Performance-Accuracy Trade-off in 3D Vision Applications

    Bodin, B., Nardi, L., Wagstaff, H., Kelly, P. H. J. & O'Boyle, M., 2018, 2018 IEEE International Symposium on Performance Analysis of Systems and Software. Belfast, UK: Institute of Electrical and Electronics Engineers (IEEE), p. 123-124 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. 2017
  11. Timing analysis of synchronous programs using WCRT Algebra: Scalability through abstraction

    Wang, J., Mendler, M., Roop, P. S. & Bodin, B., 10 Oct 2017, In : ACM Transactions on Embedded Computing Systems. 16, 5, 21 p., 177

    Research output: Contribution to journalArticle

  12. Application-oriented Design Space Exploration for SLAM Algorithms

    Saeedi, S., Nardi, L., Johns, E., Bodin, B., Kelly, P. H. J. & Davison, A. J., 24 Jul 2017, 2017 IEEE International Conference on Robotics and Automation (ICRA). Institute of Electrical and Electronics Engineers (IEEE), p. 5716-5723 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. SimBench: A Portable Benchmarking Methodology for Full-System Simulators

    Wagstaff, H., Bodin, B., Spink, T. & Franke, B., 13 Jul 2017, 2017 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS). Institute of Electrical and Electronics Engineers (IEEE), p. 217-226 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 Next