Publications

2017

  • COSMOS: Coordination of High-Level Synthesis and Memory Optimization for Hardware Accelerators.
    ACM Transactions on Embedded Computing Systems, vol. 16, no. 5s, September 2017.
    [pdf] [BibTeX]
  • Broadening the Exploration of the Accelerator Design Space in Embedded Scalable Platforms.
    In Proceedings of the IEEE High Performance Extreme Computing Conference (HPEC), 2017, 1–7.
    [pdf] [BibTeX]
  • Cross-ISA Machine Emulation for Multicores.
    Emilio G. Cota, Paolo Bonzini, Alex Bennée, and Luca P. Carloni.
    In Proceedings of the 2017 International Symposium on Code Generation and Optimization, 2017, 210–220.
    [pdf] [BibTeX]

2016

  • Handling Large Data Sets for High-Performance Embedded Applications in Heterogeneous Systems-on-Chip.
    In Proceedings of the International Conference on Compilers, Architecture and Synthesis for Embedded Systems (CASES), 2016, 3:1–3:10.
    [pdf] [BibTeX]
  • The Case for Embedded Scalable Platforms.
    In Proceedings of the Design Automation Conference (DAC), 2016, 17:1–17:6.
    (Invited Paper) [pdf] [BibTeX]
  • An FPGA-based Infrastructure for Fine-grained DVFS Analysis in High-performance Embedded Systems.
    In Proceedings of the Design Automation Conference (DAC), 2016, 157:1–157:6.
    [pdf] [BibTeX]
  • Exploiting Private Local Memories to Reduce the Opportunity Cost of Accelerator Integration.
    In Proceedings of the International Conference on Supercomputing (ICS), 2016, 27:1–27:12.
    [pdf] [BibTeX]
  • A synthesis-parameter tuning system for autonomous design-space exploration.
    Matthew M. Ziegler, Hung-Yi Liu, George Gristede, Bruce Owens, Ricardo Nigaglioni, and Luca P. Carloni.
    In Proceedings of the Conference on Design, Automation and Test in Europe (DATE), 2016, 1148–1151.
    [pdf] [BibTeX]
  • High-Level Synthesis of Accelerators in Embedded Scalable Platforms.
    In Proceedings of the Asia and South Pacific Design Automation Conference (ASPDAC), 2016, 204–211.
    (Invited Paper) [pdf] [BibTeX]
  • System-Level Optimization of Accelerator Local Memory for Heterogeneous Systems-on-Chip.
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2016.
    [pdf] [BibTeX]
  • Scalable Auto-Tuning of Synthesis Parameters for Optimizing High-Performance Processors.
    Matthew M. Ziegler, Hung-Yi Liu, and Luca P. Carloni.
    In Proceedings of the International Symposium on Low Power Electronics and Design (ISLPED), 2016, 180–185.
    [pdf] [BibTeX]
  • A Probabilistic Ranking Model for Audio Stream Retrieval.
    YoungHoon Jung, Jaehwan Koo, Karl Stratos, and Luca P. Carloni.
    In Proceedings of the International Workshop on Multimedia Analysis and Retrieval for Multimodal Interaction (MARMI), 2016, 33–38.
    [pdf] [BibTeX]
  • On the Design of Scalable and Reusable Accelerators for Big Data Applications.
    In Proceedings of the International Conference on Computing Frontiers (CF), 2016, 406–411.
    (Invited Paper) [pdf] [BibTeX]

2015

  • From Latency-Insensitive Design to Communication-Based System-Level Design.
    Proceedings of the IEEE, vol. 103, no. 11, November 2015, 2133–2151.
    [pdf] [BibTeX]
  • Design Automation of Electronic Systems: Past Accomplishments and Challenges Ahead [Scanning the Issue].
    R. Brayton, Luca P. Carloni, A.L. Sangiovanni-Vincentelli, and T. Villa.
    Proceedings of the IEEE, vol. 103, no. 11, November 2015, 1952–1957.
    [pdf] [BibTeX]
  • Energy-Harvesting Active Networked Tags (EnHANTs): Prototyping and Experimentation.
    Robert Margolies, Maria Gorlatova, John Sarik, Gerald Stanje, Jianxun Zhu, Paul Miller, Marcin Szczodrak, Baradwaj Vigraham, Luca P. Carloni, Peter Kinget, Ioannis Kymissis, and Gil Zussman.
    ACM Trans. Sen. Netw., vol. 11, no. 4, November 2015, 1–27.
    [pdf] [BibTeX]
  • A low-cost, fast, and accurate microwave imaging system for breast cancer detection.
    D.J. Pagliari, A. Pulimeno, M. Vacca, J.A. Tobon, F. Vipiana, M.R. Casu, R. Solimene, and Luca P. Carloni.
    In Biomedical Circuits and Systems Conference (BioCAS), 2015 IEEE, 2015, 1–4.
    [pdf] [BibTeX]
  • Acceleration of microwave imaging algorithms for breast cancer detection via High-Level Synthesis.
    Daniele Jahier Pagliari, Mario R. Casu, and Luca P. Carloni.
    In Computer Design (ICCD), 2015 33rd IEEE International Conference on, 2015, 475–478.
    [pdf] [BibTeX]
  • An 82%-efficient multiphase voltage-regulator 3D interposer with on-chip magnetic inductors.
    K. Tien, N. Sturcken, Naigang Wang, Jae-Woong Nah, Bing Dang, E. O’Sullivan, P. Andry, M. Petracca, Luca P. Carloni, W. Gallagher, and K. Shepard.
    In 2015 Symposium on VLSI Technology (VLSI Technology), 2015, C192–C193.
    [pdf] [BibTeX]
  • An Analysis of Accelerator Coupling in Heterogeneous Architectures.
    In Proceedings of the Design Automation Conference (DAC), 2015, 202:1–202:6.
    [pdf] [BibTeX]
  • ΣVP: Host-GPU Multiplexing for Efficient Simulation of Multiple Embedded GPUs on Virtual Platforms.
    In Proceedings of the Design Automation Conference (DAC), 2015, 106:1–106:6.
    [pdf] [BibTeX]
  • LN-Annote: An Alternative Approach to Information Extraction from Emails Using Locally-Customized Named-Entity Recognition.
    YoungHoon Jung, Karl Stratos, and Luca P. Carloni.
    In Proceedings of the 24th International Conference on World Wide Web, 2015, 538–548.
    [pdf] [BibTeX]

2014

  • An experimental investigation of occupancy-based energy-efficient control of commercial building indoor climate.
    J. Brooks, S. Goyal, R. Subramany, Y. Lin, T. Middelkoop, L. Arpan, Luca P. Carloni, and P. Barooah.
    In 2014 IEEE 53rd Annual Conference on Decision and Control (CDC), 2014, 5680–5685.
    [pdf] [BibTeX]
  • System-level memory optimization for high-level synthesis of component-based SoCs.
    In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2014, 1–10.
    [pdf] [BibTeX]
  • Cloud-Aided Design for Distributed Embedded Systems.
    IEEE Design & Test of Computers, vol. 31, no. 3, June 2014, 32–40.
    [pdf] [BibTeX]
  • Accelerator Memory Reuse in the Dark Silicon Era.
    Computer Architecture Letters, vol. 13, no. 1, January 2014, 9–12.
    [pdf] [BibTeX]
  • A Design Methodology for Compositional High-Level Synthesis of Communication-Centric SoCs.
    In Proceedings of the Design Automation Conference (DAC), 2014, 128:1–128:6.
    [pdf] [BibTeX]

2013

  • Virtual Channels and Multiple Physical Networks: Two Alternatives to Improve NoC Performance.
    Young Jin Yoon, N. Concer, M. Petracca, and Luca P. Carloni.
    Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol. 32, no. 12, December 2013, 1906–1919.
    [pdf] [BibTeX]
  • Flexible Filters in Stream Programs.
    Rebecca L. Collins and Luca P. Carloni.
    ACM Trans. Embed. Comput. Syst., vol. 13, no. 3, December 2013, 45:1–45:26.
    [pdf] [BibTeX]
  • Modeling and Implementation of Energy Neutral Sensing Systems.
    Marcin Szczodrak, Omprakash Gnawali, and Luca P. Carloni.
    In Proc. of ENSSys Work., 2013, 9:1–9:6.
    [pdf] [BibTeX]
  • netShip: a networked virtual platform for large-scale heterogeneous distributed embedded systems.
    In Proceedings of Design Automation Conference, 2013, 169:1–169:10.
    [pdf] [BibTeX]
  • An Open Framework to Deploy Heterogeneous Wireless Testbed for Cyber-Physical Systems.
    Marcin Szczodrak, Yong Yang, Dave Cavalcanti, and Luca P. Carloni.
    In Proc. of IEEE SIES Symp., 2013, 215–224.
    [pdf] [BibTeX]
  • On learning-based methods for design-space exploration with High-Level Synthesis.
    In Proceedings of the Design Automation Conference (DAC), 2013, 1–7.
    [pdf] [BibTeX]
  • A method to abstract RTL IP blocks into C++ code and enable high-level synthesis.
    N. Bombieri, Hung-Yi Liu, F. Fummi, and Luca P. Carloni.
    In Proceedings of the Design Automation Conference (DAC), 2013, 1–9.
    [pdf] [BibTeX]
  • P-sync: A Photonically Enabled Architecture for Efficient Non-local Data Access.
    D. Whelihan, J.J. Hughes, S.M. Sawyer, E. Robinson, M. Wolf, S. Mohindra, J. Mullen, A. Klein, M. Beard, N.T. Bliss, J. Chan, R. Hendry, K. Bergman, and Luca P. Carloni.
    In Parallel Distributed Processing (IPDPS), 2013 IEEE 27th International Symposium on, 2013, 189–200.
    [pdf] [BibTeX]
  • Dynamic Reconfiguration of Wireless Sensor Networks to Support Heterogeneous Applications.
    Marcin Szczodrak, Omprakash Gnawali, and Luca P. Carloni.
    In Proc. of IEEE DCOSS Conf., 2013, 51–61.
    [pdf] [BibTeX]
  • Prototyping Energy Harvesting Active Networked Tags (EnHANTs).
    Maria Gorlatova, Robert Margolies, John Sarik, Gerald Stanje, Jianxun Zhu, Baradwaj Vigraham, Marcin Szczodrak, Luca P. Carloni, Peter Kinget, Ioannis Kymissis, and Gil Zussman.
    In Proc. IEEE INFOCOM’13 mini-conference, 2013, 585–589.
    [pdf] [BibTeX]
  • Panel: The heritage of Mead amp; Conway What has remained the same, what was missed, what has changed, what lies ahead.
    M. Casale-Rossi, A. Sangiovanni-Vincentelli, Luca P. Carloni, B. Courtois, H. de Man, A. Domic, and J.M. Rabaey.
    In Proceedings of the Conference on Design, Automation and Test in Europe (DATE), 2013, 171–175.
    [pdf] [BibTeX]
  • A 2.5D Integrated Voltage Regulator Using Coupled-Magnetic-Core Inductors on Silicon Interposer.
    N. Sturcken, E.J. O’Sullivan, N. Wang, P. Herget, B.C. Webb, L.T. Romankiw, M. Petracca, R. Davies, R.E. Fontana, G.M. Decad, I. Kymissis, A.V. Peterchev, Luca P. Carloni, W.J. Gallagher, and K.L. Shepard.
    IEEE Journal of Solid-State Circuits, vol. 48, no. 1, January 2013, 244–254.
    [pdf] [BibTeX]

2012

  • A broadband embedded computing system for MapReduce utilizing Hadoop.
    In Proceedings of the International Conference on Cloud Computing Technology and Science, 2012, 1–9.
    [pdf] [BibTeX]
  • Ventti: A vertically integrated framework for simulation and optimization of networks-on-Chip.
    Young Jin Yoon, N. Concer, and Luca P. Carloni.
    In SOC Conference (SOCC), 2012 IEEE International, 2012, 171–176.
    [pdf] [BibTeX]
  • A Switched-Inductor Integrated Voltage Regulator With Nonlinear Feedback and Network-on-Chip Load in 45 nm SOI.
    N. Sturcken, Michele Petracca, S. Warren, Paolo Mantovani, Luca P. Carloni, A.V. Peterchev, and Kenneth L. Shepard.
    IEEE Journal of Solid-State Circuits, vol. 47, no. 8, August 2012, 1935–1945.
    [pdf] [BibTeX]
  • Engineering a Bandwidth-Scalable Optical Layer for a 3D Multi-core Processor with Awareness of Layout Constraints.
    Luca Ramini, Davide Bertozzi, and Luca P. Carloni.
    In Proceedings of the Sixth International Symposium on Networks on Chip (NOCS), 2012, 185–192.
    [pdf] [BibTeX]
  • Compositional System-Level Design Exploration with Planning of High-Level Synthesis.
    In Proceedings of the Conference on Design, Automation and Test in Europe (DATE), 2012, 641–646.
    [pdf] [BibTeX]
  • A 2.5D Integrated Voltage Regulator Using Coupled Magnetic Core Inductors on Silicon Interposer Delivering 10.8A/mm2.
    Noah Sturcken, Eugene J. O’Sullivan, Naigang Wang, Philipp Herget, Bucknell Webb, Lubomyr T. Romankiw, Michele Petracca, Ryan Davies, Robert Fontana, Gary Decad, Ioannis Kymissis, Angel V. Peterchev, Luca P. Carloni, William J. Gallagher, and Kenneth L. Shepard.
    In Proceedings of the International Solid-State Circuits Conference (ISSCC), 2012, 400–402.
    [pdf] [BibTeX]

2011

  • Demo: Organic Solar Cell-equipped Energy Harvesting Active Networked Tag (EnHANT) Prototypes.
    Gerald Stanje, Paul Miller, Jianxun Zhu, Alexander Smith, Olivia Winn, Robert Margolies, Maria Gorlatova, John Sarik, Marcin Szczodrak, Baradwaj Vigraham, Luca P. Carloni, Peter Kinget, Ioannis Kymissis, and Gil Zussman.
    In Proceedings of the ACM/IEEE Conference on Embedded Networked Sensor Systems (SenSys), 2011,
    (Best Student Demo Award) [pdf] [BibTeX]
  • Demo: A Complete Framework for Programming Event-Driven, Self-Reconfigurable Low Power Wireless Networks.
    In Proceedings of the ACM/IEEE Conference on Embedded Networked Sensor Systems (SenSys), 2011,
    [pdf] [BibTeX]
  • Physical-Layer Modeling and System-Level Design of Chip-Scale Photonic Interconnection Networks.
    Johnnie Chan, Gilbert Hendry, Keren Bergman, and Luca P. Carloni.
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 30, no. 10, October 2011, 1507–1520.
    [pdf] [BibTeX]
  • A Dynamic and Distributed TDM Slot-Scheduling Protocol for QoS-Oriented Networks-on-Chips.
    Nicola Concer, Andrea Vesco, Riccardo Scopigno, and Luca P. Carloni.
    In Proceedings of the International Conference on Computer Design (ICCD), 2011, 162–169.
    [pdf] [BibTeX]
  • Embedded Processor Virtualization for Broadband Grid Computing.
    Richard Neill, Luca P. Carloni, Alexander Shabarshin, Valeriy Sigaev, and Serguei Tcherepanov.
    In Proceedings of the 12th IEEE/ACM International Conference on Grid Computing (Grid), 2011, 145–156.
    [pdf] [BibTeX]
  • Supervised Design Space Exploration by Compositional Approximation of Pareto Sets.
    Hung-Yi Liu, Ilias Diakonikolas, Michele Petracca, and Luca P. Carloni.
    In Proceedings of the Design Automation Conference (DAC), 2011, 399–404.
    [pdf] [BibTeX]
  • Time-Division-Multiplexed Arbitration in Silicon Nanophotonic Networks-On-Chip for High-Performance Chip Multiprocessors.
    Gilbert Hendry, Eric Robinson, Vitaliy Gleyzer, Johnnie Chan, Luca P. Carloni, Nadya Travinin Bliss, and Keren Bergman.
    Journal of Parallel and Distributed Computing, vol. 71, no. 5, May 2011, 641–650.
    [pdf] [BibTeX]
  • Synthesis of Distributed Execution Platforms for Cyber-Physical Systems with Applications to High-Performance Buildings.
    Francesco Leonardi, Alessandro Pinto, and Luca P. Carloni.
    In International Conference on Cyber-Physical Systems (ICCPS), 2011, 215–224.
    [pdf] [BibTeX]
  • VANDAL: A Tool for the Design Specification of Nanophotonic Networks.
    Gilbert Hendry, Johnnie Chan, Keren Bergman, and Luca P. Carloni.
    In Proceedings of the Conference on Design, Automation and Test in Europe (DATE), 2011, 782–787.
    [pdf] [BibTeX]
  • An Integrated Four-Phase Buck Converter Delivering 1A/mm2 with 700ps Controller Delay and Network-on-Chip Load in 45-nm SOI.
    Noah Sturcken, Michele Petracca, Steve Warren, Luca P. Carloni, A.V. Peterchev, and Kenneth L. Shepard.
    In Proceedings of the Custom Integrated Circuits Conference (CICC), 2011, 1–4.
    [pdf] [BibTeX]
  • Demo: prototyping UWB-enabled EnHANTS.
    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, and Gil Zussman.
    In Proceedings of the 9th International Conference on Mobile Systems, Applications, and Services (MobiSys), 2011, 387–388.
    [pdf] [BibTeX]

2010

  • Circuit-Switched Memory Access in Photonic Interconnection Networks for High-Performance Embedded Computing.
    Gilbert Hendry, Eric Robinson, Vitaliy Gleyzer, Johnnie Chan, Luca P. Carloni, Nadya Travinin Bliss, and Keren Bergman.
    In Proceedings of the ACM-IEEE Conference on High Performance Computing, 2010, 1–12.
    [pdf] [BibTeX]
  • Flexible Filters for High-Performance Embedded Computing.
    In Proceedings of the Tenth Annual Workshop on High Performance Embedded Computing (HPEC), 2010,
    [pdf] [BibTeX]
  • Silicon Nanophotonic Network-On-Chip using TDM Arbitration.
    Gilbert Hendry, Johnnie Chan, Shoaib Kamil, Leonid Oliker, John Shalf, Luca P. Carloni, and Keren Bergman.
    In Proceedings of the 18th Annual IEEE Symposium on High-Performance Interconnects (HotI), 2010, 88–95.
    [pdf] [BibTeX]
  • The Connection-then-Credit Flow Control Protocol for Heterogeneous Multi-Core Systems-on-Chip.
    Nicola Concer, Luciano Bononi, Michael Soulie, Riccardo Locatelli, and Luca P. Carloni.
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 29, no. 6, June 2010, 869–882.
    [pdf] [BibTeX]
  • Virtual Channels vs. Multiple Physical Networks: A Comparative Analysis.
    In Proceedings of the Design Automation Conference (DAC), 2010, 162–165.
    [pdf] [BibTeX]
  • A Heterogeneous Parallel System Running Open MPI on a Broadband Network of Embedded Set-Top Devices.
    Richard Neill, Alexander Shabarshin, and Luca P. Carloni.
    In Proceedings of the International Conference on Computing Frontiers (CF), 2010, 187–196.
    [pdf] [BibTeX]
  • Accurate Predictive Interconnect Modeling for System-Level Design.
    Luca P. Carloni, Andrew B. Kahng, Sudhakar Muddu, Alessandro Pinto, Kambiz Samadi, and Puneet Sharma.
    IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 18, no. 4, April 2010, 679–684.
    [pdf] [BibTeX]
  • Exploiting Local Logic Structures to Optimize Multi-Core SoC Floorplanning.
    Cheng-Hong Li, Sampada Sonalkar, and Luca P. Carloni.
    In Proceedings of the Conference on Design, Automation and Test in Europe (DATE), 2010, 1291–1296.
    [pdf] [BibTeX]
  • PhoenixSim: A Simulator for Physical-Layer Analysis of Chip-Scale Photonic Interconnection Networks.
    Johnnie Chan, Gilbert Hendry, Aleksandr Biberman, Keren Bergman, and Luca P. Carloni.
    In Proceedings of the Conference on Design, Automation and Test in Europe (DATE), 2010, 691–696.
    [pdf] [BibTeX]
  • Recursion-Driven Parallel Code Generation for Multi-Core Platforms.
    Rebecca Collins, Bharadwaj Vellore, and Luca P. Carloni.
    In Proceedings of the Conference on Design, Automation and Test in Europe (DATE), 2010, 190–195.
    [pdf] [BibTeX]

2009

  • Flexible Filters: Load Balancing through Backpressure for Stream Programs.
    In Proceedings of the International Conference on Embedded Software (EMSOFT), 2009, 205–214.
    [pdf] [BibTeX]
  • Photonic NoCs: System-Level Design Exploration.
    Michele Petracca, Benjamin G. Lee, Keren Bergman, and Luca P. Carloni.
    IEEE Micro, vol. 29, no. 4, July 2009, 74–85.
    [pdf] [BibTeX]
  • CTC: An End-To-End Flow Control Protocol for Multi-Core Systems-on-Chip.
    Nicola Concer, Luciano Bononi, Michael Soulie, Riccardo Locatelli, and Luca P. Carloni.
    In Proceedings of the Third International Symposium on Networks-on-Chip (NOCS), 2009, 193–202.
    [pdf] [BibTeX]
  • Analysis of Photonic Networks for a Chip Multi-Processor Using Scientific Applications.
    Gilbert Hendry, Shoaib Kamil, Aleksandr Biberman, Johnnie Chan, Benjamin G. Lee, Marghoob Mohiyuddin, Ankit Jain, Keren Bergman, Luca P. Carloni, John Kubiatowicz, Leonid Oliker, and John Shalf.
    In Proceedings of the Third International Symposium on Networks-on-Chip (NOCS), 2009, 104–113.
    [pdf] [BibTeX]
  • Networks-on-Chip in Emerging Interconnect Paradigms: Advantages and Challenges.
    Luca P. Carloni, Partha Pande, and Yuan Xie.
    In Proceedings of the Third International Symposium on Networks-on-Chip (NOCS), 2009, 93–102.
    [pdf] [BibTeX]
  • A Case Study in Distributed Deployment of Embedded Software for Camera Networks.
    Francesco Leonardi, Alessandro Pinto, and Luca P. Carloni.
    In Proceedings of the Conference on Design, Automation and Test in Europe (DATE), 2009, 1006–1011.
    [pdf] [BibTeX]
  • A Methodology for Constrained-Driven Synthesis of On-Chip Communications.
    Alessandro Pinto, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli.
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 28, no. 3, March 2009, 364–377.
    [pdf] [BibTeX]
  • Leveraging Local Intra-Core Information to Increase Global Performance in Block-Based Design of Systems-on-Chip.
    Cheng-Hong Li and Luca P. Carloni.
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 28, no. 2, February 2009, 165–178.
    [pdf] [BibTeX]

2008

  • Topology-Based Performance Analysis and Optimization of Latency-Insensitive Systems.
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 27, no. 12, December 2008, 2277–2290.
    [pdf] [BibTeX]
  • Distributed Flit-Buffer Flow Control for Networks-on-Chip.
    In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2008, 215–220.
    [pdf] [BibTeX]
  • COSI: A Framework for the Design of Interconnection Networks.
    Alessandro Pinto, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli.
    IEEE Design & Test of Computers, vol. 25, no. 5, September 2008, 402–415.
    [pdf] [BibTeX]
  • Photonic Networks-on-Chip for Future Generations of Chip Multi-Processors.
    Assaf Shacham, Keren Bergman, and Luca P. Carloni.
    IEEE Transactions on Computers, vol. 57, no. 9, September 2008, 1246–1260.
    [pdf] [BibTeX]
  • Photonic Many-Core Architecture Study.
    Nadya Travinin Bliss, Krste Asanovic, Keren Bergman, Luca Carloni, Jeremy Kepner, and Vladimir Stojanovic.
    In Proceedings of the Eleventh Annual Workshop on High Performance Embedded Computing (HPEC), 2008,
    [pdf] [BibTeX]
  • Design Exploration of Optical Interconnection Networks for Chip Multiprocessors.
    Michele Petracca, Benjamin G. Lee, Keren Bergman, and Luca P. Carloni.
    In Proceedings of the 16th Annual IEEE Symposium on High-Performance Interconnects (HotI), 2008, 31–40.
    [pdf] [BibTeX]
  • Composing Heterogeneous Reactive Systems.
    Albert Benveniste, Benoit Caillaud, Luca P. Carloni, Paul Caspi, and Alberto L. Sangiovanni-Vincentelli.
    ACM Transactions on Embedded Computing Systems, vol. 7, no. 4, July 2008, 1–36.
    [pdf] [BibTeX]
  • Fault-Tolerant Distributed Deployment of Embedded Control Software.
    Claudio Pinello, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli.
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 27, no. 5, May 2008, 906–919.
    [pdf] [BibTeX]
  • Photonic Networks-on-Chip: Opportunities and Challenges.
    Michele Petracca, Keren Bergman, and Luca P. Carloni.
    In Proceedings of the IEEE International Symposium on Circuits and Systems (ISCAS), 2008, 2789–2792.
    [pdf] [BibTeX]
  • Nanophotonic Optical Interconnection Network Architecture for On-Chip and Off-Chip Communications.
    Howard Wang, Michele Petracca, Aleksandr Biberman, Benjamin G. Lee, Luca P. Carloni, and Keren Bergman.
    In Proceedings of the Optical Fiber Communication / National Fiber Optic Engineers Conference (OFC/NFOEC), 2008,
    [pdf] [BibTeX]
  • Interconnect modeling for improved system-level design optimization.
    Luca P. Carloni, Andrew B. Kahng, Sudhakar Muddu, Alessandro Pinto, Kambiz Samadi, and Puneet Sharma.
    In Proceedings of the Asia and South Pacific Design Automation Conference (ASPDAC), 2008, 258–264.
    [pdf] [BibTeX]

2007

  • Using Functional Independence Conditions to Optimize the Performance of Latency-Insensitive Systems.
    Cheng-Hong Li and Luca P. Carloni.
    In Proceedings of the International Conference on Computer-Aided Design (ICCAD), 2007, 32–39.
    [pdf] [BibTeX]
  • A Communication Synthesis Infrastructure for Heterogeneous Networked Control Systems and Its Application to Building Automation and Control.
    Alessandro Pinto, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the International Conference on Embedded Software (EMSOFT), 2007, 21–29.
    [pdf] [BibTeX]
  • On-Chip Photonic Communication for High-Performance Multi-Core Processors.
    Keren Bergman and Luca P. Carloni.
    In Proceedings of the Eleventh Annual Workshop on High Performance Embedded Computing (HPEC), 2007,
    (Best paper award) [pdf] [BibTeX]
  • Photonic NoC for DMA Communications in Chip Multiprocessors.
    Assaf Shacham, Benjamin G. Lee, Aleksandr Biberman, Keren Bergman, and Luca P. Carloni.
    In Proceedings of the 15th Annual IEEE Symposium on High-Performance Interconnects (HotI), 2007, 29–38.
    [pdf] [BibTeX]
  • Topology-Based Optimization of Maximal Sustainable Throughput in a Latency-Insensitive System.
    In Proceedings of the Design Automation Conference (DAC), 2007, 410–416.
    [pdf] [BibTeX]
  • The Case for Low-Power Photonic Networks-on-Chip.
    Assaf Shacham, Keren Bergman, and Luca P. Carloni.
    In Proceedings of the Design Automation Conference (DAC), 2007, 132–135.
    [pdf] [BibTeX]
  • Design, Implementation, and Validation of a New Class of Interface Circuits for Latency-Insensitive Design.
    Cheng-Hong Li, Rebecca Collins, Sampada Sonalkar, and Luca P. Carloni.
    In Proceedings of the Fifth ACM-IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 2007, 13–22.
    [pdf] [BibTeX]
  • On the Design of a Photonic Network-on-Chip.
    Assaf Shacham, Keren Bergman, and Luca P. Carloni.
    In Proceedings of the First International Symposium on Networks-on-Chip (NOCS), 2007, 53–64.
    [pdf] [BibTeX]

2006

  • Communication by Sampling in Time-Sensitive Distributed Systems.
    Albert Benveniste, Benoit Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, and S. Tripakis.
    In Proceedings of the International Conference on Embedded Software (EMSOFT), 2006, 152–160.
    [pdf] [BibTeX]
  • Maximizing GFLOPS-per-Watt: High-Bandwidth, Low Power Photonic On-Chip Networks.
    Assaf Shacham, Keren Bergman, and Luca P. Carloni.
    In Third Watson Conference on Interaction between Architecture, Circuits, and Compilers (P=ac^2), 2006,
    [pdf] [BibTeX]
  • Platform-Based Design for Wireless Sensor Networks.
    Alvise Bonivento, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli.
    Mobile Networks and Applications, The Journal of Special Issues on Mobility of Systems, Users, Data and Computing, vol. 11, no. 4, August 2006, 469–485.
    [pdf] [BibTeX]
  • Languages and Tools for Hybrid Systems Design.
    Luca P. Carloni, Roberto Passerone, Alessandro Pinto, and Alberto L. Sangiovanni-Vincentelli.
    Foundations and Trends in Electronic Design Automation, vol. 1, no. 1-2, July 2006, 1–194.
    [pdf] [BibTeX]
  • A Framework for Modeling the Distributed Deployment of Synchronous Designs.
    Luca P. Carloni and Alberto L. Sangiovanni-Vincentelli.
    Journal of Formal Methods in System Design, vol. 28, no. 2, March 2006, 93–110.
    [pdf] [BibTeX]
  • Interchange Formats for Hybrid Systems: Abstract Semantics.
    Alessandro Pinto, Luca P. Carloni, Roberto Passerone, and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control (HSCC), 2006, 491–506.
    [pdf] [BibTeX]
  • Platform-Based Design of Wireless Sensor Networks for Industrial Applications.
    Alvise Bonivento, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the Conference on Design, Automation and Test in Europe (DATE), 2006, 1103–1107.
    [pdf] [BibTeX]
  • Interchange Semantics for Hybrid System Models.
    Alessandro Pinto, Luca P. Carloni, Roberto Passerone, and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the 5th MATHMOD, 2006,
    [pdf] [BibTeX]
  • The Role of Back-Pressure in Implementing Latency-Insensitive Design.
    In Second International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Architectures (FMGALS ’05), 2006, 61–80.
    [pdf] [BibTeX]

2005

  • Tag Machines.
    Albert Benveniste, Benoit Caillaud, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the International Conference on Embedded Software (EMSOFT), 2005, 255–263.
    [pdf] [BibTeX]
  • Rialto: A Bridge between Description and Implementation of Control Algorithms for Wireless Sensor Networks.
    Alvise Bonivento, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the International Conference on Embedded Software (EMSOFT), 2005, 183–186.
    [pdf] [BibTeX]
  • Platform-Based Design for Embedded Systems.
    Luca P. Carloni, Fernando De Bernardinis, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, and Marco Sgroi.
    In The Embedded Systems Handbook, 2005,
    [pdf] [BibTeX]
  • Interchange Formats for Hybrid Systems: Review and Proposal.
    Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, and Roberto Passerone.
    In Proceedings of the 8th International Workshop on Hybrid Systems : Computation and Control (HSCC), 2005, 526–541.
    [pdf] [BibTeX]

2004

  • Platform-Based and Derivative Design.
    Luca P. Carloni, Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli, and Marco Sgroi.
    In The Industrial Information Technology Handbook, 2004,
    [BibTeX]
  • Heterogeneous Reactive Systems Modeling: Capturing Causality and the Correctness of Loosely Time-Triggered Architectures (LTTA).
    Albert Benveniste, Benoit Caillaud, Luca P. Carloni, Paul Caspi, and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the International Conference on Embedded Software (EMSOFT), 2004, 220–229.
    [pdf] [BibTeX]
  • Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling.
    Albert Benveniste, Benoit Caillaud, Luca P. Carloni, Paul Caspi, and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the 2nd International Symposium on Formal Methods for Components and Objects, Nov. 4-7, 2003, 2004, 1–16.
    [pdf] [BibTeX]
  • Benefits and Challenges of Platform-Based Design.
    Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Fernando De Bernardinis, and Marco Sgroi.
    In Proceedings of the Design Automation Conference (DAC), 2004, 409–414.
    (Invited Paper) [pdf] [BibTeX]
  • Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications.
    Claudio Pinello, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the Conference on Design, Automation and Test in Europe (DATE), 2004, 1164–1169.
    [pdf] [BibTeX]

2003

  • Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment.
    Albert Benveniste, Luca P. Carloni, Paul Caspi, and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the International Conference on Embedded Software (EMSOFT), 2003, 35–50.
    [pdf] [BibTeX]
  • Efficient Synthesis of Networks on Chip.
    Alessandro Pinto, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the International Conference on Computer Design (ICCD), 2003, 146–151.
    [pdf] [BibTeX]
  • On-Chip Communication Design: Roadblocks and Avenues.
    Luca P. Carloni and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2003, 75–76.
    (Invited Talk - Extended Abstract) [pdf] [BibTeX]
  • A Formal Modeling Framework for Deploying Synchronous Designs on Distributed Architectures.
    Luca P. Carloni and Alberto L. Sangiovanni-Vincentelli.
    In First International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Architectures (FMGALS ’03), 2003, 11–31.
    [pdf] [BibTeX]
  • Combining Retiming and Recycling to Optimize the Performance of Synchronous Circuits.
    Luca P. Carloni and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the 16th Symposium on Integrated Circuits and System Design, SBCCI 2003, 2003,
    [pdf] [BibTeX]
  • A Methodology for “Correct-by-Construction" Latency Insensitive Design.
    Luca P. Carloni, Kenneth L. McMillan, Alexander Saldanha, and Alberto L. Sangiovanni-Vincentelli.
    In The Best of ICCAD - 20 Years of Excellence in Computer-Aided Design, 2003, 143–158.
    Reprinted (first published in 1999) [pdf] [BibTeX]

