Filter
Conference contribution

Search results

  • 2025

    An Efficient Multicast Addressing Encoding Scheme for Multi-Core Neuromorphic Processors

    Su, Z., Bencsik, A., Indiveri, G. & Bertozzi, D., 9 Jan 2025, (Accepted/In press) IEEE International Symposium on Circuits and Systems (ISCAS).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • A Synthesis Toolflow for the Predictable Implementation of High-Performance Bundled-Data Asynchronous NoCs on FPGA

    Chessa, G., Bellodi, E., Favalli, M., Zoni, D. & Bertozzi, D., 10 Mar 2025, (Accepted/In press) IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC). IEEE

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction (Competition Contribution)

    Wu, T., Li, X., Manino, E., Sa Menezes, R., Gadelha, M. R., Xiong, S., Tihanyi, N., Petoumenos, P. & Cordeiro, L. C., 21 Jan 2025, (Accepted/In press) 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems.

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • Multi-Partner Project: Twinning for Excellence in Reliable Electronics (TWIN-RELECT)

    Andjelkovic, M., Vargas, F., Krstic, M., Dilillo, L., Michez, A., Wrobel, F., Bertozzi, D., Luján, M., Georgakidis, C., Chatzivangelis, N., Tsilingiri, K., Zazatis, N. Z., Paliaroutis, G. I., Tsoumanis, P. & Sotiriou, C., 17 Jan 2025, (Accepted/In press) Design Automation and Test in Europe Conference 2025.

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • 2024

    AccProf: Increasing the Accuracy of Embedded Application Profiling using FPGAs

    Skordalakis, E., Attwood, A., Goodacre, J. & Luján, M., 1 Aug 2024, (E-pub ahead of print) International Conference on Architecture of Computing Systems. Springer Berlin, Vol. 14842. p. 192-206 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    116 Downloads (Pure)
  • Adaptive localization for autonomous racing vehicles with resource-constrained embedded platforms

    Gavioli, F., Brilli, G., Burgio, P. & Bertozzi, D., 10 Jun 2024, Proceedings of the 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE). IEEE, 6 p.

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    47 Downloads (Pure)
  • B-Side: Binary-Level Static System Call Identification

    Thévenon, G., Nguetchouang, K., Lazri, K., Tchana, A. & Olivier, P., 2 Dec 2024, 25th ACM/IFIP International Middleware Conference.

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
  • Cross-Layer Reliability Analysis of NVDLA Accelerators: Exploring the Configuration Space

    Veronesi, A., Nazzari, A., Passarello, D., Krstic, M., Favalli, M., Cassano, L., Miele, A., Bertozzi, D. & Bolchini, C., 22 May 2024, (Accepted/In press) Proceedings of the 29th IEEE European Test Symposium 2024 .

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • Invited: Neuromorphic Vision Modalities in the NimbleAI 3D Chip

    Iturbe, X., Linares-Barranco, B., Ieng, S.-H., Erdmann, A., Peres, L., Rhodes, O., Tornero, R., Sifalakis, M., van de Burgwal, M., Yousefzadeh, A., Kooli, M., Alidori, R. & Zaykov, P., 23 Jun 2024, DAC '24: Proceedings of the 61st ACM/IEEE Design Automation Conference.

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • Offloading Datacenter Jobs to RISC-V Hardware for Improved Performance and Power Efficiency

    Heerekar, B., Philippidis, C., Chuang, H.-R., Olivier, P., Barbalace, A. & Ravindran, B., 16 Sept 2024, SYSTOR '24: Proceedings of the 17th ACM International Systems and Storage Conference: ACM International Systems and Storage Conference (SYSTOR'24). Association for Computing Machinery, p. 39-52

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
  • Quff: A Dynamically Typed Hybrid Quantum-Classical Programming Language

    Wright, C. J., Luján, M., Petoumenos, P. & Goodacre, J., 13 Sept 2024, MPLR 2024: Proceedings of the 21st ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes. Association for Computing Machinery, p. 65-81

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    7 Downloads (Pure)
  • Revolutionizing Data Privacy: The ENCRYPT Project’s Innovations and Applications

    Erotokritou, S., Giannoulakis, I., Kafetzakis, E., Kaltakis, K., Etenzi, E., Diamantopoulos, S., Mazzeo, G., D'Antonio, S., Bultel, J.-P., Stratikopoulos, A., Papoutsis, A., Lloyd, J., Meditskos, G. & Napolitano , V., 3 Sept 2024, Information Systems : (EMCIS 2024). M. T., N. B., G. K. & M. P. (eds.). p. 65-80 16 p. (Lecture Notes in Business Information Processing; vol. 536)(European, Mediterranean, and Middle Eastern Conference on Information Systems).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • SoK: Software Compartmentalization

    Lefeuvre, H., Dautenhahn, N., Chisnall, D. & Olivier, P., 10 Sept 2024, (Accepted/In press) 46th IEEE Symposium on Security and Privacy (S&P'25).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • TrackIops: Real-Time NFS Performance Metrics Extractor

    Dubuc, T., Vicat-Blanc, P., Olivier, P., Callau-Zori, M., Hubert, C. & Tchana, A., 2 Mar 2024, (Accepted/In press) 4th Workshop on Challenges and Opportunities of Efficient and Performant Storage Systems (CHEOPS 2024).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    1 Downloads (Pure)
  • 2023

    Aggregate VM: Why Reduce or Evict VM’s Resources When You Can Borrow Them From Other Nodes?

    Chuang, H.-R., Manaouil, K., Xing, T., Barbalace, A., Olivier, P., Heerekar, B. & Ravindran, B., 8 May 2023, 18th European Conference on Computer Systems (EuroSys 2023). p. 469 - 487

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • A Practical and Scalable Privacy-preserving Framework

    Avgerinos, N., D'Antonio, S., Kamara, I., Kotselidis, C., Lazarou, I., Mannarino, T., Meditskos, G., Papachristopoulou, K., Papoutsis, A., Roccetti, P. & Zuber, M., 2023, 2023 IEEE International Conference on Cyber Security and Resilience (CSR). p. 598-603 6 p.

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • DiAD – Distributed Acceleration for Datacenter FPGAs

    Lant, J., Skordalakis, E., Paraskevas, K., Toms, W. B., Luján, M. & Goodacre, J., 2 Nov 2023, (E-pub ahead of print) Proceedings of the 33rd International Conference on Field-Programmable Logic and Applications - FPL 2023. 8 p.

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    167 Downloads (Pure)
  • Enhancing Edge Computing with Unikernels in 6GNetworks

    Yazdani, S., Ramzan, N. & Olivier, P., 5 Sept 2023, IEEE International Symposium on Personal, Indoor and Mobile Radio Communications.

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    59 Downloads (Pure)
  • Evaluating the Impact of Optimizations for Dynamic Binary Modification on 64-bit RISC-V

    Kressel, J. A., Callaghan, G., Gorgovan, C. & Luján, M., 24 Apr 2023, 2023 IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS). IEEE, p. 81-91 11 p. (Proceedings - 2023 IEEE International Symposium on Performance Analysis of Systems and Software, ISPASS 2023).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    393 Downloads (Pure)
  • GuaNary: Efficient Buffer Overflow Detection In Virtualized Clouds Using Intel EPT-based Sub-Page Write Protection Support

    BITCHEBE, S., KONE, Y., Olivier, P., Boukhobza, J., BROMBERG, D., Hagimont, D. & Tchana, A., 12 Dec 2023, ACM SIGMETRICS 2024, Venice, Italy. 3 ed. Vol. 7. p. 1-26 56

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    60 Downloads (Pure)
  • Instrumental Conditioning with Neuromodulated Plasticity on SpiNNaker

    Enuganti, P. K., Bhattacharya, B. S., Gait, A., Rowley, A., Brenninkmeijer, C., Fellows, D. K. & Furber, S. B., 2023, Neural Information Processing - 29th International Conference, ICONIP 2022, Proceedings. Tanveer, M., Agarwal, S., Ozawa, S., Ekbal, A. & Jatowt, A. (eds.). p. 148-159 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13624 LNCS).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • Loupe: Driving the Development of OS Compatibility Layers

    Lefeuvre, H., Gain, G., Bădoiu, V.-A., Dinca, D., Schiller, V.-R., Raiciu, C., Huici, F. & Olivier, P., 19 Sept 2023, (Accepted/In press) Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'24). New York, NY, USA, Vol. 1. 19 p.

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
  • NimbleAI: Towards Neuromorphic Sensing-Processing 3D-integrated Chips

    Iturbe, X., Abderrahmane, N., Abella, J., Alcaide, S., Beyne, E., Charles, H.-P., Charpin-Nicolle, C., Chittka, L., Dávila, A., Erdmann, A., Estrada, C., Fernández, A., Fontanelli, A., Flich, J., Furano, G., Gloriani, A. H., Isusquiza, E., Grosu, R., Hernández, C. & Ielmini, D. & 29 others, Jackson, D., Kooli, M., Lepri, N., Linares-Barranco, B., Lachese, J.-L., Laurent, E., Lindwer, M., Linsenmaier, F., Luján, M., Masařík, K., Mentens, N., Moreira, O., Nawghane, C., Peres, L., Noel, J.-P., Pourtaherian, A., Posch, C., Priller, P., Prikryl, Z., Resch, F., Rhodes, O., Stefanov, T., Storring, M., Taliercio, M., Tornero, R., van de Burgwal, M., van der Plas, G., Vianello, E. & Zaykov, P., Apr 2023, 2023 Design, Automation & Test in Europe Conference & Exhibition (DATE).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • Software Compartmentalization Trade-Offs with Hardware Capabilities

    Kressel, J. A., Lefeuvre, H. & Olivier, P., 1 Oct 2023, 12th Workshop on Programming Languages and Operating Systems (PLOS 2023), October 23, 2023, Koblenz, Germany. p. 49–57

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
  • 2022

    ACEFusion - Accelerated and Energy-Efficient Semantic 3D Reconstruction of Dynamic Scenes

    Bujanca, M., Lennox, B. & Luján, M., Oct 2022, IEEE/RSJ International Conference on Inteelligent Robots and Systems. IEEE

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    416 Downloads (Pure)
  • Assessing the Impact of Interface Vulnerabilities in Compartmentalized Software

    Lefeuvre, H., Bădoiu, V.-A., Chien, Y., Huici, F., Dautenhahn, N. & Olivier, P., 22 Dec 2022, (Accepted/In press) Proceedings of 30th Network and Distributed System Security (NDSS'23). Internet Society, (NDSS'23).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
  • BenchPress: A Deep Active Benchmark Generator

    Tsimpourlas, F., Petoumenos, P., Xu, M., Cummins, C., Hazelwood, K., Rajan, A. & Leather, H., 1 Aug 2022, (Accepted/In press) International Conference on Parallel Architectures and Compilation Techniques (PACT).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    25 Downloads (Pure)
  • EnnCore: End-to-End Conceptual Guarding of Neural Architectures

    Manino, E., Carvalho, D., Dong, Y., Rozanova, J., Song, X., Mustafa, M. A., Freitas, A., Brown, G., Luján, M., Huang, X. & Cordeiro, L., 1 Feb 2022, AAAI's Workshops on Artificial Intelligence Safety (SafeAI) . Vol. 3087.

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
  • F3M: Fast Focused Function Merging

    Stirling, S., Rocha, R. C. O., Hazelwood, K., Leather, H., O'Boyle, M. F. P. & Petoumenos, P., 6 Apr 2022, 2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO). IEEE

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    1 Downloads (Pure)
  • FlexOS: Towards Flexible OS Isolation

    Lefeuvre, H., Bădoiu, V.-A., Jung, A., Teodorescu, Ș., Rauch, S., Huici, F., Raiciu, C. & Olivier, P., 28 Feb 2022, ASPLOS 2022 - Proceedings of the 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. Falsafi, B., Ferdman, M., Lu, S. & Wenisch, T. F. (eds.). p. 467-482 16 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    895 Downloads (Pure)
  • HyBF: A Hybrid Branch Fusion Strategy for Code Size Reduction

    Rocha, R. C. O., Saumya, C., Sundararajah, K., Petoumenos, P., Kulkarni, M. & O'Boyle, M. F. P., 19 Dec 2022, (Accepted/In press) ACM SIGPLAN 2023 International Conference on Compiler Construction.

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    146 Downloads (Pure)
  • Loop Rolling for Code Size Reduction

    Rocha, R. C. O., Petoumenos, P., Franke, B., Bhatotia, P. & O'Boyle, M. F. P., 6 Apr 2022, 2022 IEEE/ACM International Symposium on Code Generation and Optimization (CGO). IEEE

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
  • Online learning in SNNs with e-prop and Neuromorphic Hardware

    Perrett, A., Summerton, S., Gait, A. & Rhodes, O., 3 May 2022, Proceedings of the 2022 Annual Neuro-Inspired Computational Elements Conference, NICE 2022. Okandan, M. & Aimone, J. B. (eds.). New York, NY: Association for Computing Machinery, p. 32-39 8 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities

    Alshmrany, K., Bhayat, A., Brauße, F., Cordeiro, L., Korovin, K., Melham, T., Mustafa, M. A., Olivier, P., Reger, G. & Shmarov, F., 30 Aug 2022, (Accepted/In press) IEEE Secure Development Conference.

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • Precise Characterizing of FPGAs in Production Systems

    Babaei, B. & Koch, D., Sept 2022, 2022 32nd International Conference on Field-Programmable Logic and Applications (FPL). Washington, D.C.: IEEE, p. 464-465 2 p. (International Conference on Field-programmable Logic and Applications (Online)).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • Tunable Fine-grained Clock Phase-shifting for FPGAs

    Babaei, B. & Koch, D., Sept 2022, 2022 32nd International Conference on Field-Programmable Logic and Applications (FPL). Piscataway, NJ: IEEE, p. 384-390 7 p. (International Conference on Field-programmable Logic and Applications (Online)).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • 2021

    A Comparison of Vivado HLS, SDSoC C++ and OpenCL for Porting a Matrix-vector-based Climate model mini-app to FPGAs

    Alghamdi, M., Riley, G. & Ashworth, M., 7 May 2021, (Accepted/In press) PDPTA'21- The 27th Int'l Conference on Parallel and Distributed Processing Techniques and Applications .

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    767 Downloads (Pure)
  • Concurrency Mapping to FPGAs with OpenCL: A Case Study with a Shallow Water Kernel

    Alghamdi, M., Riley, G. & Ashworth, M., 6 May 2021, (Accepted/In press) CSC'21 - The 19th Int'l Conf on Scientific Computing .

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    216 Downloads (Pure)
  • Developer and User-Transparent Compiler Optimization for Interactive Applications

    Mpeis, P., Petoumenos, P., Hazelwood, K. & Leather, H., 18 Jun 2021, (E-pub ahead of print) Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI ’21). ACM Digital Library, p. 268 - 281

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    1 Downloads (Pure)
  • HyFM: Function Merging for Free

    Rocha, R. C. O., Petoumenos, P., Wang, Z., Cole, M., Hazelwood, K. & Leather, H., 9 Apr 2021, (Accepted/In press) International Conference on Languages Compilers, Tools and Theory of Embedded Systems (LCTES 2021) .

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    200 Downloads (Pure)
  • Loopapalooza: Investigating Limits of Loop-Level Parallelism with a Compiler-Driven Approach

    Zaidi, A., Iordanou, K., Luján, M. & Gabrielli, G., 23 Apr 2021, Proceedings of the 2021 IEEE International Symposium on Performance Analysis of Systems and Software.

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    441 Downloads (Pure)
  • Power and energy efficient routing for Mach-Zehnder interferometer based photonic switches

    Kynigos, M., Pascual, J., Navaridas, J., Goodacre, J. & Luján, M., 3 Jun 2021, ICS 2021 - Proceedings of the 2021 ACM International Conference on Supercomputing. Association for Computing Machinery, p. 177-189 19 p. (Proceedings of the International Conference on Supercomputing).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    250 Downloads (Pure)
  • Robust SLAM Systems: Are We There Yet?

    Bujanca, H.-M., Shi, X., Spear, M., Zhao, P., Lennox, B. & Luján, M., Sept 2021, (Accepted/In press) IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2021) . IEEE, 8 p.

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    665 Downloads (Pure)
  • Towards Biologically-Plausible Neuron Models and Firing Rates in High-Performance Deep Spiking Neural Networks

    Furber, S. & Li, C., 29 Jul 2021, Proc. Intl Conf on Neuromorphic Systems (ICONS) 2021. Association for Computing Machinery, p. 1-7 7 p.

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    135 Downloads (Pure)
  • Wayfinder: Towards Automatically Deriving Optimal OS Configurations

    Jung, A., Lefeuvre, H., Rotsos, C., Olivier, P., Huici, F., Niepert, M. & Oñoro, D., 29 Jun 2021, (Accepted/In press) 12th ACM SIGOPS Asia-Pacific Workshop on Systems (APSys).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • Xar-Trek: Run-time Execution Migration among FPGAs and Heterogeneous-ISA CPUs

    Horta, E., Chuang, H.-R., VSathish, N. R., Philippidis, C., Barbalace, A., Olivier, P. & Ravindran, B., 23 Aug 2021, (Accepted/In press) ACM/IFIP Middleware conference 2021 .

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • 2020

    A Framework for Software Diversification with ISA Heterogeneity

    Wang, X., Yeoh, S., Lyerly, R., Olivier, P., Kim, S.-H. & Ravindran, B., 26 May 2020, (Accepted/In press) Proceedings of the 23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • Balancing Performance and Productivity for the Development of Dynamic Binary Instrumentation Tools - A Case Study on Arm Systems

    Gorgovan, C., Callaghan, G. & Luján, M., 22 Feb 2020, Proceedings of the 29th International Conference on Compiler Construction (CC ’20). Association for Computing Machinery, 11 p.

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

    Open Access
    File
    654 Downloads (Pure)
  • Bounded Stream Scheduling in Polyhedral OpenStream

    Nobre, N. M., Drebes, A., Riley, G. & Pop, A., 22 Jan 2020, IMPACT 2020 - 10th International Workshop on Polyhedral Compilation Techniques. Bologna, Italy

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review

  • Demo: A Closer Look at Malicious Bitstreams

    La, T., Mätas, K., Powell, J., Pham, K. & Koch, D., 2020, (Accepted/In press) 30th International Conference on Field-Programmable Logic and Applications (FPL).

    Research output: Chapter in Book/Conference proceedingConference contributionpeer-review