Publications

@article{dossantos_isscc24,
  author = {Cassel Dos Santos, Maico and Jia, Tianyu and Zuckerman, Joseph and Cochet, Martin and Giri, Davide and Jens Loscalzo, Erik and Swaminathan, Karthik and Tambe, Thierry and Jun Zhang, Jeff and Buyuktosunoglu, Alper and Chiu, Kuan Lin and Di Guglielmo, Giuseppe and Mantovani, Paolo and Piccolboni, Luca and Tombesi, Gabriele and Rodriguez, David Trilla and Wellman, John-David and Yang, En-yu and Amarnath, Aporva and Jing, Ying and Mishra, Bakshree and Park, Joshua and Suresh, Vignesh and Adve, Sarita and Bose, Pradip and Brooks, David and Carloni, Luca and Shepard, Kenneth and Wei, Gu-Yeon},
  title = {{A 12nm Linux-SMP-Capable RISC-V SoC with 14 Accelerator Types, Distributed Hardware Power Management, and Flexible NoC-Based Data Orchestration}},
  booktitle = {{Proceedings of the IEEE International Conference on Solid-State Circuits (ISSCC)}},
  year = {2024}
}

@article{tombesi_ieeedt23,
  author = {Tombesi, Gabriele and Zuckerman, Joseph and Mantovani, Paolo and Giri, Davide and Cassel Dos Santos, Maico and Jia, Tianyu and Brooks, David and Wei, Gu-Yeon and Carloni, Luca P.},
  journal = {IEEE Design & Test (Special Issue: NOCS'23)},
  title = {SoCProbe: Compositional Post-Silicon Validation of Heterogeneous NoC-Based SoCs},
  year = {2023},
  doi = {10.1109/MDAT.2023.3310355}
}

@article{clair_cases23,
  author = {Clair, Judicael and Eichler, Guy and Carloni, Luca P.},
  journal = {Proceedings of the International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES)},
  title = {SpikeHard: Efficiency-Driven Neuromorphic Hardware for Heterogeneous Systems-on-Chip},
  year = {2023}
}

@article{chiu_hpec23,
  author = {Chiu, Kuan-Lin and Giri, Davide and Piccolboni, Luca and Carloni, Luca},
  title = {{An Analysis of Accelerator Data-Transfer Modes in NoC-Based SoC Architectures}},
  booktitle = {Proceedings of the IEEE Conference on High Performance Extreme Computing (HPEC)},
  year = {2023}
}

@inproceedings{eichler_iccd23,
  author = {Eichler, Guy and Seyoum, Biruk and Chiu, Kuan Lin and Carloni, Luca P.},
  title = {{MindCrypt: The Brain as a Random Number Generator for SoC-Based Brain-Computer Interfaces}},
  booktitle = {Proceedings of the IEEE International Conference on Computer Design (ICCD)},
  year = {2023}
}

@article{zeng_vlsi23,
  author = {Zeng, N. and Jung, T. and Sharma, M. and Eichler, Guy and Fabbri, J and Cotton, R. J. and Spinazzi, E. and Youngerman, B and Carloni, L. and Shepard, K. L.},
  title = {{A Wireless, Mechanically Flexible, 25um-Thick, 65,536-Channel Subdural Surface Recording and Stimulating Microelectrode Array with Integrated Antennas}},
  booktitle = {{Proceedings of the IEEE Symposium on VLSI Technology (VLSI)}},
  year = {2023}
}

@article{gao_cicc23,
  author = {Gao, F. and Chand, T.-J. and Li, A. and Orenes-Vera, M. and Giri, D. and Jackson, P. and Ning, A. and Tziantzioulis, G. and Zuckerman, Joseph and Tu, J. and Xu, K. and Chirkov, G. and Tombesi, Gabriele and Balkind, J. and Martonosi, M. and Carloni, L. and Wentzlaff, D.},
  title = {{DECADES: A 67mm2, 1.46TOPS, 55 Giga Cache-Coherent 64-bit RISC-V Instructions per second, Heterogeneous Manycore SoC with 109 Tiles including Accelerators, Intelligent Storage, and eFPGA in 12nm FinFET}},
  booktitle = {{Proceedings of the Custom Integrated Circuits Conference (CICC)}},
  year = {2023}
}

@article{chiu_rage23,
  author = {Chiu, Kuan-Lin and Eichler, Guy and Seyoum, Brook and Carloni, Luca},
  title = {{EigenEdge: Real-Time Software Execution at the Edge with RISC-V and Hardware Accelerators}},
  booktitle = {{Real-time And intelliGent Edge computing workshop}},
  year = {2023}
}

@article{seyoum_date23,
  author = {Seyoum, Brook and Giri, Davide and Chiu, Kuan-Lin and Natter, B. and Carloni, Luca},
  title = {{PR-ESP: An Open-Source Platform for Design and Programming of Partially Reconfigurable SoCs}},
  booktitle = {{Proceedings of the IEEE Design, Automation and Test in Europe Conference and Exhibition (DATE)}},
  year = {2023}
}

@article{tambe_isscc23,
  author = {Tambe, Thierry and Zhang, Jeff and Hooper, Coleman and Jia, Tianyu and Whatmough, Paul N. and Zuckerman, Joseph and Cassel Dos Santos, Maico and Loscalzo, Erik Jens and Giri, Davide and Shepard, Kenneth and Carloni, Luca and Rush, Alexander and Brooks, David and Wei, Gu-Yeon},
  title = {{A 12nm 18.1TFLOPs/W Sparse Transformer Processor with Entropy-Based Early Exit, Mixed-Precision Predication and Fine-Grained Power Management.}},
  booktitle = {{Proceedings of the IEEE International Conference on Solid-State Circuits (ISSCC)}},
  year = {2023}
}

@article{piccolboni_cal22,
  author = {Piccolboni, Luca and Giri, Davide and Carloni, Luca P.},
  journal = {Computer Architecture Letters},
  title = {Accelerators & Security: The Socket Approach},
  year = {2022},
  month = jul,
  volume = {21},
  number = {2},
  pages = {65-68}
}

@inproceedings{seyoum_cases22,
  author = {Seyoum, Brook and Giri, Davide and Chiu, Kuan-Lin and Carloni, Luca P.},
  title = {An Open-source Platform for Design and Programming of Partially Reconfigurable Heterogeneous SoCs},
  journal = {Proceedings of the International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES)},
  year = {2022}
}

@inproceedings{zuckerman_carrv22,
  author = {Zuckerman, Joseph and Mantovani, Paolo and Giri, Davide and Carloni, Luca P.},
  title = {{Enabling Heterogeneous, Multicore SoC Research with RISC-V and ESP}},
  journal = {Proceedings of the Workshop on Computer Architecture Research with RISC-V (CARRV)},
  year = {2022}
}

@inproceedings{jia_mantovani_casseldossantos_esscirc22,
  author = {Jia, Tianyu and Mantovani, Paolo and Cassel Dos Santos, Maico and Giri, Davide and Zuckerman, Joseph and Jens Loscalzo, Erik and Cochet, Martin and Swaminathan, Karthik and Tombesi, Gabriele and Jun Zhang, Jeff and Chandramoorthy, Nandhini and Wellman, John-David and Tien, Kevin and Carloni, Luca and Shepard, Kenneth and Brooks, David and Wei, Gu-Yeon and Bose, Pradip},
  title = {{A 12nm Agile-Designed SoC for Swarm-Based Perception with Heterogeneous IP Blocks, a Reconfigurable Memory Hierarchy, and an 800MHz Multi-Plane NoC}},
  booktitle = {{Proceedings of the European Conference on Solid-State Circuits (ESSCIRC)}},
  year = {2022}
}

@inproceedings{dossantos_iccad22,
  author = {Cassel Dos Santos, Maico and Jia, Tianyu and Cochet, Martin and Swaminathan, Karthik and Zuckerman, Joseph and Mantovani, Paolo and Giri, Davide and Jun Zhang, Jeff and Jens Loscalzo, Erik and Tombesi, Gabriele and Tien, Kevin and Chandramoorthy, Nandhini and Wellman, John-David and Brooks, David and Wei, Gu-Yeon and Shepard, Kenneth and Carloni, Luca and Bose, Pradip},
  title = {{A Scalable Methodology for Agile Chip Development with Open-Source Hardware Components}},
  booktitle = {{Proceedings of the IEEE International Conference on Computer-Aided Design (ICCAD)}},
  year = {2022}
}

@article{giri_ieeemicro21,
  author = {Giri, Davide and Chiu, Kuan-Lin and Eichler, Guy and Mantovani, Paolo and Carloni, Luca P.},
  journal = {IEEE Micro (Special Issue: FPGAs in Computing)},
  title = {Accelerator Integration for Open-Source SoC Design},
  year = {2021},
  volume = {41},
  number = {4},
  pages = {8-14},
  doi = {10.1109/MM.2021.3073893}
}

@inproceedings{piccolboni_hpec21,
  author = {Piccolboni, Luca and Di Guglielmo, Giuseppe and Sethumadhavan, Simha and Carloni, Luca P.},
  title = {{HARDROID: Transparent Integration of Crypto Accelerators in Android}},
  booktitle = {{Proceedings of the IEEE High Performance Extreme Computing Conference (HPEC)}},
  year = {2021}
}

@inproceedings{eichler_iccd21,
  author = {Eichler, Guy and Piccolboni, Luca and Giri, Davide and Carloni, Luca P.},
  title = {{MasterMind : Many-Accelerator SoC Architecture for Real-Time Brain-Computer Interfaces}},
  booktitle = {Proceedings of the IEEE International Conference on Computer Design (ICCD)},
  year = {2021},
  url = {https://www.youtube.com/watch?v=9a5gRrlgHRc}
}

@inproceedings{zuckerman_micro21,
  author = {Zuckerman, Joseph and Giri, Davide and Kwon, Jihye and Mantovani, Paolo and Carloni, Luca P.},
  title = {{Cohmeleon: Learning-Based Orchestration of Accelerator Coherence in Heterogeneous SoCs}},
  booktitle = {Proceedings of the IEEE/ACM Symposium on Microarchitecture (MICRO)},
  year = {2021}
}

@inproceedings{piccolboni_sp21,
  author = {Piccolboni, Luca and Di Guglielmo, Giuseppe and Carloni, Luca P. and Sethumadhavan, Simha},
  title = {{CRYLOGGER: Detecting Crypto Misuses Dynamically}},
  booktitle = {Proceedings of the IEEE Symposium on Security and Privacy (S\&P)},
  year = {2021}
}

@inproceedings{kwon_mlcad20,
  author = {Kwon, Jihye and Carloni, Luca P.},
  title = {{Transfer-Learning for Design-Space Exploration with High-Level Synthesis}},
  booktitle = {{Proceedings of the ACM/IEEE Workshop on Machine Learning for CAD (MLCAD)}},
  year = {2020},
  pages = {163--168},
  month = nov
}

@article{zhu_jlt20,
  author = {Zhu, Ziyi and Di Guglielmo, Giuseppe and Cheng, Qixiang and Glick, Madeleine and Kwon, Jihye and Guan, Hang and Carloni, Luca P. and Bergman, Keren},
  title = {{Photonic Switched Optically Connected Memory: An Approach to Address Memory Challenges in Deep Learning}},
  journal = {Journal of Lightwave Technology},
  year = {2020},
  volume = {38},
  number = {10},
  pages = {2815-2825}
}

@article{cheng_pieee20,
  author = {Cheng, Qixiang and Kwon, Jihye and Glick, Madeleine and Bahadori, Meisam and Carloni, Luca P. and Bergman, Keren},
  title = {{Silicon Photonics Codesign for Deep Learning}},
  journal = {Proceedings of the IEEE},
  year = {2020},
  volume = {108},
  number = {8},
  pages = {1261-1282}
}

@article{ferretti_tcad20,
  author = {Ferretti, Lorenzo and Kwon, Jihye and Ansaloni, Giovanni and Di Guglielmo, Giuseppe and Carloni, Luca P. and Pozzi, Laura},
  title = {{Leveraging Prior Knowledge for Effective Design-Space Exploration in High-Level Synthesis}},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  year = {2020}
}

@inproceedings{hattink_hpec20,
  author = {Hattink, Maarten and Di Guglielmo, Giuseppe and Carloni, Luca P. and Bergman, Keren},
  booktitle = {{Proceedings of the IEEE High Performance Extreme Computing Conference (HPEC)}},
  title = {{A Scalable Architecture for CNN Accelerators Leveraging High-Performance Memories}},
  year = {2020}
}

@inproceedings{mantovani_iccad20,
  author = {Mantovani, Paolo and Giri, Davide and Di Guglielmo, Giuseppe and Piccolboni, Luca and Zuckerman, Joseph and Cota, Emilio G. and Petracca, Michele and Pilato, Christian and Carloni, Luca P.},
  title = {{Agile SoC Development with Open ESP}},
  journal = {Proceedings of the International Conference on Computer-Aided Design (ICCAD)},
  year = {2020}
}

@inproceedings{carloni_vlsisoc20,
  author = {Carloni, Luca P.},
  title = {{Scalable Open-Source System-on-Chip Design}},
  booktitle = {Proceedings of the IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC)},
  year = {2020}
}

@inproceedings{giri_carrv20,
  author = {Giri, Davide and Chiu, Kuan-Lin and Eichler, Guy and Mantovani, Paolo and Chandramoorthy, Nandhini and Carloni, Luca P.},
  title = {{Ariane + NVDLA: Seamless Third-Party IP Integration with ESP}},
  journal = {Proceedings of the Workshop on Computer Architecture Research with RISC-V (CARRV)},
  year = {2020}
}

@inproceedings{matthews_ispass20,
  author = {Matthews, Luwa and Manocha, Aninda and Giri, Davide and Orenes-Vera, Marcelo and Tureci, Esin and Sorensen, Tyler and Ham, Tae Jun and Aragon, Juan Luis and Carloni, Luca P. and Martonosi, Margaret},
  title = {{MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems}},
  journal = {Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software (ISPASS)},
  year = {2020}
}

@inproceedings{mantovani_cicc20,
  author = {Mantovani, Paolo and Margelli, Robert and Giri, Davide and Carloni, Luca P.},
  title = {{HL5: A 32-bit RISC-V Processor Designed with High-Level Synthesis}},
  journal = {Proceedings of the Custom Integrated Circuits Conference (CICC)},
  year = {2020}
}

@inproceedings{giri_date20,
  author = {Giri, Davide and Chiu, Kuan-Lin and Di Guglielmo, Giuseppe and Mantovani, Paolo and Carloni, Luca P.},
  title = {{ESP4ML: Platform-Based Design of Systems-on-Chip for Embedded Machine Learning}},
  journal = {Proceedings of the Design, Automation and Test in Europe Conference (DATE)},
  year = {2020}
}

@inproceedings{kwon_dac19,
  author = {Kwon, Jihye and Ziegler, Matthew M. and Carloni, Luca P.},
  title = {A Learning-Based Recommender System for Autotuning Design Flows of Industrial High-Performance Processors},
  booktitle = {Proceedings of the Design Automation Conference (DAC)},
  year = {2019},
  pages = {218:1--218:6},
  articleno = {218},
  numpages = {6},
  month = jun
}

@inproceedings{cota_vee19,
  author = {Cota, Emilio G. and Carloni, Luca P.},
  title = {Cross-{ISA} Machine Instrumentation using Fast and Scalable Dynamic Binary Translation},
  booktitle = {Proceedings of the 15th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments},
  series = {VEE 2019},
  year = {2019},
  month = apr,
  isbn = {978-1-4503-6020-3},
  location = {Providence, RI, USA},
  pages = {74--87},
  numpages = {14},
  url = {http://doi.acm.org/10.1145/3313808.3313811},
  doi = {10.1145/3313808.3313811},
  acmid = {3313811},
  publisher = {ACM},
  address = {New York, NY, USA}
}

@inproceedings{bhardawaj_islped19,
  author = {Bhardwaj, Kshitij and Mantovani, Paolo and Carloni, Luca P. and Nowick, Steven M.},
  title = {{Towards a Complete Methodology for Synthesizing Bundled-Data Asynchronous Circuits on FPGAs}},
  booktitle = {Proceedings of the International Symposium on Low Power Electronics and Design (ISLPED)},
  year = {2019}
}

@inproceedings{piccolboni_fmcad19,
  author = {Piccolboni, Luca and Di Guglielmo, Giuseppe and Carloni, Luca P.},
  title = {{KAIROS: Incremental Verification in High-Level Synthesis through Latency-Insensitive Design}},
  booktitle = {Proceedings of ACM/IEEE Formal Methods in Computer-Aided Design (FMCAD)},
  year = {2019}
}

@inproceedings{carloni_wcae19,
  author = {Carloni, Luca P. and Cota, Emilio G. and Guglielmo, Giuseppe Di and Giri, Davide and Kwon, Jihye and Mantovani, Paolo and Piccolboni, Luca and Petracca, Michele},
  title = {Teaching Heterogeneous Computing with System-Level Design Methods},
  booktitle = {Proceedings of the Workshop on Computer Architecture Education},
  series = {WCAE'19},
  year = {2019},
  isbn = {978-1-4503-6842-1},
  location = {Phoenix, AZ, USA},
  pages = {4:1--4:8},
  articleno = {4},
  numpages = {8},
  url = {http://doi.acm.org/10.1145/3338698.3338893},
  doi = {10.1145/3338698.3338893},
  acmid = {3338893},
  publisher = {ACM},
  address = {New York, NY, USA}
}

@inproceedings{giri_aspdac19,
  author = {Giri, Davide and Mantovani, Paolo and Carloni, Luca P.},
  title = {{Runtime Reconfigurable Memory Hierarchy in Embedded Scalable Platforms}},
  journal = {Proceedings of the Asia and South Pacific Design Automation Conference (ASPDAC)},
  year = {2019}
}

@article{giri_ieeemicro18,
  author = {Giri, Davide and Mantovani, Paolo and Carloni, Luca P.},
  journal = {IEEE Micro (Special Issue: Hardware Acceleration)},
  title = {Accelerators and Coherence: An SoC Perspective},
  year = {2018},
  volume = {38},
  number = {6},
  pages = {36-45},
  month = nov
}

@article{piccolboni_tcad18,
  author = {Piccolboni, Luca and Di Guglielmo, Giuseppe and Carloni, Luca P.},
  title = {{PAGURUS: Low-Overhead Dynamic Information Flow Tracking on Loosely Coupled Accelerators}},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  year = {2018}
}

@inproceedings{giri_nocs18,
  author = {Giri, Davide and Mantovani, Paolo and Carloni, Luca P.},
  title = {{NoC-Based Support of Heterogeneous Cache-Coherence Models for Accelerators}},
  journal = {Proceedings of the Twelfth IEEE/ACM International Symposium on Networks-on-Chip (NOCS)},
  year = {2018}
}

@inproceedings{pilato_aspdac2018,
  author = {Pilato, Christian and Carloni, Luca P.},
  booktitle = {Proceedings of the Asia and South Pacific Design Automation Conference (ASPDAC)},
  title = {{DarkMem: Fine-grained Power Management of Local Memories for Accelerators in Embedded Systems}},
  year = {2018}
}

@inproceedings{palmiero_hpec18,
  author = {Palmiero, Christian and Di Guglielmo, Giuseppe and Lavagno, Luciano and Carloni, Luca P.},
  booktitle = {{Proceedings of the IEEE High Performance Extreme Computing Conference (HPEC)}},
  title = {{Design and Implementation of a Dynamic Information Flow Tracking 
       Architecture to Secure a RISC-V Core for IoT Applications}},
  year = {2018}
}

@article{piccolboni_tecs17,
  author = {Piccolboni, Luca and Mantovani, Paolo and Di Guglielmo, Giuseppe and Carloni, Luca P.},
  title = {{COSMOS: Coordination of High-Level Synthesis and Memory Optimization for Hardware Accelerators}},
  journal = {ACM Transactions on Embedded Computing Systems},
  volume = {16},
  number = {5s},
  month = sep,
  year = {2017}
}

@article{pagliari_tecs17,
  author = {Pagliari, Daniele Jahier and Casu, Mario R. and Carloni, Luca P.},
  title = {{Accelerators for Breast Cancer Detection}},
  journal = {ACM Transactions on Embedded Computing Systems},
  volume = {16},
  number = {3},
  month = mar,
  year = {2017}
}

@article{pilato_tcad17,
  author = {Pilato, Christian and Mantovani, Paolo and Di Guglielmo, Giuseppe and Carloni, Luca P.},
  title = {{System-Level Optimization of Accelerator Local Memory for Heterogeneous Systems-on-Chip}},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  year = {2017}
}

@inproceedings{piccolboni_hpec17,
  author = {Piccolboni, Luca and Mantovani, Paolo and Di Guglielmo, Giuseppe and Carloni, Luca P.},
  booktitle = {{Proceedings of the IEEE High Performance Extreme Computing Conference (HPEC)}},
  title = {{Broadening the Exploration of the Accelerator Design Space in Embedded Scalable Platforms}},
  year = {2017}
}

@inproceedings{yoon_nocs17,
  author = {Yoon, Young Jin and Mantovani, Paolo and Carloni, Luca P.},
  title = {System-Level Design of Networks-on-Chip for Heterogeneous Systems-on-Chip},
  booktitle = {Proceedings of the Eleventh IEEE/ACM International Symposium on Networks-on-Chip (NOCS)},
  year = {2017}
}

@inproceedings{cota_cgo17,
  author = {Cota, Emilio G. and Bonzini, Paolo and Benn{\'e}e, Alex and Carloni, Luca P.},
  title = {Cross-{ISA} Machine Emulation for Multicores},
  booktitle = {Proceedings of the 2017 International Symposium on Code Generation and Optimization},
  series = {CGO 2017},
  year = {2017},
  isbn = {978-1-5090-4931-8},
  location = {Austin, USA},
  pages = {210--220},
  numpages = {11},
  url = {http://dl.acm.org/citation.cfm?id=3049832.3049855},
  acmid = {3049855},
  publisher = {IEEE Press},
  address = {Piscataway, NJ, USA}
}

@inproceedings{mantovani_cases16,
  author = {Mantovani, Paolo and Cota, Emilio G. and Pilato, Christian and Di Guglielmo, Giuseppe and Carloni, Luca P.},
  title = {Handling Large Data Sets for High-Performance Embedded Applications in Heterogeneous Systems-on-Chip},
  booktitle = {Proceedings of the International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES)},
  year = {2016},
  month = oct,
  isbn = {978-1-4503-4482-1},
  location = {Pittsburgh, Pennsylvania},
  pages = {3:1--3:10},
  articleno = {3},
  numpages = {10},
  url = {http://doi.acm.org/10.1145/2968455.2968509},
  doi = {10.1145/2968455.2968509},
  acmid = {2968509},
  publisher = {ACM},
  address = {New York, NY, USA}
}

@inproceedings{carloni_dac16,
  author = {Carloni, Luca P.},
  title = {The Case for Embedded Scalable Platforms},
  booktitle = {Proceedings of the Design Automation Conference (DAC)},
  year = {2016},
  month = jun,
  pages = {17:1-17:6}
}

@inproceedings{mantovani_dac16,
  author = {Mantovani, Paolo and Cota, Emilio G. and Tien, Kevin and Pilato, Christian and Di Guglielmo, Giuseppe and Shepard, Ken and Carloni, Luca P.},
  title = {An FPGA-based Infrastructure for Fine-grained DVFS Analysis in High-performance Embedded Systems},
  booktitle = {Proceedings of the Design Automation Conference (DAC)},
  year = {2016},
  month = jun,
  pages = {157:1-157:6}
}

@inproceedings{cota_ics16,
  author = {Cota, Emilio G. and Mantovani, Paolo and Carloni, Luca P.},
  title = {Exploiting Private Local Memories to Reduce the Opportunity Cost of Accelerator Integration},
  booktitle = {Proceedings of the International Conference on Supercomputing (ICS)},
  year = {2016},
  month = jun,
  pages = {27:1-27:12}
}

@inproceedings{ziegler_date16,
  author = {Ziegler, Matthew M. and Liu, Hung-Yi and Gristede, George and Owens, Bruce and Nigaglioni, Ricardo and Carloni, Luca P.},
  title = {A synthesis-parameter tuning system for autonomous design-space exploration},
  booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe (DATE)},
  year = {2016},
  month = mar,
  pages = {1148-1151}
}

@inproceedings{mantovani_aspdac16,
  author = {Mantovani, Paolo and Di Guglielmo, Giuseppe and Carloni, Luca P.},
  title = {{High-Level Synthesis of Accelerators in Embedded Scalable Platforms}},
  booktitle = {Proceedings of the Asia and South Pacific Design Automation Conference (ASPDAC)},
  pages = {204-211},
  year = {2016},
  month = jan
}

@inproceedings{ziegler_islped16,
  author = {Ziegler, Matthew M. and Liu, Hung-Yi and Carloni, Luca P.},
  title = {Scalable Auto-Tuning of Synthesis Parameters for Optimizing High-Performance Processors},
  booktitle = {Proceedings of the International Symposium on Low Power Electronics and Design (ISLPED)},
  year = {2016},
  pages = {180-185}
}

@inproceedings{jung_marmi16,
  author = {Jung, YoungHoon and Koo, Jaehwan and Stratos, Karl and Carloni, Luca P.},
  title = {A Probabilistic Ranking Model for Audio Stream Retrieval},
  booktitle = {Proceedings of the International Workshop on Multimedia Analysis and Retrieval for Multimodal Interaction (MARMI)},
  year = {2016},
  pages = {33-38}
}

@inproceedings{pilato_cf16,
  author = {Pilato, Christian and Xu, Qirui and Mantovani, Paolo and Di Guglielmo, Giuseppe and Carloni, Luca P.},
  title = {On the Design of Scalable and Reusable Accelerators for Big Data Applications},
  booktitle = {Proceedings of the International Conference on Computing Frontiers (CF)},
  year = {2016},
  pages = {406-411}
}

@article{carloni_pieee15,
  author = {Carloni, Luca P.},
  title = {{From Latency-Insensitive Design to Communication-Based System-Level Design}},
  journal = {Proceedings of the IEEE},
  year = {2015},
  month = nov,
  volume = {103},
  number = {11},
  pages = {2133-2151}
}

@article{brayton_pieee15,
  author = {Brayton, R. and Carloni, Luca P. and Sangiovanni-Vincentelli, A.L. and Villa, T.},
  title = {Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead [Scanning the Issue]},
  journal = {Proceedings of the IEEE},
  year = {2015},
  month = nov,
  volume = {103},
  number = {11},
  pages = {1952-1957}
}

@article{margolies_tosn15,
  author = {Margolies, Robert and Gorlatova, Maria and Sarik, John and Stanje, Gerald and Zhu, Jianxun and Miller, Paul and Szczodrak, Marcin and Vigraham, Baradwaj and Carloni, Luca P. and Kinget, Peter and Kymissis, Ioannis and Zussman, Gil},
  title = {{Energy-Harvesting Active Networked Tags (EnHANTs): Prototyping and Experimentation}},
  journal = {ACM Trans. Sen. Netw.},
  volume = {11},
  number = {4},
  month = nov,
  year = {2015},
  pages = {1--27}
}

@inproceedings{pagliari_biocas15,
  author = {Pagliari, D.J. and Pulimeno, A. and Vacca, M. and Tobon, J.A. and Vipiana, F. and Casu, M.R. and Solimene, R. and Carloni, Luca P.},
  title = {{A low-cost, fast, and accurate microwave imaging system for breast cancer detection}},
  booktitle = {Biomedical Circuits and Systems Conference (BioCAS), 2015 IEEE},
  year = {2015},
  month = oct,
  pages = {1-4}
}

@inproceedings{pagliari_iccd15,
  author = {Pagliari, Daniele Jahier and Casu, Mario R. and Carloni, Luca P.},
  title = {{Acceleration of microwave imaging algorithms for breast cancer detection via High-Level Synthesis}},
  booktitle = {Computer Design (ICCD), 2015 33rd IEEE International Conference on},
  year = {2015},
  month = oct,
  pages = {475-478}
}

@inproceedings{tien_vlsi15,
  author = {Tien, K. and Sturcken, N. and Wang, Naigang and Nah, Jae-Woong and Dang, Bing and O'Sullivan, E. and Andry, P. and Petracca, M. and Carloni, Luca P. and Gallagher, W. and Shepard, K.},
  title = {{An 82%-efficient multiphase voltage-regulator 3D interposer with on-chip magnetic inductors}},
  booktitle = {2015 Symposium on VLSI Technology (VLSI Technology)},
  year = {2015},
  month = jun,
  pages = {C192-C193}
}

@inproceedings{cota_dac15,
  author = {Cota, Emilio G. and Mantovani, Paolo and Di Guglielmo, Giuseppe and Carloni, Luca P.},
  title = {An Analysis of Accelerator Coupling in Heterogeneous Architectures},
  booktitle = {Proceedings of the Design Automation Conference (DAC)},
  series = {DAC'15},
  year = {2015},
  month = jun,
  isbn = {978-1-4503-3520-1},
  location = {San Francisco, California},
  pages = {202:1--202:6},
  articleno = {202},
  numpages = {6},
  url = {http://doi.acm.org/10.1145/2744769.2744794},
  doi = {10.1145/2744769.2744794},
  acmid = {2744794},
  publisher = {ACM},
  address = {New York, NY, USA}
}

@inproceedings{jung_dac15,
  author = {Jung, YoungHoon and Carloni, Luca P.},
  title = { ΣVP: Host-GPU Multiplexing for Efficient Simulation of Multiple Embedded GPUs on Virtual Platforms},
  booktitle = {Proceedings of the Design Automation Conference (DAC)},
  year = {2015},
  series = {DAC '15},
  pages = {106:1--106:6}
}

@inproceedings{jung_www15,
  author = {Jung, YoungHoon and Stratos, Karl and Carloni, Luca P.},
  title = {{LN-Annote: An Alternative Approach to Information Extraction from Emails Using Locally-Customized Named-Entity Recognition}},
  booktitle = {Proceedings of the 24th International Conference on World Wide Web},
  series = {WWW '15},
  year = {2015},
  pages = {538--548}
}

@inproceedings{brooks_cdc14,
  author = {Brooks, J. and Goyal, S. and Subramany, R. and Lin, Y. and Middelkoop, T. and Arpan, L. and Carloni, Luca P. and Barooah, P.},
  title = {{An experimental investigation of occupancy-based energy-efficient control of commercial building indoor climate}},
  booktitle = {2014 IEEE 53rd Annual Conference on Decision and Control (CDC)},
  year = {2014},
  month = dec,
  pages = {5680-5685}
}

@inproceedings{pilato_codesisss2014,
  author = {Pilato, Christian and Mantovani, Paolo and Di Guglielmo, Giuseppe and Carloni, Luca P.},
  title = {{System-level memory optimization for high-level synthesis of component-based SoCs}},
  booktitle = {Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)},
  year = {2014},
  month = oct,
  pages = {1-10}
}

@article{jung_dt14,
  author = {Jung, YoungHoon and Petracca, Michele and Carloni, Luca P.},
  title = {Cloud-Aided Design for Distributed Embedded Systems},
  journal = {IEEE Design \& Test of Computers},
  year = {2014},
  month = jun,
  volume = {31},
  number = {3},
  pages = {32-40}
}

@article{cota_cal14,
  author = {Cota, Emilio G. and Mantovani, Paolo and Petracca, Michele and Casu, Mario R. and Carloni, Luca P.},
  journal = {Computer Architecture Letters},
  title = {Accelerator Memory Reuse in the Dark Silicon Era},
  year = {2014},
  month = jan,
  volume = {13},
  number = {1},
  pages = {9-12},
  doi = {10.1109/L-CA.2012.29},
  issn = {1556-6056}
}

@inproceedings{diguglielmo_dac14,
  author = {Di Guglielmo, Giuseppe and Pilato, Christian and Carloni, Luca P.},
  title = {{A Design Methodology for Compositional High-Level Synthesis of Communication-Centric SoCs}},
  booktitle = {Proceedings of the Design Automation Conference (DAC)},
  series = {DAC '14},
  year = {2014},
  pages = {128:1--128:6}
}

@article{yoon_tcad13,
  author = {Yoon, Young Jin and Concer, N. and Petracca, M. and Carloni, Luca P.},
  title = {{Virtual Channels and Multiple Physical Networks: Two Alternatives to Improve NoC Performance}},
  journal = {Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on},
  year = {2013},
  month = dec,
  volume = {32},
  number = {12},
  pages = {1906-1919}
}

@article{collins_tecs13,
  author = {Collins, Rebecca L. and Carloni, Luca P.},
  title = {{Flexible Filters in Stream Programs}},
  journal = {ACM Trans. Embed. Comput. Syst.},
  year = {2013},
  month = dec,
  volume = {13},
  number = {3},
  pages = {45:1--45:26}
}

@inproceedings{szczodrak_enssys13,
  author = {Szczodrak, Marcin and Gnawali, Omprakash and Carloni, Luca P.},
  title = {Modeling and Implementation of Energy Neutral Sensing Systems},
  booktitle = {Proc. of ENSSys Work.},
  month = nov,
  year = {2013},
  pages = {9:1--9:6}
}

@inproceedings{jung_dac13,
  author = {Jung, YoungHoon and Park, Jinhyung and Petracca, Michele and Carloni, Luca P.},
  title = {{netShip}: a networked virtual platform for large-scale heterogeneous distributed embedded systems},
  booktitle = {Proceedings of Design Automation Conference},
  year = {2013},
  month = jun,
  pages = {169:1--169:10}
}

@inproceedings{szczodrak_sies13,
  author = {Szczodrak, Marcin and Yang, Yong and Cavalcanti, Dave and Carloni, Luca P.},
  title = {An Open Framework to Deploy Heterogeneous Wireless Testbed 
  				for {Cyber-Physical Systems}},
  booktitle = {Proc. of IEEE SIES Symp.},
  month = jun,
  year = {2013},
  pages = {215--224}
}

@inproceedings{liu_dac13,
  author = {Liu, Hung-Yi and Carloni, Luca P.},
  title = {{On learning-based methods for design-space exploration with High-Level Synthesis}},
  booktitle = {Proceedings of the Design Automation Conference (DAC)},
  year = {2013},
  month = may,
  pages = {1-7}
}

@inproceedings{bombieri_dac13,
  author = {Bombieri, N. and Liu, Hung-Yi and Fummi, F. and Carloni, Luca P.},
  title = {{A method to abstract RTL IP blocks into C++ code and enable high-level synthesis}},
  booktitle = {Proceedings of the Design Automation Conference (DAC)},
  year = {2013},
  month = may,
  pages = {1-9}
}

@inproceedings{whelihan_ipdps13,
  author = {Whelihan, D. and Hughes, J.J. and Sawyer, S.M. and Robinson, E. and Wolf, M. and Mohindra, S. and Mullen, J. and Klein, A. and Beard, M. and Bliss, N.T. and Chan, J. and Hendry, R. and Bergman, K. and Carloni, Luca P.},
  title = {{P-sync: A Photonically Enabled Architecture for Efficient Non-local Data Access}},
  booktitle = {Parallel Distributed Processing (IPDPS), 2013 IEEE 27th International Symposium on},
  year = {2013},
  month = may,
  pages = {189-200}
}

@inproceedings{szczodrak_dcoss13,
  author = {Szczodrak, Marcin and Gnawali, Omprakash and Carloni, Luca P.},
  title = {Dynamic Reconfiguration of Wireless Sensor Networks to Support
  				Heterogeneous Applications},
  booktitle = {Proc. of IEEE DCOSS Conf.},
  month = may,
  year = {2013},
  pages = {51--61}
}

@inproceedings{gorlatova_infocom13,
  author = {Gorlatova, Maria and Margolies, Robert and Sarik, John and Stanje, Gerald and Zhu, Jianxun and Vigraham, Baradwaj and Szczodrak, Marcin and Carloni, Luca P. and Kinget, Peter and Kymissis, Ioannis and Zussman, Gil},
  title = {Prototyping Energy Harvesting Active Networked Tags (EnHANTs)},
  booktitle = {Proc. IEEE INFOCOM'13 mini-conference},
  month = apr,
  year = {2013},
  pages = {585--589}
}

@inproceedings{date13_panel,
  author = {Casale-Rossi, M. and Sangiovanni-Vincentelli, A. and Carloni, Luca P. and Courtois, B. and de Man, H. and Domic, A. and Rabaey, J.M.},
  title = {{Panel: The heritage of Mead amp; Conway What has remained the same, what was missed, what has changed, what lies ahead}},
  booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe (DATE)},
  year = {2013},
  month = mar,
  pages = {171-175}
}

@article{sturcken_jssc13,
  author = {Sturcken, N. and O'Sullivan, E.J. and Wang, N. and Herget, P. and Webb, B.C. and Romankiw, L.T. and Petracca, M. and Davies, R. and Fontana, R.E. and Decad, G.M. and Kymissis, I. and Peterchev, A.V. and Carloni, Luca P. and Gallagher, W.J. and Shepard, K.L.},
  title = {{A 2.5D Integrated Voltage Regulator Using Coupled-Magnetic-Core Inductors on Silicon Interposer}},
  journal = {IEEE Journal of Solid-State Circuits},
  year = {2013},
  month = jan,
  volume = {48},
  number = {1},
  pages = {244-254}
}

@inproceedings{jung_cloudcom12,
  author = {Jung, YoungHoon and Neill, R. and Carloni, Luca P.},
  booktitle = {Proceedings of the International Conference on Cloud Computing Technology and Science},
  title = {A broadband embedded computing system for MapReduce utilizing Hadoop},
  year = {2012},
  month = dec,
  pages = {1-9}
}

@inproceedings{yoon_socc12,
  author = {Yoon, Young Jin and Concer, N. and Carloni, Luca P.},
  title = {{Ventti: A vertically integrated framework for simulation and optimization of networks-on-Chip}},
  booktitle = {SOC Conference (SOCC), 2012 IEEE International},
  year = {2012},
  month = sep,
  pages = {171-176}
}

@article{sturcken_jssc12,
  author = {Sturcken, N. and Petracca, Michele and Warren, S. and Mantovani, Paolo and Carloni, Luca P. and Peterchev, A.V. and Shepard, Kenneth L.},
  title = {{A Switched-Inductor Integrated Voltage Regulator With Nonlinear Feedback and Network-on-Chip Load in 45 nm SOI}},
  journal = {IEEE Journal of Solid-State Circuits},
  year = {2012},
  month = aug,
  volume = {47},
  number = {8},
  pages = {1935-1945}
}

@inproceedings{ramini_nocs12,
  author = {Ramini, Luca and Bertozzi, Davide and Carloni, Luca P.},
  booktitle = {Proceedings of the Sixth International Symposium on Networks on Chip (NOCS)},
  title = {Engineering a Bandwidth-Scalable Optical Layer for a 3D Multi-core Processor with Awareness of Layout Constraints},
  year = {2012},
  month = may,
  pages = {185-192}
}

@inproceedings{liu_date12,
  author = {Liu, Hung-Yi and Petracca, Michele and Carloni, Luca P.},
  title = {Compositional System-Level Design Exploration with Planning of High-Level Synthesis},
  booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe (DATE)},
  month = mar,
  pages = {641-646},
  year = {2012},
  affiliation = {Columbia, Cablevision Inc.}
}

@inproceedings{sturcken_isscc12,
  author = {Sturcken, Noah and O'Sullivan, Eugene J. and Wang, Naigang and Herget, Philipp and Webb, Bucknell and Romankiw, Lubomyr T. and Petracca, Michele and Davies, Ryan and Fontana, Robert and Decad, Gary and Kymissis, Ioannis and Peterchev, Angel V. and Carloni, Luca P. and Gallagher, William J. and Shepard, Kenneth L.},
  title = {A 2.5D Integrated Voltage Regulator Using Coupled Magnetic Core Inductors on Silicon Interposer Delivering 10.8A/mm2},
  booktitle = {Proceedings of the International Solid-State Circuits Conference (ISSCC)},
  pages = {400-402},
  month = feb,
  year = {2012},
  affiliation = {Columbia, Cablevision Inc.}
}

@inproceedings{stanje_sensys11,
  title = {Demo: Organic Solar Cell-equipped Energy Harvesting Active Networked Tag (EnHANT) Prototypes},
  author = {Stanje, Gerald and Miller, Paul and Zhu, Jianxun and Smith, Alexander and Winn, Olivia and Margolies, Robert and Gorlatova, Maria and Sarik, John and Szczodrak, Marcin and Vigraham, Baradwaj and Carloni, Luca P. and Kinget, Peter and Kymissis, Ioannis and Zussman, Gil},
  booktitle = {Proceedings of the ACM/IEEE Conference on Embedded Networked Sensor Systems (SenSys)},
  month = nov,
  year = {2011},
  address = {Seattle, WA, US},
  affiliation = {Columbia}
}

@inproceedings{szczodrak_sensys11,
  author = {Szczodrak, Marcin and Carloni, Luca P.},
  title = {Demo: A Complete Framework for Programming Event-Driven, Self-Reconfigurable Low Power Wireless Networks},
  booktitle = {Proceedings of the ACM/IEEE Conference on Embedded Networked Sensor Systems (SenSys)},
  month = nov,
  year = {2011},
  address = {Seattle, WA, US},
  affiliation = {Columbia}
}

@article{chan_tcad11,
  author = {Chan, Johnnie and Hendry, Gilbert and Bergman, Keren and Carloni, Luca P.},
  title = {Physical-Layer Modeling and System-Level Design of Chip-Scale Photonic Interconnection Networks},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  volume = {30},
  number = {10},
  pages = {1507-1520},
  month = oct,
  year = {2011},
  affiliation = {Columbia}
}

@inproceedings{concer_iccd11,
  author = {Concer, Nicola and Vesco, Andrea and Scopigno, Riccardo and Carloni, Luca P.},
  title = {A Dynamic and Distributed TDM Slot-Scheduling Protocol for QoS-Oriented Networks-on-Chips},
  month = oct,
  year = {2011},
  booktitle = {Proceedings of the International Conference on Computer Design (ICCD)},
  pages = {162-169},
  address = {Amherst, CA},
  affiliation = {Columbia}
}

@inproceedings{neill_grid11,
  author = {Neill, Richard and Carloni, Luca P. and Shabarshin, Alexander and Sigaev, Valeriy and Tcherepanov, Serguei},
  title = {Embedded Processor Virtualization for Broadband Grid Computing},
  booktitle = {Proceedings of the 12th IEEE/ACM International Conference on Grid Computing (Grid)},
  month = sep,
  year = {2011},
  pages = {145-156},
  address = {Lyon, France},
  affiliation = {Columbia, Cablevision Inc.}
}

@inproceedings{liu_dac11,
  author = {Liu, Hung-Yi and Diakonikolas, Ilias and Petracca, Michele and Carloni, Luca P.},
  title = {Supervised Design Space Exploration by Compositional Approximation of {Pareto} Sets},
  month = jun,
  year = {2011},
  pages = {399-404},
  booktitle = {Proceedings of the Design Automation Conference (DAC)},
  address = {San Diego, CA},
  affiliation = {Columbia, UC Berkeley}
}

@article{hendry_jpds11,
  author = {Hendry, Gilbert and Robinson, Eric and Gleyzer, Vitaliy and Chan, Johnnie and Carloni, Luca P. and Bliss, Nadya Travinin and Bergman, Keren},
  title = {Time-Division-Multiplexed Arbitration in Silicon Nanophotonic Networks-On-Chip for High-Performance Chip Multiprocessors},
  journal = {Journal of Parallel and Distributed Computing},
  volume = {71},
  number = {5},
  pages = {641-650},
  month = may,
  year = {2011},
  affiliation = {Columbia, Lincoln Laboratory}
}

@inproceedings{leonardi_iccps11,
  author = {Leonardi, Francesco and Pinto, Alessandro and Carloni, Luca P.},
  title = {Synthesis of Distributed Execution Platforms for Cyber-Physical Systems with Applications to High-Performance Buildings},
  booktitle = {International Conference on Cyber-Physical Systems (ICCPS)},
  pages = {215-224},
  month = apr,
  year = {2011},
  address = {Chicago, Illinois},
  affiliation = {Columbia, United Technologies}
}

@inproceedings{hendry_date11,
  author = {Hendry, Gilbert and Chan, Johnnie and Bergman, Keren and Carloni, Luca P.},
  title = {VANDAL: A Tool for the Design Specification of Nanophotonic Networks},
  booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe (DATE)},
  pages = {782-787},
  month = mar,
  year = {2011},
  address = {Grenoble, France},
  affiliation = {Columbia}
}

@inproceedings{sturcken_cicc11,
  author = {Sturcken, Noah and Petracca, Michele and Warren, Steve and Carloni, Luca P. and Peterchev, A.V. and Shepard, Kenneth L.},
  title = {An Integrated Four-Phase Buck Converter Delivering 1A/mm2 with 700ps Controller Delay and Network-on-Chip Load in 45-nm SOI},
  booktitle = {Proceedings of the Custom Integrated Circuits Conference (CICC)},
  year = {2011},
  pages = {1-4},
  affiliation = {Columbia}
}

@inproceedings{zhu_mobisys11,
  author = {Zhu, Jianxun and Stanje, Gerald and Margolies, Robert and Gorlatova, Maria and Sarik, John and Noorbhaiwala, Zainab and Miller, Paul and Szczodrak, Marcin and Vigraham, Baradwaj and Carloni, Luca P. and Kinget, Peter R. and Kymissis, Ioannis and Zussman, Gil},
  title = {Demo: prototyping {UWB}-enabled EnHANTS},
  booktitle = {Proceedings of the 9th International Conference on Mobile Systems, Applications, and Services (MobiSys)},
  year = {2011},
  pages = {387-388},
  affiliation = {Columbia}
}

@inproceedings{hendry_sc10,
  author = {Hendry, Gilbert and Robinson, Eric and Gleyzer, Vitaliy and Chan, Johnnie and Carloni, Luca P. and Bliss, Nadya Travinin and Bergman, Keren},
  title = {Circuit-Switched Memory Access in Photonic Interconnection Networks for High-Performance Embedded Computing},
  month = nov,
  year = {2010},
  booktitle = {Proceedings of the ACM-IEEE Conference on High Performance Computing},
  pages = {1-12},
  address = {New Orleans, LO},
  affiliation = {Columbia}
}

@inproceedings{collins_hpec10,
  author = {Collins, Rebecca and Carloni, Luca P.},
  title = {Flexible Filters for High-Performance Embedded Computing},
  month = sep,
  year = {2010},
  booktitle = {Proceedings of the Tenth Annual Workshop on High Performance Embedded Computing (HPEC)},
  affiliation = {Columbia}
}

@inproceedings{hendry_hoti10,
  author = {Hendry, Gilbert and Chan, Johnnie and Kamil, Shoaib and Oliker, Leonid and Shalf, John and Carloni, Luca P. and Bergman, Keren},
  title = {Silicon Nanophotonic Network-On-Chip using {TDM} Arbitration},
  month = aug,
  year = {2010},
  booktitle = {Proceedings of the 18th Annual IEEE Symposium on High-Performance Interconnects (HotI)},
  pages = {88-95},
  address = {Stanford University, CA},
  affiliation = {Columbia}
}

@article{concer_tcad10,
  author = {Concer, Nicola and Bononi, Luciano and Soulie, Michael and Locatelli, Riccardo and Carloni, Luca P.},
  title = {The Connection-then-Credit Flow Control Protocol for Heterogeneous Multi-Core Systems-on-Chip},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  volume = {29},
  number = {6},
  pages = {869-882},
  month = jun,
  year = {2010},
  affiliation = {Columbia, Univ. of Bologna, STMicroelectronics}
}

@inproceedings{yoon_dac10,
  author = {Yoon, Young-Jin and Concer, Nicola and Petracca, Michele and Carloni, Luca P.},
  title = {Virtual Channels vs. Multiple Physical Networks: A Comparative Analysis},
  month = jun,
  year = {2010},
  booktitle = {Proceedings of the Design Automation Conference (DAC)},
  pages = {162-165},
  address = {Anaheim, CA},
  affiliation = {Columbia}
}

@inproceedings{neill_cf10,
  author = {Neill, Richard and Shabarshin, Alexander and Carloni, Luca P.},
  title = {A Heterogeneous Parallel System Running {Open MPI} on a Broadband Network of Embedded Set-Top Devices},
  booktitle = {Proceedings of the International Conference on Computing Frontiers (CF)},
  month = may,
  year = {2010},
  pages = {187-196},
  address = {Bertinoro, Italy},
  affiliation = {Columbia, Cablevision Inc.}
}

@article{carloni_tvlsi10,
  author = {Carloni, Luca P. and Kahng, Andrew B. and Muddu, Sudhakar and Pinto, Alessandro and Samadi, Kambiz and Sharma, Puneet},
  title = {Accurate Predictive Interconnect Modeling for System-Level Design},
  journal = {IEEE Transactions on Very Large Scale Integration (VLSI) Systems},
  volume = {18},
  number = {4},
  pages = {679-684},
  month = apr,
  year = {2010},
  affiliation = {UC Berkeley, UCSD, Columbia}
}

@inproceedings{li_date10,
  author = {Li, Cheng-Hong and Sonalkar, Sampada and Carloni, Luca P.},
  title = {Exploiting Local Logic Structures to Optimize Multi-Core {SoC} Floorplanning},
  booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe (DATE)},
  month = mar,
  year = {2010},
  pages = {1291-1296},
  address = {Dresden, Germany},
  affiliation = {Columbia}
}

@inproceedings{chan_date10,
  author = {Chan, Johnnie and Hendry, Gilbert and Biberman, Aleksandr and Bergman, Keren and Carloni, Luca P.},
  title = {{PhoenixSim}: A Simulator for Physical-Layer Analysis of Chip-Scale Photonic Interconnection Networks},
  booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe (DATE)},
  month = mar,
  year = {2010},
  pages = {691-696},
  address = {Dresden, Germany},
  affiliation = {Columbia}
}

@inproceedings{collins_date10,
  author = {Collins, Rebecca and Vellore, Bharadwaj and Carloni, Luca P.},
  title = {Recursion-Driven Parallel Code Generation for Multi-Core Platforms},
  booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe (DATE)},
  month = mar,
  year = {2010},
  pages = {190-195},
  address = {Dresden, Germany},
  affiliation = {Columbia}
}

@inproceedings{collins_emsoft09,
  author = {Collins, Rebecca and Carloni, Luca P.},
  title = {Flexible Filters: Load Balancing through Backpressure for Stream Programs},
  month = oct,
  year = {2009},
  booktitle = {Proceedings of the International Conference on Embedded Software (EMSOFT)},
  pages = {205-214},
  address = {Grenoble, France},
  affiliation = {Columbia}
}

@article{petracca_ieeemicro09,
  author = {Petracca, Michele and Lee, Benjamin G. and Bergman, Keren and Carloni, Luca P.},
  title = {Photonic {NoCs}: System-Level Design Exploration},
  journal = {IEEE Micro},
  volume = {29},
  number = {4},
  pages = {74-85},
  month = jul,
  year = {2009},
  affiliation = {UC Berkeley}
}

@inproceedings{concer_nocs09,
  author = {Concer, Nicola and Bononi, Luciano and Soulie, Michael and Locatelli, Riccardo and Carloni, Luca P.},
  title = {{CTC:} An End-To-End Flow Control Protocol for Multi-Core Systems-on-Chip},
  month = may,
  year = {2009},
  booktitle = {Proceedings of the Third International Symposium on Networks-on-Chip (NOCS)},
  pages = {193-202},
  address = {San Diego, CA},
  affiliation = {Columbia, UC Berkeley}
}

@inproceedings{hendry_nocs09,
  author = {Hendry, Gilbert and Kamil, Shoaib and Biberman, Aleksandr and Chan, Johnnie and Lee, Benjamin G. and Mohiyuddin, Marghoob and Jain, Ankit and Bergman, Keren and Carloni, Luca P. and Kubiatowicz, John and Oliker, Leonid and Shalf, John},
  title = {Analysis of Photonic Networks for a Chip Multi-Processor Using Scientific Applications},
  month = may,
  year = {2009},
  booktitle = {Proceedings of the Third International Symposium on Networks-on-Chip (NOCS)},
  pages = {104-113},
  address = {San Diego, CA},
  affiliation = {Columbia, UC Berkeley}
}

@inproceedings{carloni_nocs09,
  author = {Carloni, Luca P. and Pande, Partha and Xie, Yuan},
  title = {Networks-on-Chip in Emerging Interconnect Paradigms: Advantages and Challenges},
  month = may,
  year = {2009},
  booktitle = {Proceedings of the Third International Symposium on Networks-on-Chip (NOCS)},
  pages = {93-102},
  address = {San Diego, CA},
  affiliation = {Columbia, UC Berkeley}
}

@inproceedings{leonardi_date09,
  author = {Leonardi, Francesco and Pinto, Alessandro and Carloni, Luca P.},
  title = {A Case Study in Distributed Deployment of Embedded Software for Camera Networks},
  booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe (DATE)},
  pages = {1006-1011},
  month = apr,
  year = {2009},
  address = {Nice, France},
  affiliation = {UC Berkeley, Columbia}
}

@article{pinto_tcad09,
  author = {Pinto, Alessandro and Carloni, Luca P. and Sangiovanni-Vincentelli, Alberto L.},
  title = {A Methodology for Constrained-Driven Synthesis of On-Chip Communications},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  volume = {28},
  number = {3},
  pages = {364-377},
  month = mar,
  year = {2009},
  affiliation = {UC Berkeley, Columbia}
}

@article{li_tcad09,
  author = {Li, Cheng-Hong and Carloni, Luca P.},
  title = {Leveraging Local Intra-Core Information to Increase Global Performance in Block-Based Design of Systems-on-Chip},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  volume = {28},
  number = {2},
  pages = {165-178},
  month = feb,
  year = {2009},
  affiliation = {Columbia}
}

@article{collins_tcad08,
  author = {Collins, Rebecca and Carloni, Luca P.},
  title = {Topology-Based Performance Analysis and Optimization of Latency-Insensitive Systems},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  volume = {27},
  number = {12},
  pages = {2277-2290},
  month = dec,
  year = {2008},
  affiliation = {Columbia}
}

@inproceedings{concer_codesIsss08,
  author = {Concer, Nicola and Petracca, Michele and Carloni, Luca P.},
  title = {Distributed Flit-Buffer Flow Control for Networks-on-Chip},
  booktitle = {Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)},
  month = oct,
  year = {2008},
  pages = {215-220},
  address = {Atlanta, GA}
}

@article{pinto_ieeedt08,
  author = {Pinto, Alessandro and Carloni, Luca P. and Sangiovanni-Vincentelli, Alberto L.},
  title = {{COSI}: A Framework for the Design of Interconnection Networks},
  journal = {IEEE Design \& Test of Computers},
  volume = {25},
  number = {5},
  pages = {402-415},
  month = sep,
  year = {2008},
  annote = {Special Issue on Network-on-Chip},
  affiliation = {UC Berkeley, Columbia}
}

@article{shacham_tcomp08,
  author = {Shacham, Assaf and Bergman, Keren and Carloni, Luca P.},
  title = {Photonic Networks-on-Chip for Future Generations of Chip Multi-Processors},
  journal = {IEEE Transactions on Computers},
  volume = {57},
  number = {9},
  pages = {1246-1260},
  month = sep,
  year = {2008},
  affiliation = {Columbia}
}

@inproceedings{bliss_hpec08,
  author = {Bliss, Nadya Travinin and Asanovic, Krste and Bergman, Keren and Carloni, Luca and Kepner, Jeremy and Stojanovic, Vladimir},
  title = {Photonic Many-Core Architecture Study},
  month = sep,
  year = {2008},
  booktitle = {Proceedings of the Eleventh Annual Workshop on High Performance Embedded Computing (HPEC)},
  address = {Lexington, MA},
  affiliation = {Columbia, MIT, MIT-LL, UCB}
}

@inproceedings{petracca_hoti08,
  author = {Petracca, Michele and Lee, Benjamin G. and Bergman, Keren and Carloni, Luca P.},
  title = {Design Exploration of Optical Interconnection Networks for Chip Multiprocessors},
  month = aug,
  year = {2008},
  booktitle = {Proceedings of the 16th Annual IEEE Symposium on High-Performance Interconnects (HotI)},
  pages = {31--40},
  address = {Stanford University, CA},
  affiliation = {Columbia}
}

@article{benveniste_tecs08,
  author = {Benveniste, Albert and Caillaud, Benoit and Carloni, Luca P. and Caspi, Paul and Sangiovanni-Vincentelli, Alberto L.},
  title = {Composing Heterogeneous Reactive Systems},
  journal = {ACM Transactions on Embedded Computing Systems},
  volume = {7},
  number = {4},
  pages = {1-36},
  month = jul,
  year = {2008},
  affiliation = {Columbia, Irisa, Inria, UC Berkeley, Verimag}
}

@article{pinello_tcad08,
  author = {Pinello, Claudio and Carloni, Luca P. and Sangiovanni-Vincentelli, Alberto L.},
  title = {Fault-Tolerant Distributed Deployment of Embedded Control Software},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  volume = {27},
  number = {5},
  pages = {906-919},
  month = may,
  year = {2008},
  affiliation = {Columbia, General Motors, UC Berkeley}
}

@inproceedings{petracca_iscas08,
  author = {Petracca, Michele and Bergman, Keren and Carloni, Luca P.},
  title = {Photonic Networks-on-Chip: Opportunities and Challenges},
  month = may,
  year = {2008},
  booktitle = {Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS)},
  pages = {2789-2792},
  address = {Seatte, WA},
  annote = {Invited paper},
  affiliation = {Columbia}
}

@inproceedings{wang_ofcnfoec08,
  author = {Wang, Howard and Petracca, Michele and Biberman, Aleksandr and Lee, Benjamin G. and Carloni, Luca P. and Bergman, Keren},
  title = {Nanophotonic Optical Interconnection Network Architecture for On-Chip and Off-Chip Communications},
  month = feb,
  year = {2008},
  booktitle = {Proceedings of the Optical Fiber Communication / National Fiber Optic Engineers Conference (OFC/NFOEC)},
  address = {San Diego, CA},
  annote = {extended abstract},
  affiliation = {Columbia}
}

@inproceedings{carloni_aspdac08,
  author = {Carloni, Luca P. and Kahng, Andrew B. and Muddu, Sudhakar and Pinto, Alessandro and Samadi, Kambiz and Sharma, Puneet},
  title = {Interconnect modeling for improved system-level design optimization},
  booktitle = {Proceedings of the Asia and South Pacific Design Automation Conference (ASPDAC)},
  year = {2008},
  pages = {258--264},
  location = {Seoul, Korea},
  address = {Los Alamitos, CA, USA}
}

@inproceedings{li_iccad07,
  author = {Li, Cheng-Hong and Carloni, Luca P.},
  title = {Using Functional Independence Conditions to Optimize the Performance of Latency-Insensitive Systems},
  month = nov,
  year = {2007},
  booktitle = {Proceedings of the International Conference on Computer-Aided Design (ICCAD)},
  pages = {32--39},
  address = {San Jose, CA},
  affiliation = {Columbia}
}

@inproceedings{pinto_emsoft07,
  author = {Pinto, Alessandro and Carloni, Luca P. and Sangiovanni-Vincentelli, Alberto L.},
  title = {A Communication Synthesis Infrastructure for Heterogeneous Networked Control Systems and Its Application to Building Automation and Control},
  month = oct,
  year = {2007},
  booktitle = {Proceedings of the International Conference on Embedded Software (EMSOFT)},
  editor = {Kirsch, C. and Wilhelm, R.},
  pages = {21-29},
  address = {Salzburg, Austria},
  affiliation = {Columbia, UC Berkeley}
}

@inproceedings{bergman_hpec07,
  author = {Bergman, Keren and Carloni, Luca P.},
  title = {On-Chip Photonic Communication for High-Performance Multi-Core Processors},
  month = sep,
  year = {2007},
  booktitle = {Proceedings of the Eleventh Annual Workshop on High Performance Embedded Computing (HPEC)},
  address = {Lexington, MA},
  affiliation = {Columbia}
}

@inproceedings{shacham_hoti07,
  author = {Shacham, Assaf and Lee, Benjamin G. and Biberman, Aleksandr and Bergman, Keren and Carloni, Luca P.},
  title = {Photonic {NoC for DMA} Communications in Chip Multiprocessors},
  month = aug,
  year = {2007},
  booktitle = {Proceedings of the 15th Annual IEEE Symposium on High-Performance Interconnects (HotI)},
  pages = {29-38},
  address = {Stanford University, CA},
  affiliation = {Columbia}
}

@inproceedings{collins_dac07,
  author = {Collins, Rebecca and Carloni, Luca P.},
  title = {Topology-Based Optimization of Maximal Sustainable Throughput in a Latency-Insensitive System},
  month = jun,
  year = {2007},
  booktitle = {Proceedings of the Design Automation Conference (DAC)},
  pages = {410-416},
  address = {San Diego, CA},
  affiliation = {Columbia}
}

@inproceedings{shacham_dac07,
  author = {Shacham, Assaf and Bergman, Keren and Carloni, Luca P.},
  title = {The Case for Low-Power Photonic Networks-on-Chip},
  month = jun,
  year = {2007},
  booktitle = {Proceedings of the Design Automation Conference (DAC)},
  pages = {132-135},
  address = {San Diego, CA},
  affiliation = {Columbia}
}

@inproceedings{li_memocode07,
  author = {Li, Cheng-Hong and Collins, Rebecca and Sonalkar, Sampada and Carloni, Luca P.},
  title = {Design, Implementation, and Validation of a New Class of Interface Circuits for Latency-Insensitive Design},
  month = jun,
  year = {2007},
  booktitle = {Proceedings of the Fifth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)},
  pages = {13-22},
  address = {Nice, France},
  affiliation = {Columbia}
}

@inproceedings{shacham_nocs07,
  author = {Shacham, Assaf and Bergman, Keren and Carloni, Luca P.},
  title = {On the Design of a Photonic Network-on-Chip},
  month = may,
  year = {2007},
  booktitle = {Proceedings of the First International Symposium on Networks-on-Chip (NOCS)},
  pages = {53-64},
  address = {Princeton, NJ},
  affiliation = {Columbia}
}

@inproceedings{benveniste_emsoft06,
  author = {Benveniste, Albert and Caillaud, Benoit and Carloni, Luca P. and Caspi, Paul and Sangiovanni-Vincentelli, Alberto L. and Tripakis, S.},
  title = {Communication by Sampling in Time-Sensitive Distributed Systems},
  month = oct,
  year = {2006},
  booktitle = {Proceedings of the International Conference on Embedded Software (EMSOFT)},
  editor = {Min, S. L. and Yi, W.},
  pages = {152-160},
  address = {Seoul, Korea},
  affiliation = {Columbia, Irisa, Inria, Verimag, UC Berkeley, Cadence}
}

@inproceedings{shacham_pac2_06,
  author = {Shacham, Assaf and Bergman, Keren and Carloni, Luca P.},
  title = {Maximizing {GFLOPS-per-Watt}: High-Bandwidth, Low Power Photonic On-Chip Networks},
  month = sep,
  year = {2006},
  booktitle = {Third Watson Conference on Interaction between Architecture, Circuits, and Compilers (P=ac^2)},
  address = {Yorktown Heights, NY},
  affiliation = {Columbia}
}

@article{bonivento_monet06,
  author = {Bonivento, Alvise and Carloni, Luca P. and Sangiovanni-Vincentelli, Alberto L.},
  title = {Platform-Based Design for Wireless Sensor Networks},
  journal = {Mobile Networks and Applications, The Journal of Special Issues on Mobility of  Systems, Users, Data and Computing},
  volume = {11},
  number = {4},
  month = aug,
  year = {2006},
  pages = {469-485},
  affiliation = {Columbia, UC Berkeley}
}

@article{carloni_now06,
  author = {Carloni, Luca P. and Passerone, Roberto and Pinto, Alessandro and Sangiovanni-Vincentelli, Alberto L.},
  title = {Languages and Tools for Hybrid Systems Design},
  journal = {Foundations and Trends in Electronic Design Automation},
  volume = {1},
  number = {1-2},
  pages = {1-194},
  month = jul,
  year = {2006},
  address = {Delft, The Netherlands},
  publisher = {now publishers},
  affiliation = {Columbia, UC Berkeley, Cadence}
}

@article{carloni_jfmsd06,
  author = {Carloni, Luca P. and Sangiovanni-Vincentelli, Alberto L.},
  title = {A Framework for Modeling the Distributed Deployment of Synchronous Designs},
  journal = {Journal of Formal Methods in System Design},
  volume = {28},
  number = {2},
  pages = {93-110},
  month = mar,
  year = {2006},
  annote = {Special Issue on Formal Methods for Globally Asynchronous and Locally Synchronous Design},
  affiliation = {Columbia University}
}

@inproceedings{pinto_hscc06,
  author = {Pinto, Alessandro and Carloni, Luca P. and Passerone, Roberto and Sangiovanni-Vincentelli, Alberto L.},
  title = {Interchange Formats for Hybrid Systems: Abstract Semantics},
  series = {Lecture Notes in Computer Science},
  booktitle = {Proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control (HSCC)},
  editor = {Hespanha, J. P. and Tiwari, A.},
  volume = {3927},
  month = mar,
  year = {2006},
  pages = {491-506},
  address = {Santa Barbara, California},
  affiliation = {Columbia, UC Berkeley, University of Trento}
}

@inproceedings{bonivento_date06,
  author = {Bonivento, Alvise and Carloni, Luca P. and Sangiovanni-Vincentelli, Alberto L.},
  title = {Platform-Based Design of Wireless Sensor Networks for Industrial Applications},
  booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe (DATE)},
  pages = {1103-1107},
  month = feb,
  year = {2006},
  address = {Munich, Germany},
  annote = {Invited Paper for Special Session},
  affiliation = {UC Berkeley, Columbia}
}

@inproceedings{pinto_mathmod06,
  author = {Pinto, Alessandro and Carloni, Luca P. and Passerone, Roberto and Sangiovanni-Vincentelli, Alberto L.},
  title = {Interchange Semantics for Hybrid System Models},
  series = {ARGESIM-Reports},
  booktitle = {Proceedings of the 5th MATHMOD},
  editor = {Troch, I. and Breitenecker, F.},
  month = feb,
  year = {2006},
  address = {Vienna, Austria},
  affiliation = {Columbia, UC Berkeley, University of Trento}
}

@inproceedings{carloni_fmgals05,
  author = {Carloni, Luca P.},
  title = {The Role of Back-Pressure in Implementing Latency-Insensitive Design},
  booktitle = {Second International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Architectures (FMGALS '05)},
  series = {Electronic Notes on Theoretical Computer Science},
  editor = {Singh, M. and Talpin, J.P.},
  volume = {146(2)},
  year = {2006},
  pages = {61-80},
  ee = {http://dx.doi.org/10.1016/j.entcs.2005.05.036},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  affiliation = {Columbia University}
}

@inproceedings{benveniste_emsoft05,
  author = {Benveniste, Albert and Caillaud, Benoit and Carloni, Luca P. and Sangiovanni-Vincentelli, Alberto L.},
  title = {Tag Machines},
  month = sep,
  year = {2005},
  booktitle = {Proceedings of the International Conference on Embedded Software (EMSOFT)},
  editor = {Wolf, W. and Taha, W.},
  pages = {255-263},
  address = {Jersey City, NY},
  affiliation = {Columbia, Irisa, Inria, UC Berkeley}
}

@inproceedings{bonivento_emsoft05,
  author = {Bonivento, Alvise and Carloni, Luca P. and Sangiovanni-Vincentelli, Alberto L.},
  title = {Rialto: {A} Bridge between Description and Implementation of Control Algorithms for Wireless Sensor Networks},
  month = sep,
  year = {2005},
  booktitle = {Proceedings of the International Conference on Embedded Software (EMSOFT)},
  editor = {Wolf, W. and Taha, W.},
  pages = {183-186},
  address = {Jersey City, NY},
  affiliation = {Irisa, Inria, UC Berkeley, Verimag}
}

@incollection{carloni_platform05_ies,
  author = {Carloni, Luca P. and Bernardinis, Fernando De and Pinello, Claudio and Sangiovanni-Vincentelli, Alberto L. and Sgroi, Marco},
  title = {Platform-Based Design for Embedded Systems},
  booktitle = {The Embedded Systems Handbook},
  series = {Industrial Information Technology Series},
  publisher = {CRC Press},
  address = {Florida},
  editor = {Zurawski, R.},
  chapter = {22},
  month = aug,
  year = {2005}
}

@inproceedings{pinto_hscc05,
  author = {Pinto, Alessandro and Sangiovanni-Vincentelli, Alberto L. and Carloni, Luca P. and Passerone, Roberto},
  title = {Interchange Formats for Hybrid Systems: Review and Proposal},
  series = {Lecture Notes in Computer Science},
  booktitle = {Proceedings of the 8th International Workshop on Hybrid Systems : Computation and Control (HSCC)},
  editor = {Morari, M. and Thiele, L. and Rossi, F.},
  volume = {3414},
  month = mar,
  year = {2005},
  pages = {526-541},
  address = {Zurich, Switzerland},
  affiliation = {Columbia, UC Berkeley, Cadence}
}

@incollection{carloni_platform04_iits,
  author = {Carloni, Luca P. and Bernardinis, Fernando De and Sangiovanni-Vincentelli, Alberto L. and Sgroi, Marco},
  title = {Platform-Based and Derivative Design},
  booktitle = {The Industrial Information Technology Handbook},
  series = {Industrial Electronics Series},
  publisher = {CRC Press},
  address = {Florida},
  editor = {Zurawski, R.},
  chapter = {93},
  month = nov,
  year = {2004}
}

@inproceedings{benveniste_emsoft04,
  author = {Benveniste, Albert and Caillaud, Benoit and Carloni, Luca P. and Caspi, Paul and Sangiovanni-Vincentelli, Alberto L.},
  title = {Heterogeneous Reactive Systems Modeling: Capturing Causality and the Correctness of Loosely Time-Triggered Architectures (LTTA)},
  month = sep,
  year = {2004},
  booktitle = {Proceedings of the International Conference on Embedded Software (EMSOFT)},
  editor = {Buttazzo, G. and Edwards, S.},
  pages = {220-229},
  address = {Pisa, Italy},
  affiliation = {Irisa, Inria, UC Berkeley, Verimag}
}

@inproceedings{benveniste_fmco03,
  author = {Benveniste, Albert and Caillaud, Benoit and Carloni, Luca P. and Caspi, Paul and Sangiovanni-Vincentelli, Alberto L.},
  title = {Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling},
  series = {Lecture Notes in Computer Science},
  booktitle = {Proceedings of the 2nd International Symposium on Formal Methods for Components and Objects, Nov. 4-7, 2003},
  editor = {Boer, F.S.d. and Bonsangue, M.M. and Graf, S. and de Roever, W.P.},
  pages = {1-16},
  volume = {3188},
  month = aug,
  year = {2004},
  address = {Leiden, The Netherlands},
  affiliation = {Irisa, Inria, UC Berkeley, Verimag}
}

@inproceedings{sangiovanni_dac04,
  author = {Sangiovanni-Vincentelli, Alberto L. and Carloni, Luca P. and Bernardinis, Fernando De and Sgroi, Marco},
  title = {Benefits and Challenges of Platform-Based Design},
  booktitle = {Proceedings of the Design Automation Conference (DAC)},
  pages = {409-414},
  month = jun,
  year = {2004},
  address = {San Diego, CA},
  affiliation = {UC Berkeley}
}

@inproceedings{pinello_date04,
  author = {Pinello, Claudio and Carloni, Luca P. and Sangiovanni-Vincentelli, Alberto L.},
  title = {Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications},
  booktitle = {Proceedings of the Conference on Design, Automation and Test in Europe (DATE)},
  pages = {1164-1169},
  month = feb,
  year = {2004},
  address = {Paris, France},
  affiliation = {UC Berkeley}
}

@inproceedings{benveniste_emsoft03,
  author = {Benveniste, Albert and Carloni, Luca P. and Caspi, Paul and Sangiovanni-Vincentelli, Alberto L.},
  title = {Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment},
  series = {Lecture Notes in Computer Science},
  pages = {35-50},
  volume = {2855},
  month = oct,
  year = {2003},
  booktitle = {Proceedings of the International Conference on Embedded Software (EMSOFT)},
  editor = {Alur, R. and Lee, I.},
  address = {Philadelphia, PA},
  affiliation = {Irisa, Inria, UC Berkeley, Verimag}
}

@inproceedings{pinto_iccd03,
  author = {Pinto, Alessandro and Carloni, Luca P. and Sangiovanni-Vincentelli, Alberto L.},
  title = {Efficient Synthesis of Networks on Chip},
  month = oct,
  year = {2003},
  booktitle = {Proceedings of the International Conference on Computer Design (ICCD)},
  pages = {146-151},
  address = {San Jose, CA},
  affiliation = {UC Berkeley}
}

@inproceedings{carloni_codesIsss03,
  author = {Carloni, Luca P. and Sangiovanni-Vincentelli, Alberto L.},
  title = {On-Chip Communication Design: Roadblocks and Avenues},
  booktitle = {Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)},
  pages = {75-76},
  month = oct,
  year = {2003},
  address = {Newport Beach, CA},
  affiliation = {UC Berkeley}
}

@inproceedings{carloni_fmgals03,
  author = {Carloni, Luca P. and Sangiovanni-Vincentelli, Alberto L.},
  title = {A Formal Modeling Framework for Deploying Synchronous Designs on Distributed Architectures},
  month = sep,
  year = {2003},
  booktitle = {First International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Architectures (FMGALS '03)},
  pages = {11-31},
  address = {Pisa, Italy},
  affiliation = {UC Berkeley}
}

@inproceedings{carloni_sbcci03,
  author = {Carloni, Luca P. and Sangiovanni-Vincentelli, Alberto L.},
  title = {Combining Retiming and Recycling to Optimize the Performance of Synchronous Circuits},
  booktitle = {Proceedings of the 16th Symposium on Integrated Circuits and System Design, SBCCI 2003},
  month = sep,
  year = {2003},
  address = {Sao Paulo, Brazil},
  affiliation = {UC Berkeley}
}

@incollection{carloni_bestOfIccad03,
  author = {Carloni, Luca P. and McMillan, Kenneth L. and Saldanha, Alexander and Sangiovanni-Vincentelli, Alberto L.},
  title = {A Methodology for ``Correct-by-Construction'' Latency Insensitive Design},
  booktitle = {The Best of ICCAD - 20 Years of Excellence in Computer-Aided Design},
  publisher = {Kluwer Academic Publishers},
  editor = {{A. Kuehlmann}},
  chapter = {12},
  pages = {143-158},
  year = {2003}
}

@article{carloni_ieeemicro02,
  author = {Carloni, Luca P. and Sangiovanni-Vincentelli, Alberto L.},
  title = {Coping with Latency in {SOC} Design},
  journal = {IEEE Micro},
  volume = {22},
  number = {5},
  pages = {24-35},
  month = sep,
  year = {2002},
  annote = {Special Issue on Systems on a Chip},
  affiliation = {UC Berkeley}
}

@inproceedings{carloni_esscirc02,
  author = {Carloni, Luca P. and Bernardinis, Fernando De and Sangiovanni-Vincentelli, Alberto L. and Sgroi, Marco},
  title = {The Art and Science of Integrated Systems Design},
  booktitle = {Proceedings of the 28th European Solid-State Circuits Conference},
  month = sep,
  year = {2002},
  pages = {25-36},
  address = {Florence, Italy},
  affiliation = {UC Berkeley}
}

@inproceedings{carloni_essderc02,
  author = {Carloni, Luca P. and Bernardinis, Fernando De and Sangiovanni-Vincentelli, Alberto L. and Sgroi, Marco},
  title = {The Art and Science of Integrated Systems Design},
  booktitle = {Proceedings of the 32th European Solid-State Device Research Conference},
  month = sep,
  year = {2002},
  pages = {19-30},
  address = {Florence, Italy},
  annote = {Published also into the proceedings of ESSCIRC02},
  affiliation = {UC Berkeley}
}

@inproceedings{pinto_dac02,
  author = {Pinto, Alessandro and Carloni, Luca P. and Sangiovanni-Vincentelli, Alberto L.},
  title = {Constraint-Driven Communication Synthesis},
  booktitle = {Proceedings of the Design Automation Conference (DAC)},
  pages = {783-788},
  month = jun,
  year = {2002},
  address = {New Orleans, LO},
  affiliation = {UC Berkeley}
}

@article{carloni_tcad01_lip,
  author = {Carloni, Luca P. and McMillan, Kenneth L. and Sangiovanni-Vincentelli, Alberto L.},
  title = {Theory of Latency-Insensitive Design},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  volume = {20},
  number = {9},
  pages = {1059-1076},
  month = sep,
  year = {2001},
  affiliation = {UC Berkeley, CBL, PARADES}
}

@inproceedings{zanella_isqed01,
  author = {Zanella, Stefano and Neviani, Andrea and Zanoni, Enrico and Charbon, Edoardo and Miliozzi, Paolo and Guardiani, Carlo and Carloni, Luca P. and Sangiovanni-Vincentelli, Alberto L.},
  title = {Modeling of Substrate Noise Injected by Digital Libraries},
  booktitle = {Proceedings of the International Symposium on Quality Electronic Design (ISQED)},
  month = mar,
  year = {2001},
  address = {San Jose, CA},
  affiliation = {UC Berkeley}
}

@inproceedings{carloni_dac00,
  author = {Carloni, Luca P. and Sangiovanni-Vincentelli, Alberto L.},
  title = {Performance Analysis and Optimization of Latency Insensitive Systems},
  booktitle = {Proceedings of the Design Automation Conference (DAC)},
  pages = {361-367},
  month = jun,
  year = {2000},
  address = {Los Angeles, CA},
  affiliation = {UC Berkeley}
}

@article{goldbergTranscad,
  author = {Goldberg, Evguenii I. and Carloni, Luca P. and Villa, Tiziano and Brayton, Robert K. and Sangiovanni-Vincentelli, Alberto L.},
  title = {Negative Thinking in Branch-and-Bound: the Case of Unate Covering},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  volume = {19},
  number = {3},
  pages = {281-294},
  month = mar,
  year = {2000},
  affiliation = {UC Berkeley, CBL, PARADES}
}

@inproceedings{carloni_vlsi99,
  author = {Carloni, Luca P. and Goldberg, Evguenii I. and Villa, Tiziano and Brayton, Robert K. and Sangiovanni-Vincentelli, Alberto L.},
  title = {Aura {II}: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems},
  booktitle = {Tenth International Conference on Very Large Scale Integration (VLSI '99)},
  editor = {Silveira, L.M. and Reis, R. and Devadas, S.},
  series = {IFIP Conference Proceedings},
  volume = {162},
  pages = {346-361},
  month = dec,
  year = {1999},
  address = {Lisboa, Portugal},
  affiliation = {UC Berkeley, Cadence Berkeley Laboratories, PARADES}
}

@inproceedings{carloni_iccad99,
  author = {Carloni, Luca P. and McMillan, Kenneth L. and Saldanha, Alexander and Sangiovanni-Vincentelli, Alberto L.},
  title = {A Methodology for ``Correct-by-Construction'' Latency Insensitive Design},
  booktitle = {Proceedings of the International Conference on Computer-Aided Design (ICCAD)},
  pages = {309-315},
  address = {San Jose, CA},
  month = nov,
  year = {1999},
  affiliation = {UC Berkeley, Cadence Berkeley Laboratories}
}

@inproceedings{carloni_cav99,
  author = {Carloni, Luca P. and McMillan, Kenneth L. and Sangiovanni-Vincentelli, Alberto L.},
  title = {Latency Insensitive Protocols},
  volume = {1633},
  pages = {123-133},
  booktitle = {Proceedings of the International Conference on Computer-Aided Design (ICCAD)},
  editor = {Halbwachs, N. and Peled, D.},
  address = {Trento, Italy},
  month = jul,
  year = {1999},
  affiliation = {UC Berkeley, Cadence Berkeley Laboratories}
}

@article{charbonTranscad,
  author = {Charbon, Edoardo and Miliozzi, Paolo and Carloni, Luca P. and Ferrari, A. and Sangiovanni-Vincentelli, Alberto L.},
  title = {Modeling Digital Substrate Noise Injection in Mixed-Signal {IC}s},
  journal = {IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
  volume = {18},
  number = {3},
  pages = {301-310},
  month = mar,
  year = {1999},
  affiliation = {UC Berkeley, PARADES}
}

@article{arlindoTranscomp,
  author = {Oliveira, Arlindo L. and Carloni, Luca P. and Villa, Tiziano and Sangiovanni-Vincentelli, Alberto L.},
  title = {Exact Minimization of Binary Decision Diagrams Using Implicit Techniques},
  journal = {IEEE Transactions on Computers},
  volume = {47},
  number = {11},
  pages = {1282-1296},
  month = nov,
  year = {1998},
  affiliation = {UC Berkeley, Cadence European Laboratories / IST-INESC}
}

@inproceedings{goldberg_aura97,
  author = {Goldberg, Evguenii I. and Carloni, Luca P. and Villa, Tiziano and Brayton, Robert K. and Sangiovanni-Vincentelli, Alberto L.},
  title = {Negative Thinking by Incremental Problem Solving: Application to Unate Covering},
  booktitle = {Proceedings of the International Conference on Computer-Aided Design (ICCAD)},
  pages = {91-98},
  address = {San Jose, CA},
  month = nov,
  year = {1997},
  affiliation = {UC Berkeley, Parades, Academy of Sciences of Belarus}
}

@inproceedings{carloni_iccad97,
  author = {Carloni, Luca P. and McGeer, Patrick C. and Saldanha, Alexander and Sangiovanni-Vincentelli, Alberto L.},
  title = {Trace Driven Logic Synthesis - Application to Power Minimization},
  booktitle = {Proceedings of the International Conference on Computer-Aided Design (ICCAD)},
  pages = {581-588},
  address = {San Jose, CA},
  month = nov,
  year = {1997},
  affiliation = {UC Berkeley, Cadence Berkeley Laboratories}
}

@inproceedings{oliveira_vlsi97,
  author = {Oliveira, Arlindo. L. and Carloni, Luca P. and Villa, Tiziano and Sangiovanni-Vincentelli, Alberto L.},
  title = {An implicit formulation for exact {BDD} minimization of incompletely specified functions},
  booktitle = {Eight International Conference on Very Large Scale Integration (VLSI '97)},
  editor = {Reis, R. and Claesen, L.},
  month = aug,
  year = {1997},
  address = {Gramado, Brazil},
  pages = {315-326},
  affiliation = {UC Berkeley, Cadence European Laboratories / IST-INESC}
}

@inproceedings{miliozzi_cicc96,
  author = {Miliozzi, Paolo and Carloni, Luca P. and Charbon, Edoardo and Sangiovanni-Vincentelli, Alberto L.},
  title = {{SUBWAVE}: a Methodology for Modeling Digital Substrate Noise Injection in Mixed-Signal {IC}s},
  booktitle = {Proceedings of the Custom Integrated Circuits Conference (CICC)},
  pages = {385-388},
  month = may,
  year = {1996},
  address = {San Diego, CA},
  affiliation = {UC Berkeley}
}