2002

  • Coping with Latency in SOC Design.
    Luca P. Carloni and Alberto L. Sangiovanni-Vincentelli.
    IEEE Micro, vol. 22, no. 5, September 2002, 24–35.
    [pdf] [BibTeX]
  • The Art and Science of Integrated Systems Design.
    Luca P. Carloni, Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli, and Marco Sgroi.
    In Proceedings of the 28th European Solid-State Circuits Conference, 2002, 25–36.
    (Invited Paper) [pdf] [BibTeX]
  • The Art and Science of Integrated Systems Design.
    Luca P. Carloni, Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli, and Marco Sgroi.
    In Proceedings of the 32th European Solid-State Device Research Conference, 2002, 19–30.
    Invited Paper [BibTeX]
  • Constraint-Driven Communication Synthesis.
    Alessandro Pinto, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the Design Automation Conference (DAC), 2002, 783–788.
    [pdf] [BibTeX]

2001

  • Theory of Latency-Insensitive Design.
    Luca P. Carloni, Kenneth L. McMillan, and Alberto L. Sangiovanni-Vincentelli.
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 20, no. 9, September 2001, 1059–1076.
    [pdf] [BibTeX]
  • Modeling of Substrate Noise Injected by Digital Libraries.
    Stefano Zanella, Andrea Neviani, Enrico Zanoni, Edoardo Charbon, Paolo Miliozzi, Carlo Guardiani, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the International Symposium on Quality Electronic Design (ISQED), 2001,
    [pdf] [BibTeX]

2000

  • Performance Analysis and Optimization of Latency Insensitive Systems.
    Luca P. Carloni and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the Design Automation Conference (DAC), 2000, 361–367.
    [pdf] [BibTeX]
  • Negative Thinking in Branch-and-Bound: the Case of Unate Covering.
    Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, and Alberto L. Sangiovanni-Vincentelli.
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 19, no. 3, March 2000, 281–294.
    [pdf] [BibTeX]

1999

  • Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems.
    Luca P. Carloni, Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, and Alberto L. Sangiovanni-Vincentelli.
    In Tenth International Conference on Very Large Scale Integration (VLSI ’99), 1999, 346–361.
    [pdf] [BibTeX]
  • A Methodology for “Correct-by-Construction" Latency Insensitive Design.
    Luca P. Carloni, Kenneth L. McMillan, Alexander Saldanha, and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the International Conference on Computer-Aided Design (ICCAD), 1999, 309–315.
    [pdf] [BibTeX]
  • Latency Insensitive Protocols.
    Luca P. Carloni, Kenneth L. McMillan, and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the International Conference on Computer-Aided Design (ICCAD), 1999, 123–133.
    [pdf] [BibTeX]
  • Modeling Digital Substrate Noise Injection in Mixed-Signal ICs.
    Edoardo Charbon, Paolo Miliozzi, Luca P. Carloni, A. Ferrari, and Alberto L. Sangiovanni-Vincentelli.
    IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 18, no. 3, March 1999, 301–310.
    [pdf] [BibTeX]

1998

  • Exact Minimization of Binary Decision Diagrams Using Implicit Techniques.
    Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, and Alberto L. Sangiovanni-Vincentelli.
    IEEE Transactions on Computers, vol. 47, no. 11, November 1998, 1282–1296.
    [pdf] [BibTeX]

1997

  • Negative Thinking by Incremental Problem Solving: Application to Unate Covering.
    Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the International Conference on Computer-Aided Design (ICCAD), 1997, 91–98.
    [pdf] [BibTeX]
  • Trace Driven Logic Synthesis - Application to Power Minimization.
    Luca P. Carloni, Patrick C. McGeer, Alexander Saldanha, and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the International Conference on Computer-Aided Design (ICCAD), 1997, 581–588.
    [pdf] [BibTeX]
  • An implicit formulation for exact BDD minimization of incompletely specified functions.
    Arlindo. L. Oliveira, Luca P. Carloni, Tiziano Villa, and Alberto L. Sangiovanni-Vincentelli.
    In Eight International Conference on Very Large Scale Integration (VLSI ’97), 1997, 315–326.
    [pdf] [BibTeX]

1996

  • SUBWAVE: a Methodology for Modeling Digital Substrate Noise Injection in Mixed-Signal ICs.
    Paolo Miliozzi, Luca P. Carloni, Edoardo Charbon, and Alberto L. Sangiovanni-Vincentelli.
    In Proceedings of the Custom Integrated Circuits Conference (CICC), 1996, 385–388.
    [pdf] [BibTeX]