default search action
Giuseppe Di Guglielmo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j20]Allison McCarn Deiana, Nhan Tran, Joshua Agar, Michaela Blott, Giuseppe Di Guglielmo, Javier M. Duarte, Philip C. Harris, Scott Hauck, Mia Liu, Mark S. Neubauer, Jennifer Ngadiuba, Seda Ogrenci-Memik, Maurizio Pierini, Thea Aarrestad, Steffen Bähr, Jürgen Becker, Anne-Sophie Berthold, Richard J. Bonventre, Tomás E. Müller-Bravo, Markus Diefenthaler, Zhen Dong, Nick Fritzsche, Amir Gholami, Ekaterina Govorkova, Dongning Guo, Kyle J. Hazelwood, Christian Herwig, Babar Khan, Sehoon Kim, Thomas Klijnsma, Yaling Liu, Kin Ho Lo, Tri Nguyen, Gianantonio Pezzullo
, Seyedramin Rasoulinezhad, Ryan A. Rivera, Kate Scholberg, Justin Selig, Sougata Sen, Dmitri Strukov, William Tang, Savannah Thais, Kai Lukas Unger, Ricardo Vilalta, Belinavon Krosigk, Shen Wang, Thomas K. Warburton:
Corrigendum: Applications and techniques for fast machine learning in science. Frontiers Big Data 6 (2024) - [j19]Jieun Yoo
Smart pixel sensors: towards on-sensor filtering of pixel clusters with deep learning. Mach. Learn. Sci. Technol. 5(3): 35047 (2024) - [c43]Maico Cassel dos Santos, Tianyu Jia, Joseph Zuckerman, Martin Cochet, Davide Giri, Erik Jens Loscalzo, Karthik Swaminathan, Thierry Tambe, Jeff Jun Zhang, Alper Buyuktosunoglu, Kuan-Lin Chiu, Giuseppe Di Guglielmo, Paolo Mantovani, Luca Piccolboni, Gabriele Tombesi, David Trilla, John-David Wellman, En-Yu Yang, Aporva Amarnath, Ying Jing, Bakshree Mishra, Joshua Park, Vignesh Suresh, Sarita V. Adve, Pradip Bose, David Brooks, Luca P. Carloni, Kenneth L. Shepard, Gu-Yeon Wei:
14.5 A 12nm Linux-SMP-Capable RISC-V SoC with 14 Accelerator Types, Distributed Hardware Power Management and Flexible NoC-Based Data Orchestration. ISSCC 2024: 262-264 - 2023
- [i18]Yumou Wei, Ryan F. Forelli, Chris Hansen, Jeffrey P. Levesque, Nhan Tran, Joshua C. Agar, Giuseppe Di Guglielmo, Michael E. Mauel, Gerald A. Navratil:
Low latency optical-based mode tracking with machine learning deployed on FPGAs on a tokamak. CoRR abs/2312.00128 (2023) - 2022
- [j18]Allison McCarn Deiana, Nhan Tran
Applications and Techniques for Fast Machine Learning in Science. Frontiers Big Data 5: 787421 (2022) - [j17]Yeon-jae Jwa, Giuseppe Di Guglielmo, Lukas Arnold, Luca Carloni, Georgia Karagiorgi:
Real-Time Inference With 2D Convolutional Neural Networks on Field Programmable Gate Arrays for High-Rate Particle Imaging Detectors. Frontiers Artif. Intell. 5: 855184 (2022) - [j16]Naif Tarafdar, Giuseppe Di Guglielmo, Philip C. Harris, Jeffrey D. Krupa, Vladimir Loncar, Dylan S. Rankin, Nhan Tran, Zhenbin Wu, Qianfeng Shen, Paul Chow
AIgean: An Open Framework for Deploying Machine Learning on Heterogeneous Clusters. ACM Trans. Reconfigurable Technol. Syst. 15(3): 23:1-23:32 (2022) - [i17]Hendrik Borras
Open-source FPGA-ML codesign for the MLPerf Tiny Benchmark. CoRR abs/2206.11791 (2022) - [i16]David Xu, A. Baris Özgüler, Giuseppe Di Guglielmo, Nhan Tran, Gabriel N. Perdue, Luca P. Carloni, Farah Fahim:
Neural network accelerator for quantum control. CoRR abs/2208.02645 (2022) - 2021
- [j15]Lorenzo Ferretti
DB4HLS: A Database of High-Level Synthesis Design Space Explorations. IEEE Embed. Syst. Lett. 13(4): 194-197 (2021) - [j14]Marco Ricci, Bernardita Stitic
Machine-Learning-Based Microwave Sensing: A Case Study for the Food Industry. IEEE J. Emerg. Sel. Topics Circuits Syst. 11(3): 503-514 (2021) - [j13]Jennifer Ngadiuba
Compressing deep neural networks on FPGAs to binary and ternary precision with hls4ml. Mach. Learn. Sci. Technol. 2(1): 15001 (2021) - [j12]Thea Aarrestad
Fast convolutional neural networks on FPGAs with hls4ml. Mach. Learn. Sci. Technol. 2(4): 45015 (2021) - [c42]Luca Piccolboni, Giuseppe Di Guglielmo, Simha Sethumadhavan, Luca P. Carloni:
HARDROID: Transparent Integration of Crypto Accelerators in Android. HPEC 2021: 1-8 - [c41]Colby R. Banbury, Vijay Janapa Reddi, Peter Torelli, Nat Jeffries, Csaba Király, Jeremy Holleman, Pietro Montino, David Kanter, Pete Warden, Danilo Pau, Urmish Thakker, Antonio Torrini, Jay Cordaro, Giuseppe Di Guglielmo, Javier M. Duarte, Honson Tran, Nhan Tran, Wenxu Niu, Xuesong Xu:
MLPerf Tiny Benchmark. NeurIPS Datasets and Benchmarks 2021 - [c40]Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni
CRYLOGGER: Detecting Crypto Misuses Dynamically. SP 2021: 1972-1989 - [i15]Lorenzo Ferretti, Jihye Kwon, Giovanni Ansaloni, Giuseppe Di Guglielmo, Luca P. Carloni, Laura Pozzi:
DB4HLS: A Database of High-Level Synthesis Design Space Explorations. CoRR abs/2101.00587 (2021) - [i14]Thea Aarrestad
Fast convolutional neural networks on FPGAs with hls4ml. CoRR abs/2101.05108 (2021) - [i13]Farah Fahim, Benjamin Hawks, Christian Herwig, James Hirschauer, Sergo Jindariani, Nhan Tran, Luca P. Carloni, Giuseppe Di Guglielmo, Philip C. Harris, Jeffrey D. Krupa, Dylan S. Rankin, Manuel Blanco Valentin, Josiah D. Hester, Yingyi Luo, John Mamish, Seda Ogrenci Memik, Thea Aarrestad
hls4ml: An Open-Source Codesign Workflow to Empower Scientific Low-Power Machine Learning Devices. CoRR abs/2103.05579 (2021) - [i12]Giuseppe Di Guglielmo, Farah Fahim, Christian Herwig, Manuel Blanco Valentin, Javier M. Duarte
A reconfigurable neural network ASIC for detector front-end data compression at the HL-LHC. CoRR abs/2105.01683 (2021) - [i11]Colby R. Banbury, Vijay Janapa Reddi, Peter Torelli, Jeremy Holleman, Nat Jeffries, Csaba Király, Pietro Montino, David Kanter, Sebastian Ahmed, Danilo Pau, Urmish Thakker, Antonio Torrini, Pete Warden, Jay Cordaro, Giuseppe Di Guglielmo, Javier M. Duarte, Stephen Gibellini, Videet Parekh, Honson Tran, Nhan Tran, Wenxu Niu, Xuesong Xu:
MLPerf Tiny Benchmark. CoRR abs/2106.07597 (2021) - [i10]Allison McCarn Deiana, Nhan Tran, Joshua Agar, Michaela Blott, Giuseppe Di Guglielmo, Javier M. Duarte
Applications and Techniques for Fast Machine Learning in Science. CoRR abs/2110.13041 (2021) - 2020
- [j11]Yutaro Iiyama, Gianluca Cerminara, Abhijay Gupta, Jan Kieseler
Distance-Weighted Graph Neural Networks on FPGAs for Real-Time Particle Reconstruction in High Energy Physics. Frontiers Big Data 3: 598927 (2020) - [j10]Lorenzo Ferretti
Leveraging Prior Knowledge for Effective Design-Space Exploration in High-Level Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3736-3747 (2020) - [c39]Davide Giri, Kuan-Lin Chiu, Giuseppe Di Guglielmo, Paolo Mantovani, Luca P. Carloni:
ESP4ML: Platform-Based Design of Systems-on-Chip for Embedded Machine Learning. DATE 2020: 1049-1054 - [c38]Naif Tarafdar, Giuseppe Di Guglielmo, Philip C. Harris, Jeffrey D. Krupa, Vladimir Loncar, Dylan S. Rankin
AIgean: An Open Framework for Machine Learning on Heterogeneous Clusters. FCCM 2020: 239 - [c37]Maarten Hattink, Giuseppe Di Guglielmo, Luca P. Carloni, Keren Bergman:
A Scalable Architecture for CNN Accelerators Leveraging High-Performance Memories. HPEC 2020: 1-6 - [c36]Paolo Mantovani, Davide Giri, Giuseppe Di Guglielmo, Luca Piccolboni, Joseph Zuckerman, Emilio G. Cota, Michele Petracca, Christian Pilato, Luca P. Carloni
Agile SoC Development with Open ESP : Invited Paper. ICCAD 2020: 96:1-96:9 - [i9]Sioni Summers, Giuseppe Di Guglielmo, Javier M. Duarte
Fast inference of Boosted Decision Trees in FPGAs for particle physics. CoRR abs/2002.02534 (2020) - [i8]Giuseppe Di Guglielmo, Javier M. Duarte
Compressing deep neural networks on FPGAs to binary and ternary precision with HLS4ML. CoRR abs/2003.06308 (2020) - [i7]Davide Giri, Kuan-Lin Chiu, Giuseppe Di Guglielmo, Paolo Mantovani, Luca P. Carloni:
ESP4ML: Platform-Based Design of Systems-on-Chip for Embedded Machine Learning. CoRR abs/2004.03640 (2020) - [i6]Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni, Simha Sethumadhavan:
CRYLOGGER: Detecting Crypto Misuses Dynamically. CoRR abs/2007.01061 (2020) - [i5]Yutaro Iiyama, Gianluca Cerminara, Abhijay Gupta, Jan Kieseler
Distance-Weighted Graph Neural Networks on FPGAs for Real-Time Particle Reconstruction in High Energy Physics. CoRR abs/2008.03601 (2020) - [i4]Paolo Mantovani, Davide Giri, Giuseppe Di Guglielmo, Luca Piccolboni, Joseph Zuckerman, Emilio G. Cota, Michele Petracca, Christian Pilato, Luca P. Carloni:
Agile SoC Development with Open ESP. CoRR abs/2009.01178 (2020)
2010 – 2019
- 2019
- [c35]Luca Piccolboni
KAIROS: Incremental Verification in High-Level Synthesis through Latency-Insensitive Design. FMCAD 2019: 105-109 - [c34]Georgios Zacharopoulos, Lorenzo Ferretti, Giovanni Ansaloni, Giuseppe Di Guglielmo, Luca P. Carloni, Laura Pozzi:
Compiler-Assisted Selection of Hardware Acceleration Candidates from Application Source Code. ICCD 2019: 129-137 - [c33]Luca P. Carloni, Emilio G. Cota, Giuseppe Di Guglielmo, Davide Giri, Jihye Kwon
Teaching Heterogeneous Computing with System-Level Design Methods. WCAE@ISCA 2019: 4:1-4:8 - [i3]Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni:
Securing Accelerators with Dynamic Information Flow Tracking. CoRR abs/1903.06801 (2019) - [i2]Luca Piccolboni, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni:
COSMOS: Coordination of High-Level Synthesis and Memory Optimization for Hardware Accelerators. CoRR abs/1912.10823 (2019) - [i1]Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni:
PAGURUS: Low-Overhead Dynamic Information Flow Tracking on Loosely Coupled Accelerators. CoRR abs/1912.11153 (2019) - 2018
- [j9]Luca Piccolboni
PAGURUS: Low-Overhead Dynamic Information Flow Tracking on Loosely Coupled Accelerators. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2685-2696 (2018) - [c32]Christian Palmiero, Giuseppe Di Guglielmo, Luciano Lavagno, Luca P. Carloni:
Design and Implementation of a Dynamic Information Flow Tracking Architecture to Secure a RISC-V Core for IoT Applications. HPEC 2018: 1-7 - 2017
- [j8]Christian Pilato
System-Level Optimization of Accelerator Local Memory for Heterogeneous Systems-on-Chip. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36(3): 435-448 (2017) - [j7]Luca Piccolboni
COSMOS: Coordination of High-Level Synthesis and Memory Optimization for Hardware Accelerators. ACM Trans. Embed. Comput. Syst. 16(5s): 150:1-150:22 (2017) - [c31]Luca Piccolboni
Broadening the exploration of the accelerator design space in embedded scalable platforms. HPEC 2017: 1-7 - 2016
- [c30]Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni:
High-level synthesis of accelerators in embedded scalable platforms. ASP-DAC 2016: 204-211 - [c29]Paolo Mantovani, Emilio G. Cota, Christian Pilato
Handling large data sets for high-performance embedded applications in heterogeneous systems-on-chip. CASES 2016: 3:1-3:10 - [c28]Christian Pilato
On the design of scalable and reusable accelerators for big data applications. Conf. Computing Frontiers 2016: 406-411 - [c27]Paolo Mantovani, Emilio G. Cota, Kevin Tien, Christian Pilato
An FPGA-based infrastructure for fine-grained DVFS analysis in high-performance embedded systems. DAC 2016: 157:1-157:6 - 2015
- [c26]Emilio G. Cota, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni:
An Analysis of Accelerator Coupling in Heterogeneous Architectures. DAC 2015: 202:1-202:6 - 2014
- [c25]Christian Pilato, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni:
System-level memory optimization for high-level synthesis of component-based SoCs. CODES+ISSS 2014: 18:1-18:10 - [c24]Giuseppe Di Guglielmo, Christian Pilato
A Design Methodology for Compositional High-Level Synthesis of Communication-Centric SoCs. DAC 2014: 128:1-128:6 - 2013
- [j6]Giuseppe Di Guglielmo, Luigi Di Guglielmo, Andreas Foltinek, Masahiro Fujita, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
On the integration of model-driven design and dynamic assertion-based verification for embedded software. J. Syst. Softw. 86(8): 2013-2033 (2013) - [c23]Michele Bertasi, Giuseppe Di Guglielmo, Graziano Pravadelli
Automatic generation of compact formal properties for effective error detection. CODES+ISSS 2013: 28:1-28:10 - [c22]Giuseppe Di Guglielmo, Davide Ferraretto, Franco Fummi, Graziano Pravadelli
Efficient fault simulation through dynamic binary translation for dependability analysis of embedded software. ETS 2013: 1-6 - 2012
- [j5]Valerio Guarnieri, Giuseppe Di Guglielmo, Nicola Bombieri
On the Reuse of TLM Mutation Analysis at RTL. J. Electron. Test. 28(4): 435-448 (2012) - [j4]Viacheslav Izosimov, Giuseppe Di Guglielmo, Michele Lora
Time-Constraint-Aware Optimization of Assertions in Embedded Software. J. Electron. Test. 28(4): 469-486 (2012) - [c21]Marco Bonato, Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli
Dynamic property mining for embedded software. CODES+ISSS 2012: 187-196 - [c20]Giuseppe Di Guglielmo, Graziano Pravadelli
A testbench specification language for SystemC verification. CODES+ISSS 2012: 333-342 - [c19]Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli:
Enabling dynamic assertion-based verification of embedded software through model-driven design. DATE 2012: 212-217 - [c18]Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
On the use of assertions for embedded-software dynamic verification. DDECS 2012: 330-335 - [c17]Urmas Repinski, Hanno Hantson, Maksim Jenihhin
Combining dynamic slicing and mutation operators for ESL correction. ETS 2012: 1-6 - [c16]Simone Bronuzzi, Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli
Accurate profiling of oracles for self-checking time-constrained embedded software. HLDVT 2012: 96-99 - 2011
- [j3]Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs. J. Electron. Test. 27(2): 137-162 (2011) - [c15]Viacheslav Izosimov, Michele Lora
Optimization of Assertion Placement in Time-Constrained Embedded Systems. ETS 2011: 171-176 - [c14]Giuseppe Di Guglielmo, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
Interactive presentation abstract: Assertion-based verification in embedded-software design. HLDVT 2011: 80 - [c13]Giuseppe Di Guglielmo, Masahiro Fujita, Luigi Di Guglielmo, Franco Fummi, Graziano Pravadelli
Model-driven design and validation of embedded software. AST 2011: 98-104 - [c12]Giuseppe Di Guglielmo, Masahiro Fujita, Franco Fummi, Graziano Pravadelli
EFSM-based model-driven approach to concolic testing of system-level design. MEMOCODE 2011: 201-209 - 2010
- [j2]Nicola Bombieri
HIFSuite: Tools for HDL Code Conversion and Manipulation. EURASIP J. Embed. Syst. 2010 (2010) - [c11]Markus Becker, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, Tao Xie:
RTOS-aware refinement for TLM2.0-based HW/SW designs. DATE 2010: 1053-1058 - [c10]Nicola Bombieri
HIFSuite: Tools for HDL code conversion and manipulation. HLDVT 2010: 40-41 - [c9]Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli
Semi-formal functional verification by EFSM traversing via NuSMV. HLDVT 2010: 58-65 - [c8]Hanno Hantson, Jaan Raik
Mutation analysis with high-level decision diagrams. LATW 2010: 1-6
2000 – 2009
- 2009
- [b1]Giuseppe Di Guglielmo:
On the validation of embedded systems through functional ATPG. University of Verona, Italy, 2009 - [c7]Davide Bresolin
The impact of EFSM composition on functional ATPG. DDECS 2009: 44-49 - [c6]Giuseppe Di Guglielmo, Franco Fummi, Graziano Pravadelli
On the Functional Qualification of a Platform Model. DFT 2009: 182-190 - 2008
- [c5]Giuseppe Di Guglielmo, Franco Fummi, Mark Hampton, Graziano Pravadelli
The role of parallel simulation in functional verification. HLDVT 2008: 117-124 - 2007
- [j1]Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
Improving high-level and gate-level testing with FATE: A functional automatic test pattern generator traversing unstabilised extended FSM. IET Comput. Digit. Tech. 1(3): 187-196 (2007) - 2006
- [c4]Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
FATE: a Functional ATPG to Traverse Unstabilized EFSMs. ETS 2006: 179-184 - [c3]Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
EFSM Manipulation to Increase High-Level ATPG Effectiveness. ISQED 2006: 57-62 - [c2]Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
Improving Gate-Level ATPG by Traversing Concurrent EFSMs. VTS 2006: 172-179 - 2005
- [c1]Giuseppe Di Guglielmo, Franco Fummi, Cristina Marconcini, Graziano Pravadelli
A Pseudo-Deterministic Functional ATPG based on EFSM Traversing. MTV 2005: 70-75
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-02 22:33 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: