Edinburgh Research Explorer

Dr Bruno Bodin

Senior Research Associate

  1. 2018
  2. Algorithmic Performance-Accuracy Trade-off in 3D Vision Applications

    Bodin, B., Nardi, L., Wagstaff, H., Kelly, . P. H. J. & O'Boyle, M. 28 May 2018 2018 IEEE International Symposium on Performance Analysis of Systems and Software. IEEE, p. 123-124 2 p.

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

  3. 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

  4. 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. IEEE, 8 p.

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

  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. 12 Jan 2018 (Accepted/In press) The International Conference in Robotics and Automation 2018. 8 p.

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

  6. 2017
  7. Timing analysis of synchronous programs using WCRT Algebra: Scalability through abstraction

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

    Research output: Contribution to journalArticle

  8. 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). IEEE, p. 5716-5723 8 p.

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

  9. 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). IEEE, p. 217-226 10 p.

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

  10. Algorithmic Performance-Accuracy Trade-off in 3D Vision Applications Using HyperMapper

    Nardi, L., Bodin, B., Saeedi, S., Vespa, . E., Davison, A. J. & Kelly, . P. H. J. 2 Jun 2017 The Twelfth International Workshop on Automatic Performance Tuning 2017. 10 p.

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

  11. 2016
  12. Diplomat: Mapping of multi-kernel applications using a static dataflow abstraction

    Bodin, B., Nardi, L., Kelly, . P. H. J. & O'Boyle, M. F. P. 8 Dec 2016 2016 IEEE 24th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS) . IEEE, p. 241-250 10 p.

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

  13. Integrating Algorithmic Parameters into Benchmarking and Design Space Exploration in 3D Scene Understanding

    Bodin, B., Nardi, L., Zia, M. Z., Wagstaff, H., Sreekar Shenoy, G., Emani, M. K., Mawer, J., Kotselidis, C., Nisbet, A., Luján, M., Franke, B., Kelly, P. & O'Boyle, M. 1 Dec 2016 Parallel Architecture and Compilation Techniques (PACT), 2016 International Conference on. IEEE, p. 57-59 13 p.

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

Previous 1 2 Next