Luca P. Carloni

213 papers A* 24A 27B 7C 14Misc 18Journal 66Unranked 54

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	EPOCHS-1: A 12 nm Highly Heterogeneous Open-Source SoC With Distributed Coin-Based Power Management and Integrated Hybrid Voltage Regulation. IEEE J. Solid State Circuits Joseph Zuckerman, Martin Cochet, Maico Cassel dos Santos, Erik Jens Loscalzo, Karthik Swaminathan, Tianyu Jia, Davide Giri, 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, Samira Zaliasl, Michael Lekas, Stephen Cahill, Hesam Sadeghi, Joseph Meyer, Noah Sturcken, Sarita V. Adve, David Brooks, Gu-Yeon Wei, Kenneth L. Shepard, Pradip Bose, Luca P. Carloni
2025	A*	`conf`	An Energy-Efficient Kalman Filter Architecture with Tunable Accuracy for Brain-Computer Interfaces. DAC Guy Eichler, Joseph Zuckerman, Luca P. Carloni
2025	J	`jnl`	BASTION: A Framework for Secure Third-Party IP Integration in NoC-based SoC Platforms. IACR Trans. Cryptogr. Hardw. Embed. Syst. Francesco Restuccia, Zhenghua Ma, Joseph Zuckerman, Andres Meza, Biruk B. Seyoum, Luca P. Carloni, Ryan Kastner
2025	J	`jnl`	BlitzCoin: A Decentralized Hardware Solution for Power Management of Highly Heterogeneous Systems on Chip. IEEE Micro Martin Cochet, Karthik Swaminathan, Erik Loscalzo, Joseph Zuckerman, Maico Cassel dos Santos, Davide Giri, Alper Buyuktosunoglu, Tianyu Jia, David Brooks, Gu-Yeon Wei, Kenneth L. Shepard, Luca P. Carloni, Pradip Bose
2025	J	`jnl`	FLIP2M: Flexible Intra-layer Parallelism and Inter-layer Pipelining for Multi-model AR/VR Workloads. ACM Trans. Embed. Comput. Syst. Gabriele Tombesi, Je Yang, Joseph Zuckerman, Davide Giri, William Baisi, Luca P. Carloni
2025	A	`conf`	KalmMind: A Configurable Kalman Filter Design Framework for Embedded Brain-Computer Interfaces. DATE Guy Eichler, Joseph Zuckerman, Luca P. Carloni
2025	C	`conf`	Lightweight Congruence Profiling for Early Design Exploration of Heterogeneous FPGAs. VLSI-SoC Allen Boston, Biruk B. Seyoum, Luca P. Carloni, Pierre-Emmanuel Gaillardon
2025	J	`jnl`	Lightweight Congruence Profiling for Early Design Exploration of Heterogeneous FPGAs. CoRR Allen Boston, Biruk B. Seyoum, Luca P. Carloni, Pierre-Emmanuel Gaillardon
2025	A*	`conf`	MINDFUL: Safe, Implantable, Large-Scale Brain-Computer Interfaces from a System-Level Design Perspective. MICRO Guy Eichler, Yatin Gilhotra, Nanyu Zeng, Martha A. Kim, Kenneth L. Shepard, Luca P. Carloni
2025	J	`jnl`	Machine learning for arbitrary single-qubit rotations on an embedded device. Quantum Mach. Intell. Madhav Narayan Bhat, Marco Russo, Luca P. Carloni, Giuseppe Di Guglielmo, Farah Fahim, Andy C. Y. Li, Gabriel N. Perdue
2025	—	`conf`	Open-Source Hardware and Agile System-on-Chip Design. CF (Companion) Luca P. Carloni
2025	C	`conf`	Optimization of Wire Pipelining and Channel Parallelism for 2D-Mesh NoC Physical Design. ICCD Pei-Huan Tsai, Maico Cassel dos Santos, Joseph Zuckerman, Kuan-Lin Chiu, Luca P. Carloni
2025	J	`jnl`	QuArch: A Benchmark for Evaluating LLM Reasoning in Computer Architecture. CoRR Shvetank Prakash, Andrew Cheng, Arya Tschand, Mark Mazumder, Varun Gohil, Jeffrey Jian Ma, Jason Yik, Zishen Wan, Jessica Quaye, Elisavet Lydia Alvanaki, Avinash Kumar, Chandrashis Mazumdar, Tuhin Khare, Alexander Ingare, Ikechukwu Uchendu, Radhika Ghosal, Abhishek Tyagi, Chenyu Wang, Andrea Mattia Garavagno, Sarah Gu, Alice Guo, Grace Hur, Luca P. Carloni, Tushar Krishna, Ankita Nayak, Amir Yazdanbakhsh, Vijay Janapa Reddi
2025	B	`conf`	ReconFormer: A Multi-Level Run-Time Reconfigurable System-on-Chip for Accelerating Transformers. FPL Je Yang, Gabriele Tombesi, Joseph Zuckerman, Luca P. Carloni
2025	J	`jnl`	SLDB: An End-To-End Heterogeneous System-on-Chip Benchmark Suite for LLM-Aided Design. CoRR Elisavet Lydia Alvanaki, Kevin Lee, Luca P. Carloni
2024	—	`conf`	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 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
2024	—	`conf`	A 400-ns-Settling- Time Hybrid Dynamic Voltage Frequency Scaling Architecture and Its Application in a 22-Core Network-on-Chip SoC in 12-nm FinFET Technology. VLSI Technology and Circuits Erik Jens Loscalzo, Martin Cochet, Joseph Zuckerman, Samira Zalias, Michael Lekas, Stephen Cahill, Tianyu Jia, Karthik Swaminathan, Maico Cassel dos Santos, Davide Giri, Hesam Sadeghi, Joseph Meyer, Noah Sturcken, David Brooks, Gu-Yeon Wei, Luca P. Carloni, Pradip Bose, Kenneth L. Shepard
2024	—	`conf`	A Wireless Subdural Optical Cortical Interface Device with 768 Co-Packaged Micro-LEDs for Fluorescence Imaging and Optogenetic Stimulation. CICC Yatin Gilhotra, Henry Overhauser, Heyu Yin, Eric H. Pollmann, Guy Eichler, Andrew Cheng, Taesung Jung, Nanyu Zeng, Luca P. Carloni, Kenneth L. Shepard
2024	A*	`conf`	BlitzCoin: Fully Decentralized Hardware Power Management for Accelerator-Rich SoCs. ISCA Martin Cochet, Karthik Swaminathan, Erik Jens Loscalzo, Joseph Zuckerman, Maico Cassel dos Santos, Davide Giri, Alper Buyuktosunoglu, Tianyu Jia, David Brooks, Gu-Yeon Wei, Kenneth L. Shepard, Luca P. Carloni, Pradip Bose
2024	J	`jnl`	Machine Learning for Arbitrary Single-Qubit Rotations on an Embedded Device. CoRR Madhav Narayan Bhat, Marco Russo, Luca P. Carloni, Giuseppe Di Guglielmo, Farah Fahim, Andy C. Y. Li, Gabriel N. Perdue
2024	B	`conf`	Mozart: Taming Taxes and Composing Accelerators with Shared-Memory. PACT Vignesh Suresh, Bakshree Mishra, Ying Jing, Zeran Zhu, Naiyin Jin, Charles Block, Paolo Mantovani, Davide Giri, Joseph Zuckerman, Luca P. Carloni, Sarita V. Adve
2024	J	`jnl`	Towards Generalized On-Chip Communication for Programmable Accelerators in Heterogeneous Architectures. CoRR Joseph Zuckerman, John-David Wellman, Ajay Vanamali, Manish Shankar, Gabriele Tombesi, Karthik Swaminathan, Kevin Lee, Mohit Kapur, Robert Philhower, Pradip Bose, Luca P. Carloni
2024	C	`conf`	WOLT: Transparent Deployment of ML Workloads on Lightweight Many-Accelerator Architectures. ICCD Kuan-Lin Chiu, Guy Eichler, Chuan-Tung Lin, Giuseppe Di Guglielmo, Luca P. Carloni
2023	—	`conf`	A 12nm 18.1TFLOPs/W Sparse Transformer Processor with Entropy-Based Early Exit, Mixed-Precision Predication and Fine-Grained Power Management. ISSCC Thierry Tambe, Jeff Zhang, Coleman Hooper, Tianyu Jia, Paul N. Whatmough, Joseph Zuckerman, Maico Cassel dos Santos, Erik Jens Loscalzo, Davide Giri, Kenneth L. Shepard, Luca P. Carloni, Alexander M. Rush, David Brooks, Gu-Yeon Wei
2023	—	`conf`	A Wireless, Mechanically Flexible, 25μm-Thick, 65, 536-Channel Subdural Surface Recording and Stimulating Microelectrode Array with Integrated Antennas. VLSI Technology and Circuits Nanyu Zeng, Taesung Jung, Mohit Sharma, Guy Eichler, Jason D. Fabbri, R. James Cotton, Eleonora Spinazzi, Brett Youngerman, Luca P. Carloni, Kenneth L. Shepard
2023	—	`conf`	An Analysis of Accelerator Data-Transfer Modes in NoC-Based SoC Architectures. HPEC Kuan-Lin Chiu, Davide Giri, Luca Piccolboni, Luca P. Carloni
2023	—	`conf`	DECADES: A 67mm CICC Fei Gao, Ting-Jung Chang, Ang Li, Marcelo Orenes-Vera, Davide Giri, Paul J. Jackson, August Ning, Georgios Tziantzioulis, Joseph Zuckerman, Jinzheng Tu, Kaifeng Xu, Grigory Chirkov, Gabriele Tombesi, Jonathan Balkind, Margaret Martonosi, Luca P. Carloni, David Wentzlaff
2023	—	`conf`	EigenEdge: Real-Time Software Execution at the Edge with RISC-V and Hardware Accelerators. CPS-IoT Week Workshops Kuan-Lin Chiu, Guy Eichler, Biruk B. Seyoum, Luca P. Carloni
2023	C	`conf`	MindCrypt: The Brain as a Random Number Generator for SoC-Based Brain-Computer Interfaces. ICCD Guy Eichler, Biruk B. Seyoum, Kuan-Lin Chiu, Luca P. Carloni
2023	A	`conf`	PR-ESP: An Open-Source Platform for Design and Programming of Partially Reconfigurable SoCs. DATE Biruk B. Seyoum, Davide Giri, Kuan-Lin Chiu, Bryce Natter, Luca P. Carloni
2023	J	`jnl`	SoCProbe: Compositional Post-Silicon Validation of Heterogeneous NoC-Based SoCs. IEEE Des. Test Gabriele Tombesi, Joseph Zuckerman, Paolo Mantovani, Davide Giri, Maico Cassel dos Santos, Tianyu Jia, David Brooks, Gu-Yeon Wei, Luca P. Carloni
2023	J	`jnl`	SpikeHard: Efficiency-Driven Neuromorphic Hardware for Heterogeneous Systems-on-Chip. ACM Trans. Embed. Comput. Syst. Judicael Clair, Guy Eichler, Luca P. Carloni
2022	—	`conf`	A 12nm Agile-Designed SoC for Swarm-Based Perception with Heterogeneous IP Blocks, a Reconfigurable Memory Hierarchy, and an 800MHz Multi-Plane NoC. ESSCIRC Tianyu Jia, Paolo Mantovani, Maico Cassel dos Santos, Davide Giri, Joseph Zuckerman, Erik Jens Loscalzo, Martin Cochet, Karthik Swaminathan, Gabriele Tombesi, Jeff Jun Zhang, Nandhini Chandramoorthy, John-David Wellman, Kevin Tien, Luca P. Carloni, Kenneth L. Shepard, David Brooks, Gu-Yeon Wei, Pradip Bose
2022	A	`conf`	A Scalable Methodology for Agile Chip Development with Open-Source Hardware Components. ICCAD Maico Cassel dos Santos, Tianyu Jia, Martin Cochet, Karthik Swaminathan, Joseph Zuckerman, Paolo Mantovani, Davide Giri, Jeff Jun Zhang, Erik Jens Loscalzo, Gabriele Tombesi, Kevin Tien, Nandhini Chandramoorthy, John-David Wellman, David Brooks, Gu-Yeon Wei, Kenneth L. Shepard, Luca P. Carloni, Pradip Bose
2022	J	`jnl`	Accelerators & Security: The Socket Approach. IEEE Comput. Archit. Lett. Luca Piccolboni, Davide Giri, Luca P. Carloni
2022	J	`jnl`	Enabling Heterogeneous, Multicore SoC Research with RISC-V and ESP. CoRR Joseph Zuckerman, Paolo Mantovani, Davide Giri, Luca P. Carloni
2022	J	`jnl`	Neural network accelerator for quantum control. CoRR David Xu, A. Baris Özgüler, Giuseppe Di Guglielmo, Nhan Tran, Gabriel N. Perdue, Luca P. Carloni, Farah Fahim
2022	Misc	`conf`	Work-in-Progress: An Open-Source Platform for Design and Programming of Partially Reconfigurable Heterogeneous SoCs. CASES Biruk B. Seyoum, Davide Giri, Kuan-Lin Chiu, Luca P. Carloni
2021	J	`jnl`	Accelerator Integration for Open-Source SoC Design. IEEE Micro Davide Giri, Kuan-Lin Chiu, Guy Eichler, Paolo Mantovani, Luca P. Carloni
2021	A*	`conf`	CRYLOGGER: Detecting Crypto Misuses Dynamically. SP Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni, Simha Sethumadhavan
2021	A*	`conf`	Cohmeleon: Learning-Based Orchestration of Accelerator Coherence in Heterogeneous SoCs. MICRO Joseph Zuckerman, Davide Giri, Jihye Kwon, Paolo Mantovani, Luca P. Carloni
2021	J	`jnl`	Cohmeleon: Learning-Based Orchestration of Accelerator Coherence in Heterogeneous SoCs. CoRR Joseph Zuckerman, Davide Giri, Jihye Kwon, Paolo Mantovani, Luca P. Carloni
2021	J	`jnl`	DB4HLS: A Database of High-Level Synthesis Design Space Explorations. CoRR Lorenzo Ferretti, Jihye Kwon, Giovanni Ansaloni, Giuseppe Di Guglielmo, Luca P. Carloni, Laura Pozzi
2021	J	`jnl`	DB4HLS: A Database of High-Level Synthesis Design Space Explorations. IEEE Embed. Syst. Lett. Lorenzo Ferretti, Jihye Kwon, Giovanni Ansaloni, Giuseppe Di Guglielmo, Luca P. Carloni, Laura Pozzi
2021	—	`conf`	HARDROID: Transparent Integration of Crypto Accelerators in Android. HPEC Luca Piccolboni, Giuseppe Di Guglielmo, Simha Sethumadhavan, Luca P. Carloni
2021	J	`jnl`	Machine-Learning-Based Microwave Sensing: A Case Study for the Food Industry. IEEE J. Emerg. Sel. Topics Circuits Syst. Marco Ricci, Bernardita Stitic, Luca Urbinati, Giuseppe Di Guglielmo, Jorge A. Tobon Vasquez, Luca P. Carloni, Francesca Vipiana, Mario R. Casu
2021	C	`conf`	MasterMind: Many-Accelerator SoC Architecture for Real-Time Brain-Computer Interfaces. ICCD Guy Eichler, Luca Piccolboni, Davide Giri, Luca P. Carloni
2021	A	`conf`	Online and Offline Machine Learning for Industrial Design Flow Tuning: (Invited - ICCAD Special Session Paper). ICCAD Matthew M. Ziegler, Jihye Kwon, Hung-Yi Liu, Luca P. Carloni
2021	B	`conf`	Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. FMCAD Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei, Xiaofan Zhang, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra
2021	J	`jnl`	Scaling Up Hardware Accelerator Verification using A-QED with Functional Decomposition. CoRR Saranyu Chattopadhyay, Florian Lonsing, Luca Piccolboni, Deepraj Soni, Peng Wei, Xiaofan Zhang, Yuan Zhou, Luca P. Carloni, Deming Chen, Jason Cong, Ramesh Karri, Zhiru Zhang, Caroline Trippel, Clark W. Barrett, Subhasish Mitra
2021	J	`jnl`	hls4ml: An Open-Source Codesign Workflow to Empower Scientific Low-Power Machine Learning Devices. CoRR 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, Hamza Javed, Vladimir Loncar, Maurizio Pierini, Adrian Alan Pol, Sioni Summers, Javier M. Duarte, Scott Hauck, Shih-Chieh Hsu, Jennifer Ngadiuba, Mia Liu, Duc Hoang, Edward Kreinar, Zhenbin Wu
2020	—	`conf`	A Scalable Architecture for CNN Accelerators Leveraging High-Performance Memories. HPEC Maarten Hattink, Giuseppe Di Guglielmo, Luca P. Carloni, Keren Bergman
2020	A	`conf`	Agile SoC Development with Open ESP : Invited Paper. ICCAD Paolo Mantovani, Davide Giri, Giuseppe Di Guglielmo, Luca Piccolboni, Joseph Zuckerman, Emilio G. Cota, Michele Petracca, Christian Pilato, Luca P. Carloni
2020	J	`jnl`	Agile SoC Development with Open ESP. CoRR Paolo Mantovani, Davide Giri, Giuseppe Di Guglielmo, Luca Piccolboni, Joseph Zuckerman, Emilio G. Cota, Michele Petracca, Christian Pilato, Luca P. Carloni
2020	J	`jnl`	CRYLOGGER: Detecting Crypto Misuses Dynamically. CoRR Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni, Simha Sethumadhavan
2020	A	`conf`	ESP4ML: Platform-Based Design of Systems-on-Chip for Embedded Machine Learning. DATE Davide Giri, Kuan-Lin Chiu, Giuseppe Di Guglielmo, Paolo Mantovani, Luca P. Carloni
2020	J	`jnl`	ESP4ML: Platform-Based Design of Systems-on-Chip for Embedded Machine Learning. CoRR Davide Giri, Kuan-Lin Chiu, Giuseppe Di Guglielmo, Paolo Mantovani, Luca P. Carloni
2020	—	`conf`	HL5: A 32-bit RISC-V Processor Designed with High-Level Synthesis. CICC Paolo Mantovani, Robert Margelli, Davide Giri, Luca P. Carloni
2020	J	`jnl`	Leveraging Prior Knowledge for Effective Design-Space Exploration in High-Level Synthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Lorenzo Ferretti, Jihye Kwon, Giovanni Ansaloni, Giuseppe Di Guglielmo, Luca P. Carloni, Laura Pozzi
2020	B	`conf`	MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems. ISPASS Opeoluwa Matthews, Aninda Manocha, Davide Giri, Marcelo Orenes-Vera, Esin Tureci, Tyler Sorensen, Tae Jun Ham, Juan L. Aragón, Luca P. Carloni, Margaret Martonosi
2020	C	`conf`	Scalable Open-Source System-on-Chip Design: (Invited Talk - Extended Abstract). VLSI-SOC Luca P. Carloni
2020	J	`jnl`	Silicon Photonics Codesign for Deep Learning. Proc. IEEE Qixiang Cheng, Jihye Kwon, Madeleine Glick, Meisam Bahadori, Luca P. Carloni, Keren Bergman
2020	J	`jnl`	The MosaicSim Simulator (Full Technical Report). CoRR Opeoluwa Matthews, Aninda Manocha, Davide Giri, Marcelo Orenes-Vera, Esin Tureci, Tyler Sorensen, Tae Jun Ham, Juan L. Aragón, Luca P. Carloni, Margaret Martonosi
2020	—	`conf`	Transfer Learning for Design-Space Exploration with High-Level Synthesis. MLCAD Jihye Kwon, Luca P. Carloni
2019	A*	`conf`	A Learning-Based Recommender System for Autotuning Design Flows of Industrial High-Performance Processors. DAC Jihye Kwon, Matthew M. Ziegler, Luca P. Carloni
2019	J	`jnl`	COSMOS: Coordination of High-Level Synthesis and Memory Optimization for Hardware Accelerators. CoRR Luca Piccolboni, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni
2019	C	`conf`	Compiler-Assisted Selection of Hardware Acceleration Candidates from Application Source Code. ICCD Georgios Zacharopoulos, Lorenzo Ferretti, Giovanni Ansaloni, Giuseppe Di Guglielmo, Luca P. Carloni, Laura Pozzi
2019	B	`conf`	Cross-ISA machine instrumentation using fast and scalable dynamic binary translation. VEE Emilio G. Cota, Luca P. Carloni
2019	B	`conf`	KAIROS: Incremental Verification in High-Level Synthesis through Latency-Insensitive Design. FMCAD Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni
2019	J	`jnl`	PAGURUS: Low-Overhead Dynamic Information Flow Tracking on Loosely Coupled Accelerators. CoRR Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni
2019	—	`conf`	Runtime reconfigurable memory hierarchy in embedded scalable platforms. ASP-DAC Davide Giri, Paolo Mantovani, Luca P. Carloni
2019	J	`jnl`	Securing Accelerators with Dynamic Information Flow Tracking. CoRR Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni
2019	—	`conf`	Teaching Heterogeneous Computing with System-Level Design Methods. WCAE@ISCA Luca P. Carloni, Emilio G. Cota, Giuseppe Di Guglielmo, Davide Giri, Jihye Kwon, Paolo Mantovani, Luca Piccolboni, Michele Petracca
2019	A	`conf`	Towards a Complete Methodology for Synthesizing Bundled-Data Asynchronous Circuits on FPGAs. ISLPED Kshitij Bhardwaj, Paolo Mantovani, Luca P. Carloni, Steven M. Nowick
2018	J	`jnl`	Accelerators and Coherence: An SoC Perspective. IEEE Micro Davide Giri, Paolo Mantovani, Luca P. Carloni
2018	—	`conf`	DarkMem: Fine-grained power management of local memories for accelerators in embedded systems. ASP-DAC Christian Pilato, Luca P. Carloni
2018	—	`conf`	Design and Implementation of a Dynamic Information Flow Tracking Architecture to Secure a RISC-V Core for IoT Applications. HPEC Christian Palmiero, Giuseppe Di Guglielmo, Luciano Lavagno, Luca P. Carloni
2018	—	`conf`	NoC-Based Support of Heterogeneous Cache-Coherence Models for Accelerators. NOCS Davide Giri, Paolo Mantovani, Luca P. Carloni
2018	J	`jnl`	PAGURUS: Low-Overhead Dynamic Information Flow Tracking on Loosely Coupled Accelerators. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni
2017	J	`jnl`	Accelerators for Breast Cancer Detection. ACM Trans. Embed. Comput. Syst. Daniele Jahier Pagliari, Mario R. Casu, Luca P. Carloni
2017	—	`conf`	Broadening the exploration of the accelerator design space in embedded scalable platforms. HPEC Luca Piccolboni, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni
2017	J	`jnl`	COSMOS: Coordination of High-Level Synthesis and Memory Optimization for Hardware Accelerators. ACM Trans. Embed. Comput. Syst. Luca Piccolboni, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni
2017	A	`conf`	Cross-ISA machine emulation for multicores. CGO Emilio G. Cota, Paolo Bonzini, Alex Bennée, Luca P. Carloni
2017	—	`conf`	System-Level Design of Networks-on-Chip for Heterogeneous Systems-on-Chip. NOCS Young-Jin Yoon, Paolo Mantovani, Luca P. Carloni
2017	J	`jnl`	System-Level Optimization of Accelerator Local Memory for Heterogeneous Systems-on-Chip. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Christian Pilato, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni
2016	—	`conf`	A Probabilistic Ranking Model for Audio Stream Retrieval. MARMI@ICMR YoungHoon Jung, Jaehwan Koo, Karl Stratos, Luca P. Carloni
2016	—	`conf`	A Scalable Black-Box Optimization System for Auto-Tuning VLSI Synthesis Programs. RES4ANT@DATE Matthew M. Ziegler, Hung-Yi Liu, George Gristede, Bruce Owens, Ricardo Nigaglioni, Luca P. Carloni
2016	A	`conf`	A synthesis-parameter tuning system for autonomous design-space exploration. DATE Matthew M. Ziegler, Hung-Yi Liu, George Gristede, Bruce Owens, Ricardo Nigaglioni, Luca P. Carloni
2016	A*	`conf`	An FPGA-based infrastructure for fine-grained DVFS analysis in high-performance embedded systems. DAC Paolo Mantovani, Emilio G. Cota, Kevin Tien, Christian Pilato, Giuseppe Di Guglielmo, Kenneth L. Shepard, Luca P. Carloni
2016	A	`conf`	Exploiting Private Local Memories to Reduce the Opportunity Cost of Accelerator Integration. ICS Emilio G. Cota, Paolo Mantovani, Luca P. Carloni
2016	Misc	`conf`	Handling large data sets for high-performance embedded applications in heterogeneous systems-on-chip. CASES Paolo Mantovani, Emilio G. Cota, Christian Pilato, Giuseppe Di Guglielmo, Luca P. Carloni
2016	—	`conf`	High-level synthesis of accelerators in embedded scalable platforms. ASP-DAC Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni
2016	A*	`conf`	Invited - The case for embedded scalable platforms. DAC Luca P. Carloni
2016	—	`conf`	On the design of scalable and reusable accelerators for big data applications. Conf. Computing Frontiers Christian Pilato, Qirui Xu, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni
2016	A	`conf`	Scalable Auto-Tuning of Synthesis Parameters for Optimizing High-Performance Processors. ISLPED Matthew M. Ziegler, Hung-Yi Liu, Luca P. Carloni
2015	—	`conf`	A low-cost, fast, and accurate microwave imaging system for breast cancer detection. BioCAS Daniele Jahier Pagliari, Azzurra Pulimeno, Marco Vacca, Jorge A. Tobon, Francesca Vipiana, Mario R. Casu, Raffaele Solimene, Luca P. Carloni
2015	C	`conf`	Acceleration of microwave imaging algorithms for breast cancer detection via High-Level Synthesis. ICCD Daniele Jahier Pagliari, Mario R. Casu, Luca P. Carloni
2015	—	`conf`	An 82%-efficient multiphase voltage-regulator 3D interposer with on-chip magnetic inductors. VLSIC Kevin Tien, Noah Sturcken, Naigang Wang, Jae-Woong Nah, Bing Dang, Eugene J. O'Sullivan, Paul S. Andry, Michele Petracca, Luca P. Carloni, William J. Gallagher, Kenneth L. Shepard
2015	A*	`conf`	An Analysis of Accelerator Coupling in Heterogeneous Architectures. DAC Emilio G. Cota, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni
2015	J	`jnl`	Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead [Scanning the Issue]. Proc. IEEE Robert K. Brayton, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli, Tiziano Villa
2015	J	`jnl`	Energy-Harvesting Active Networked Tags (EnHANTs): Prototyping and Experimentation. ACM Trans. Sens. Networks Robert Margolies, Maria Gorlatova, John Sarik, Gerald Stanje, Jianxun Zhu, Paul Miller, Marcin Szczodrak, Baradwaj Vigraham, Luca P. Carloni, Peter R. Kinget, Ioannis Kymissis, Gil Zussman
2015	J	`jnl`	From Latency-Insensitive Design to Communication-Based System-Level Design. Proc. IEEE Luca P. Carloni
2015	A*	`conf`	LN-Annote: An Alternative Approach to Information Extraction from Emails using Locally-Customized Named-Entity Recognition. WWW YoungHoon Jung, Karl Stratos, Luca P. Carloni
2015	—	`conf`	Microwave Imaging for Breast Cancer Detection: A COTS-Based Prototype. ApplePies Azzurra Pulimeno, Marco Vacca, Mario R. Casu, Jorge A. Tobon, Francesca Vipiana, Daniele Jahier Pagliari, Raffaele Solimene, Luca P. Carloni
2015	A*	`conf`	ΣVP: host-GPU multiplexing for efficient simulation of multiple embedded GPUs on virtual platforms. DAC YoungHoon Jung, Luca P. Carloni
2014	A*	`conf`	A Design Methodology for Compositional High-Level Synthesis of Communication-Centric SoCs. DAC Giuseppe Di Guglielmo, Christian Pilato, Luca P. Carloni
2014	J	`jnl`	Accelerator Memory Reuse in the Dark Silicon Era. IEEE Comput. Archit. Lett. Emilio G. Cota, Paolo Mantovani, Michele Petracca, Mario R. Casu, Luca P. Carloni
2014	—	`conf`	An experimental investigation of occupancy-based energy-efficient control of commercial building indoor climate. CDC Jonathan Brooks, Siddharth Goyal, Rahul Subramany, Yashen Lin, Timothy Middelkoop, Laura Arpan, Luca P. Carloni, Prabir Barooah
2014	J	`jnl`	Cloud-Aided Design for Distributed Embedded Systems. IEEE Des. Test YoungHoon Jung, Michele Petracca, Luca P. Carloni
2014	—	`book`	Photonic Network-on-Chip Design. Keren Bergman, Luca P. Carloni, Aleksandr Biberman, Johnnie Chan, Gilbert Hendry
2014	Misc	`conf`	System-level memory optimization for high-level synthesis of component-based SoCs. CODES+ISSS Christian Pilato, Paolo Mantovani, Giuseppe Di Guglielmo, Luca P. Carloni
2013	J	`jnl`	A 2.5D Integrated Voltage Regulator Using Coupled-Magnetic-Core Inductors on Silicon Interposer. IEEE J. Solid State Circuits Noah Sturcken, Eugene J. O'Sullivan, Naigang Wang, Philipp Herget, Bucknell C. Webb, Lubomyr T. Romankiw, Michele Petracca, Ryan Davies, Robert E. Fontana Jr., Gary M. Decad, Ioannis Kymissis, Angel V. Peterchev, Luca P. Carloni, William J. Gallagher, Kenneth L. Shepard
2013	A*	`conf`	A method to abstract RTL IP blocks into C++ code and enable high-level synthesis. DAC Nicola Bombieri, Hung-Yi Liu, Franco Fummi, Luca P. Carloni
2013	—	`conf`	An open framework to deploy heterogeneous wireless testbeds for Cyber-Physical Systems. SIES Marcin Szczodrak, Yong Yang, Dave Cavalcanti, Luca P. Carloni
2013	B	`conf`	Dynamic Reconfiguration of Wireless Sensor Networks to Support Heterogeneous Applications. DCOSS Marcin Szczodrak, Omprakash Gnawali, Luca P. Carloni
2013	J	`jnl`	Flexible filters in stream programs. ACM Trans. Embed. Comput. Syst. Rebecca L. Collins, Luca P. Carloni
2013	—	`conf`	Modeling and implementation of energy neutral sensing systems. ENSSys@SenSys Marcin K. Szczodrak, Omprakash Gnawali, Luca P. Carloni
2013	A*	`conf`	On learning-based methods for design-space exploration with high-level synthesis. DAC Hung-Yi Liu, Luca P. Carloni
2013	A	`conf`	P-sync: A Photonically Enabled Architecture for Efficient Non-local Data Access. IPDPS David Whelihan, Jeffrey J. Hughes, Scott M. Sawyer, Eric Robinson, Michael M. Wolf, Sanjeev Mohindra, Julie Mullen, Anna Klein, Michelle S. Beard, Nadya T. Bliss, Johnnie Chan, Robert Hendry, Keren Bergman, Luca P. Carloni
2013	A	`conf`	Panel: the heritage of Mead & Conway: what has remained the same, what was missed, what has changed, what lies ahead. DATE Marco Casale-Rossi, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Bernard Courtois, Hugo De Man, Antun Domic, Jan M. Rabaey
2013	A*	`conf`	Prototyping energy harvesting active networked tags (EnHANTs). INFOCOM Maria Gorlatova, Robert Margolies, John Sarik, Gerald Stanje, Jianxun Zhu, Baradwaj Vigraham, Marcin Szczodrak, Luca P. Carloni, Peter R. Kinget, Ioannis Kymissis, Gil Zussman
2013	J	`jnl`	Virtual Channels and Multiple Physical Networks: Two Alternatives to Improve NoC Performance. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Young-Jin Yoon, Nicola Concer, Michele Petracca, Luca P. Carloni
2013	A*	`conf`	netShip: a networked virtual platform for large-scale heterogeneous distributed embedded systems. DAC YoungHoon Jung, Jinhyung Park, Michele Petracca, Luca P. Carloni
2012	—	`conf`	A 2.5D integrated voltage regulator using coupled-magnetic-core inductors on silicon interposer delivering 10.8A/mm ISSCC Noah Sturcken, Eugene J. O'Sullivan, Naigang Wang, Philipp Herget, Bucknell C. Webb, Lubomyr T. Romankiw, Michele Petracca, Ryan Davies, Robert E. Fontana Jr., Gary M. Decad, Ioannis Kymissis, Angel V. Peterchev, Luca P. Carloni, William J. Gallagher, Kenneth L. Shepard
2012	J	`jnl`	A Switched-Inductor Integrated Voltage Regulator With Nonlinear Feedback and Network-on-Chip Load in 45 nm SOI. IEEE J. Solid State Circuits Noah Sturcken, Michele Petracca, Steve B. Warren, Paolo Mantovani, Luca P. Carloni, Angel V. Peterchev, Kenneth L. Shepard
2012	C	`conf`	A broadband embedded computing system for MapReduce utilizing Hadoop. CloudCom YoungHoon Jung, Richard W. Neill, Luca P. Carloni
2012	A	`conf`	Compositional system-level design exploration with planning of high-level synthesis. DATE Hung-Yi Liu, Michele Petracca, Luca P. Carloni
2012	—	`conf`	Engineering a Bandwidth-Scalable Optical Layer for a 3D Multi-core Processor with Awareness of Layout Constraints. NOCS Luca Ramini, Davide Bertozzi, Luca P. Carloni
2012	Misc	`ed.`	Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2012, part of ESWeek '12 Eighth Embedded Systems Week, Tampere, Finland, October 7-12, 2012 Ahmed Jerraya, Luca P. Carloni, Naehyuck Chang, Franco Fummi
2012	Misc	`ed.`	Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012 EMSOFT Ahmed Jerraya, Luca P. Carloni, Florence Maraninchi, John Regehr
2012	Misc	`ed.`	Proceedings of the 15th International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012 CASES Ahmed Jerraya, Luca P. Carloni, Vincent John Mooney III, Rodric M. Rabbah
2012	—	`conf`	Ventti: A vertically integrated framework for simulation and optimization of networks-on-Chip. SoCC Young-Jin Yoon, Nicola Concer, Luca P. Carloni
2011	Misc	`conf`	A complete framework for programming event-driven, self-reconfigurable low power wireless networks. SenSys Marcin Szczodrak, Luca P. Carloni
2011	C	`conf`	A dynamic and distributed TDM slot-scheduling protocol for QoS-oriented Networks-on-Chip. ICCD Nicola Concer, Andrea Vesco, Riccardo Scopigno, Luca P. Carloni
2011	—	`conf`	An integrated four-phase buck converter delivering 1A/mm CICC Noah Sturcken, Michele Petracca, Steve B. Warren, Luca P. Carloni, Angel V. Peterchev, Kenneth L. Shepard
2011	A	`conf`	Demo: prototyping UWB-enabled enhants. MobiSys Jianxun Zhu, Gerald Stanje, Robert Margolies, Maria Gorlatova, John Sarik, Zainab Noorbhaiwala, Paul Miller, Marcin Szczodrak, Baradwaj Vigraham, Luca P. Carloni, Peter R. Kinget, Ioannis Kymissis, Gil Zussman
2011	—	`conf`	Embedded Processor Virtualization for Broadband Grid Computing. GRID Richard W. Neill, Luca P. Carloni, Alexander Shabarshin, Valeriy Sigaev, Serguei Tcherepanov
2011	—	`conf`	Emerging silicon photonics technologies for multi-core platform architectures. INA-OCMC@HiPEAC Luca P. Carloni
2011	J	`jnl`	Guest Editorial: Special Section on the ACM/IEEE Symposium on Networks-on-Chip 2010. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Luca Benini, Luca P. Carloni
2011	Misc	`conf`	Organic solar cell-equipped energy harvesting active networked tag (EnHANT) prototypes. SenSys Gerald Stanje, Paul Miller, Jianxun Zhu, Alexander Smith, Olivia Winn, Robert Margolies, Maria Gorlatova, John Sarik, Marcin Szczodrak, Baradwaj Vigraham, Luca P. Carloni, Peter R. Kinget, Ioannis Kymissis, Gil Zussman
2011	J	`jnl`	Physical-Layer Modeling and System-Level Design of Chip-Scale Photonic Interconnection Networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Johnnie Chan, Gilbert Hendry, Keren Bergman, Luca P. Carloni
2011	A*	`conf`	Supervised design space exploration by compositional approximation of Pareto sets. DAC Hung-Yi Liu, Ilias Diakonikolas, Michele Petracca, Luca P. Carloni
2011	—	`conf`	Synthesis of Distributed Execution Platforms for Cyber-Physical Systems with Applications to High-Performance Buildings. ICCPS Francesco Leonardi, Alessandro Pinto, Luca P. Carloni
2011	J	`jnl`	Time-division-multiplexed arbitration in silicon nanophotonic networks-on-chip for high-performance chip multiprocessors. J. Parallel Distributed Comput. Gilbert Hendry, Eric Robinson, Vitaliy Gleyzer, Johnnie Chan, Luca P. Carloni, Nadya Travinin Bliss, Keren Bergman
2011	A	`conf`	VANDAL: A tool for the design specification of nanophotonic networks. DATE Gilbert Hendry, Johnnie Chan, Luca P. Carloni, Keren Bergman
2010	—	`conf`	A heterogeneous parallel system running open mpi on a broadband network of embedded set-top devices. Conf. Computing Frontiers Richard W. Neill, Alexander Shabarshin, Luca P. Carloni
2010	J	`jnl`	Accurate Predictive Interconnect Modeling for System-Level Design. IEEE Trans. Very Large Scale Integr. Syst. Luca P. Carloni, Andrew B. Kahng, Sudhakar Muddu, Alessandro Pinto, Kambiz Samadi, Puneet Sharma
2010	A	`conf`	Circuit-Switched Memory Access in Photonic Interconnection Networks for High-Performance Embedded Computing. SC Gilbert Hendry, Eric Robinson, Vitaliy Gleyzer, Johnnie Chan, Luca P. Carloni, Nadya Travinin Bliss, Keren Bergman
2010	A	`conf`	Exploiting local logic structures to optimize multi-core SoC floorplanning. DATE Cheng-Hong Li, Sampada Sonalkar, Luca P. Carloni
2010	C	`conf`	Message from the chairs. MEMOCODE Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt
2010	A	`conf`	PhoenixSim: A simulator for physical-layer analysis of chip-scale photonic interconnection networks. DATE Johnnie Chan, Gilbert Hendry, Aleksandr Biberman, Keren Bergman, Luca P. Carloni
2010	Misc	`ed.`	Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010 EMSOFT Luca P. Carloni, Stavros Tripakis
2010	A	`conf`	Recursion-driven parallel code generation for multi-core platforms. DATE Rebecca L. Collins, Bharadwaj Vellore, Luca P. Carloni
2010	—	`conf`	Silicon Nanophotonic Network-on-Chip Using TDM Arbitration. Hot Interconnects Gilbert Hendry, Johnnie Chan, Shoaib Kamil, Leonid Oliker, John Shalf, Luca P. Carloni, Keren Bergman
2010	J	`jnl`	The Connection-Then-Credit Flow Control Protocol for Heterogeneous Multicore Systems-on-Chip. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Nicola Concer, Luciano Bononi, Michael Soulie, Riccardo Locatelli, Luca P. Carloni
2010	A*	`conf`	Virtual channels vs. multiple physical networks: a comparative analysis. DAC Young-Jin Yoon, Nicola Concer, Michele Petracca, Luca P. Carloni
2009	J	`jnl`	A Methodology for Constraint-Driven Synthesis of On-Chip Communications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2009	A	`conf`	A case study in distributed deployment of embedded software for camera networks. DATE Francesco Leonardi, Alessandro Pinto, Luca P. Carloni
2009	—	`conf`	Analysis of photonic networks for a chip multiprocessor using scientific applications. NOCS Gilbert Hendry, Shoaib Kamil, Aleksandr Biberman, Johnnie Chan, Benjamin G. Lee, Marghoob Mohiyuddin, Ankit Jain, Keren Bergman, Luca P. Carloni, John Kubiatowicz, Leonid Oliker, John Shalf
2009	—	`conf`	CTC: An end-to-end flow control protocol for multi-core systems-on-chip. NOCS Nicola Concer, Luciano Bononi, Michael Soulie, Riccardo Locatelli, Luca P. Carloni
2009	Misc	`conf`	Flexible filters: load balancing through backpressure for stream programs. EMSOFT Rebecca L. Collins, Luca P. Carloni
2009	J	`jnl`	Leveraging Local Intracore Information to Increase Global Performance in Block-Based Design of Systems-on-Chip. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Cheng-Hong Li, Luca P. Carloni
2009	—	`conf`	Networks-on-chip in emerging interconnect paradigms: Advantages and challenges. NOCS Luca P. Carloni, Partha Pande, Yuan Xie
2009	J	`jnl`	Photonic NoCs: System-Level Design Exploration. IEEE Micro Michele Petracca, Benjamin G. Lee, Keren Bergman, Luca P. Carloni
2008	J	`jnl`	COSI: A Framework for the Design of Interconnection Networks. IEEE Des. Test Comput. Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2008	J	`jnl`	Composing heterogeneous reactive systems. ACM Trans. Embed. Comput. Syst. Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
2008	—	`conf`	Design Exploration of Optical Interconnection Networks for Chip Multiprocessors. Hot Interconnects Michele Petracca, Benjamin G. Lee, Keren Bergman, Luca P. Carloni
2008	Misc	`conf`	Distributed flit-buffer flow control for networks-on-chip. CODES+ISSS Nicola Concer, Michele Petracca, Luca P. Carloni
2008	J	`jnl`	Fault-Tolerant Distributed Deployment of Embedded Control Software. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2008	—	`conf`	Interconnect modeling for improved system-level design optimization. ASP-DAC Luca P. Carloni, Andrew B. Kahng, Swamy Muddu, Alessandro Pinto, Kambiz Samadi, Puneet Sharma
2008	J	`jnl`	Photonic Networks-on-Chip for Future Generations of Chip Multiprocessors. IEEE Trans. Computers Assaf Shacham, Keren Bergman, Luca P. Carloni
2008	C	`conf`	Photonic networks-on-chip: Opportunities and challenges. ISCAS Michele Petracca, Keren Bergman, Luca P. Carloni
2008	J	`jnl`	Topology-Based Performance Analysis and Optimization of Latency-Insensitive Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Rebecca L. Collins, Luca P. Carloni
2007	Misc	`conf`	A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control. EMSOFT Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2007	C	`conf`	Design, Implementation, and Validation of a New Class of Interface Circuits for Latency-Insensitive Design. MEMOCODE Cheng-Hong Li, Rebecca L. Collins, Sampada Sonalkar, Luca P. Carloni
2007	—	`conf`	On the Design of a Photonic Network-on-Chip. NOCS Assaf Shacham, Keren Bergman, Luca P. Carloni
2007	—	`conf`	Photonic NoC for DMA Communications in Chip Multiprocessors. Hot Interconnects Assaf Shacham, Benjamin G. Lee, Aleksandr Biberman, Keren Bergman, Luca P. Carloni
2007	A*	`conf`	The Case for Low-Power Photonic Networks on Chip. DAC Assaf Shacham, Keren Bergman, Luca P. Carloni
2007	A*	`conf`	Topology-Based Optimization of Maximal Sustainable Throughput in a Latency-Insensitive System. DAC Rebecca L. Collins, Luca P. Carloni
2007	A	`conf`	Using functional independence conditions to optimize the performance of latency-insensitive systems. ICCAD Cheng-Hong Li, Luca P. Carloni
2006	J	`jnl`	A Framework for Modeling the Distributed Deployment of Synchronous Designs. Formal Methods Syst. Des. Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2006	Misc	`conf`	Communication by sampling in time-sensitive distributed systems. EMSOFT Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
2006	—	`conf`	Interchange Format for Hybrid Systems: Abstract Semantics. HSCC Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli
2006	J	`jnl`	Languages and Tools for Hybrid Systems Design. Found. Trends Electron. Des. Autom. Luca P. Carloni, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli
2006	J	`jnl`	Platform based design for wireless sensor networks. Mob. Networks Appl. Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2006	A	`conf`	Platform-based design of wireless sensor networks for industrial applications. DATE Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2005	—	`conf`	Interchange Formats for Hybrid Systems: Review and Proposal. HSCC Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone
2005	—	`ch.`	Platform-Based Design for Embedded Systems. Embedded Systems Handbook Marco Sgroi, Alberto L. Sangiovanni-Vincentelli, Fernando De Bernardinis, Claudio Pinello, Luca P. Carloni
2005	—	`ch.`	Platform-Based and Derivative Design. The Industrial Information Technology Handbook Luca P. Carloni, Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi
2005	Misc	`conf`	Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks. EMSOFT Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2005	Misc	`conf`	Tag machines. EMSOFT Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2005	—	`conf`	The Role of Back-Pressure in Implementing Latency-Insensitive Systems. FMGALS@MEMOCODE Luca P. Carloni
2004	A*	`conf`	Benefits and challenges for platform-based design. DAC Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Fernando De Bernardinis, Marco Sgroi
2004	A	`conf`	Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications. DATE Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2004	Misc	`conf`	Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). EMSOFT Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
2003	—	`conf`	Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. FMCO Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
2003	—	`conf`	Combining Retiming and Recycling to Optimize the Performance of Synchronous Circuits. SBCCI Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2003	C	`conf`	Efficient Synthesis of Networks On Chip. ICCD Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2003	Misc	`conf`	Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. EMSOFT Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
2003	Misc	`conf`	On-chip communication design: roadblocks and avenues. CODES+ISSS Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2002	A*	`conf`	Constraint-driven communication synthesis. DAC Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2002	J	`jnl`	Coping with Latency in SOC Design. IEEE Micro Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2001	—	`conf`	Modeling of Substrate Noise Injected by Digital Libraries. ISQED Stefano Zanella, Andrea Neviani, Enrico Zanoni, Paolo Miliozzi, Edoardo Charbon, Carlo Guardiani, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
2001	J	`jnl`	Theory of latency-insensitive design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli
2000	J	`jnl`	Negative thinking in branch-and-bound: the case of unate covering. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
2000	A*	`conf`	Performance analysis and optimization of latency insensitive systems. DAC Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli
1999	A	`conf`	A methodology for correct-by-construction latency insensitive design. ICCAD Luca P. Carloni, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli
1999	—	`conf`	Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems. VLSI Luca P. Carloni, Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1999	A*	`conf`	Latency Insensitive Protocols. CAV Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli
1999	J	`jnl`	Modeling digital substrate noise injection in mixed-signal IC's. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Edoardo Charbon, Paolo Miliozzi, Luca P. Carloni, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli
1998	J	`jnl`	Exact Minimization of Binary Decision Diagrams Using Implicit Techniques. IEEE Trans. Computers Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli
1997	A	`conf`	Negative thinking by incremental problem solving: application to unate covering. ICCAD Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
1997	A	`conf`	Trace driven logic synthesis - application to power minimization. ICCAD Luca P. Carloni, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli