Luca P. Carloni

Noah Sturcken, Eugene J. O'Sullivan, Naigang Wang, Philipp Herget, Bucknell C. Webb, Lubomyr T. Romankiw, Michele Petracca, Ryan Davies, Robert E. Fontana, Gary M. Decad, Ioannis Kymissis, Angel V. Peterchev, Luca P. Carloni, William J. Gallagher, Kenneth L. Shepard: A 2.5D Integrated Voltage Regulator Using Coupled-Magnetic-Core Inductors on Silicon Interposer. J. Solid-State Circuits 48(1): 244-254 (2013)

Marco Casale-Rossi, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Bernard Courtois, Hugo De Man, Antun Domic, Jan M. Rabaey: Panel: the heritage of Mead & Conway: what has remained the same, what was missed, what has changed, what lies ahead. DATE 2013: 171-175

Noah Sturcken, Michele Petracca, Steve Warren, Paolo Mantovani, Luca P. Carloni, Angel V. Peterchev, Kenneth L. Shepard: A Switched-Inductor Integrated Voltage Regulator With Nonlinear Feedback and Network-on-Chip Load in 45 nm SOI. J. Solid-State Circuits 47(8): 1935-1945 (2012)

YoungHoon Jung, Richard Neill, Luca P. Carloni: A broadband embedded computing system for MapReduce utilizing Hadoop. CloudCom 2012: 1-9

Hung-Yi Liu, Michele Petracca, Luca P. Carloni: Compositional system-level design exploration with planning of high-level synthesis. DATE 2012: 641-646

Noah Sturcken, Eugene J. O'Sullivan, Naigang Wang, Philipp Herget, Bucknell C. Webb, Lubomyr T. Romankiw, Michele Petracca, Ryan Davies, Robert E. Fontana, Gary M. Decad, Ioannis Kymissis, Angel V. Peterchev, Luca P. Carloni, William J. Gallagher, Kenneth L. Shepard: A 2.5D integrated voltage regulator using coupled-magnetic-core inductors on silicon interposer delivering 10.8A/mm². ISSCC 2012: 400-402

Young-Jin Yoon, Nicola Concer, Luca P. Carloni: Ventti: A vertically integrated framework for simulation and optimization of networks-on-Chip. SoCC 2012: 171-176

Ahmed Jerraya, Luca P. Carloni, Vincent John Mooney III, Rodric M. Rabbah (Eds.): Proceedings of the 15th International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012. ACM 2012, isbn 978-1-4503-1424-4

Ahmed Jerraya, Luca P. Carloni, Naehyuck Chang, Franco Fummi (Eds.): Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2012, part of ESWeek '12 Eighth Embedded Systems Week, Tampere, Finland, October 7-12, 2012. ACM 2012, isbn 978-1-4503-1426-8

Ahmed Jerraya, Luca P. Carloni, Florence Maraninchi, John Regehr (Eds.): Proceedings of the 12th International Conference on Embedded Software, EMSOFT 2012, part of the Eighth Embedded Systems Week, ESWeek 2012, Tampere, Finland, October 7-12, 2012. ACM 2012, isbn 978-1-4503-1425-1

Gilbert Hendry, Eric Robinson, Vitaliy Gleyzer, Johnnie Chan, Luca P. Carloni, Nadya Travinin Bliss, Keren Bergman: Time-division-multiplexed arbitration in silicon nanophotonic networks-on-chip for high-performance chip multiprocessors. J. Parallel Distrib. Comput. 71(5): 641-650 (2011)

Luca Benini, Luca P. Carloni: Guest Editorial: Special Section on the ACM/IEEE Symposium on Networks-on-Chip 2010. IEEE Trans. on CAD of Integrated Circuits and Systems 30(4): 492-493 (2011)

Johnnie Chan, Gilbert Hendry, Keren Bergman, Luca P. Carloni: Physical-Layer Modeling and System-Level Design of Chip-Scale Photonic Interconnection Networks. IEEE Trans. on CAD of Integrated Circuits and Systems 30(10): 1507-1520 (2011)

Noah Sturcken, Michele Petracca, Steve Warren, Luca P. Carloni, Angel V. Peterchev, Kenneth L. Shepard: An integrated four-phase buck converter delivering 1A/mm² with 700ps controller delay and network-on-chip load in 45-nm SOI. CICC 2011: 1-4

Hung-Yi Liu, Ilias Diakonikolas, Michele Petracca, Luca P. Carloni: Supervised design space exploration by compositional approximation of Pareto sets. DAC 2011: 399-404

Gilbert Hendry, Johnnie Chan, Luca P. Carloni, Keren Bergman: VANDAL: A tool for the design specification of nanophotonic networks. DATE 2011: 782-787

Richard Neill, Luca P. Carloni, Alexander Shabarshin, Valeriy Sigaev, Serguei Tcherepanov: Embedded Processor Virtualization for Broadband Grid Computing. GRID 2011: 145-156

Nicola Concer, Andrea Vesco, Riccardo Scopigno, Luca P. Carloni: A dynamic and distributed TDM slot-scheduling protocol for QoS-oriented Networks-on-Chip. ICCD 2011: 31-38

Francesco Leonardi, Alessandro Pinto, Luca P. Carloni: Synthesis of Distributed Execution Platforms for Cyber-Physical Systems with Applications to High-Performance Buildings. ICCPS 2011: 215-224

Jianxun Zhu, Gerald Stanje, Robert Margolies, Maria Gorlatova, John Sarik, Zainab Noorbhaiwala, Paul Miller, Marcin Szczodrak, Baradwaj Vigraham, Luca P. Carloni, Peter R. Kinget, Ioannis Kymissis, Gil Zussman: Demo: prototyping UWB-enabled enhants. MobiSys 2011: 387-388

Gerald Stanje, Paul Miller, Jianxun Zhu, Alexander Smith, Olivia Winn, Robert Margolies, Maria Gorlatova, John Sarik, Marcin Szczodrak, Baradwaj Vigraham, Luca P. Carloni, Peter R. Kinget, Ioannis Kymissis, Gil Zussman: Organic solar cell-equipped energy harvesting active networked tag (EnHANT) prototypes. SenSys 2011: 385-386

Marcin Szczodrak, Luca P. Carloni: A complete framework for programming event-driven, self-reconfigurable low power wireless networks. SenSys 2011: 415-416

Nicola Concer, Luciano Bononi, Michael Soulie, Riccardo Locatelli, Luca P. Carloni: The Connection-Then-Credit Flow Control Protocol for Heterogeneous Multicore Systems-on-Chip. IEEE Trans. on CAD of Integrated Circuits and Systems 29(6): 869-882 (2010)

Luca P. Carloni, Andrew B. Kahng, Sudhakar Muddu, Alessandro Pinto, Kambiz Samadi, Puneet Sharma: Accurate Predictive Interconnect Modeling for System-Level Design. IEEE Trans. VLSI Syst. 18(4): 679-684 (2010)

Richard Neill, Alexander Shabarshin, Luca P. Carloni: A heterogeneous parallel system running open mpi on a broadband network of embedded set-top devices. Conf. Computing Frontiers 2010: 187-196

Young-Jin Yoon, Nicola Concer, Michele Petracca, Luca P. Carloni: Virtual channels vs. multiple physical networks: a comparative analysis. DAC 2010: 162-165

Rebecca L. Collins, Bharadwaj Vellore, Luca P. Carloni: Recursion-driven parallel code generation for multi-core platforms. DATE 2010: 190-195

Johnnie Chan, Gilbert Hendry, Aleksandr Biberman, Keren Bergman, Luca P. Carloni: PhoenixSim: A simulator for physical-layer analysis of chip-scale photonic interconnection networks. DATE 2010: 691-696

Cheng-Hong Li, Sampada Sonalkar, Luca P. Carloni: Exploiting local logic structures to optimize multi-core SoC floorplanning. DATE 2010: 1291-1296

Gilbert Hendry, Johnnie Chan, Shoaib Kamil, Leonid Oliker, John Shalf, Luca P. Carloni, Keren Bergman: Silicon Nanophotonic Network-on-Chip Using TDM Arbitration. Hot Interconnects 2010: 88-95

Klaus Schneider, Barbara Jobstmann, Luca P. Carloni, Jens Brandt: Message from the chairs. MEMOCODE 2010: 1-3

Gilbert Hendry, Eric Robinson, Vitaliy Gleyzer, Johnnie Chan, Luca P. Carloni, Nadya Travinin Bliss, Keren Bergman: Circuit-Switched Memory Access in Photonic Interconnection Networks for High-Performance Embedded Computing. SC 2010: 1-12

Luca P. Carloni, Stavros Tripakis (Eds.): Proceedings of the 10th International conference on Embedded software, EMSOFT 2010, Scottsdale, Arizona, USA, October 24-29, 2010. ACM 2010, isbn 978-1-60558-904-6

Michele Petracca, Benjamin G. Lee, Keren Bergman, Luca P. Carloni: Photonic NoCs: System-Level Design Exploration. IEEE Micro 29(4): 74-85 (2009)

Cheng-Hong Li, Luca P. Carloni: Leveraging Local Intracore Information to Increase Global Performance in Block-Based Design of Systems-on-Chip. IEEE Trans. on CAD of Integrated Circuits and Systems 28(2): 165-178 (2009)

Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: A Methodology for Constraint-Driven Synthesis of On-Chip Communications. IEEE Trans. on CAD of Integrated Circuits and Systems 28(3): 364-377 (2009)

Francesco Leonardi, Alessandro Pinto, Luca P. Carloni: A case study in distributed deployment of embedded software for camera networks. DATE 2009: 1006-1011

Rebecca L. Collins, Luca P. Carloni: Flexible filters: load balancing through backpressure for stream programs. EMSOFT 2009: 205-214

Luca P. Carloni, Partha Pande, Yuan Xie: Networks-on-chip in emerging interconnect paradigms: Advantages and challenges. NOCS 2009: 93-102

Gilbert Hendry, Shoaib Kamil, Aleksandr Biberman, Johnnie Chan, Benjamin G. Lee, Marghoob Mohiyuddin, Ankit Jain, Keren Bergman, Luca P. Carloni, John Kubiatowicz, Leonid Oliker, John Shalf: Analysis of photonic networks for a chip multiprocessor using scientific applications. NOCS 2009: 104-113

Nicola Concer, Luciano Bononi, Michael Soulie, Riccardo Locatelli, Luca P. Carloni: CTC: An end-to-end flow control protocol for multi-core systems-on-chip. NOCS 2009: 193-202

Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: COSI: A Framework for the Design of Interconnection Networks. IEEE Design & Test of Computers 25(5): 402-415 (2008)

Assaf Shacham, Keren Bergman, Luca P. Carloni: Photonic Networks-on-Chip for Future Generations of Chip Multiprocessors. IEEE Trans. Computers 57(9): 1246-1260 (2008)

Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Fault-Tolerant Distributed Deployment of Embedded Control Software. IEEE Trans. on CAD of Integrated Circuits and Systems 27(5): 906-919 (2008)

Rebecca L. Collins, Luca P. Carloni: Topology-Based Performance Analysis and Optimization of Latency-Insensitive Systems. IEEE Trans. on CAD of Integrated Circuits and Systems 27(12): 2277-2290 (2008)

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Composing heterogeneous reactive systems. ACM Trans. Embedded Comput. Syst. 7(4) (2008)

Luca P. Carloni, Andrew B. Kahng, Swamy Muddu, Alessandro Pinto, Kambiz Samadi, Puneet Sharma: Interconnect modeling for improved system-level design optimization. ASP-DAC 2008: 258-264

Nicola Concer, Michele Petracca, Luca P. Carloni: Distributed flit-buffer flow control for networks-on-chip. CODES+ISSS 2008: 215-220

Michele Petracca, Benjamin G. Lee, Keren Bergman, Luca P. Carloni: Design Exploration of Optical Interconnection Networks for Chip Multiprocessors. Hot Interconnects 2008: 31-40

Michele Petracca, Keren Bergman, Luca P. Carloni: Photonic networks-on-chip: Opportunities and challenges. ISCAS 2008: 2789-2792

Assaf Shacham, Keren Bergman, Luca P. Carloni: The Case for Low-Power Photonic Networks on Chip. DAC 2007: 132-135

Rebecca L. Collins, Luca P. Carloni: Topology-Based Optimization of Maximal Sustainable Throughput in a Latency-Insensitive System. DAC 2007: 410-415

Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control. EMSOFT 2007: 21-29

Assaf Shacham, Benjamin G. Lee, Aleksandr Biberman, Keren Bergman, Luca P. Carloni: Photonic NoC for DMA Communications in Chip Multiprocessors. Hot Interconnects 2007: 29-38

Cheng-Hong Li, Luca P. Carloni: Using functional independence conditions to optimize the performance of latency-insensitive systems. ICCAD 2007: 32-39

Cheng-Hong Li, Rebecca L. Collins, Sampada Sonalkar, Luca P. Carloni: Design, Implementation, and Validation of a New Class of Interface Circuits for Latency-Insensitive Design. MEMOCODE 2007: 13-22

Assaf Shacham, Keren Bergman, Luca P. Carloni: On the Design of a Photonic Network-on-Chip. NOCS 2007: 53-64

Luca P. Carloni: The Role of Back-Pressure in Implementing Latency-Insensitive Systems. Electr. Notes Theor. Comput. Sci. 146(2): 61-80 (2006)

Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: A Framework for Modeling the Distributed Deployment of Synchronous Designs. Formal Methods in System Design 28(2): 93-110 (2006)

Luca P. Carloni, Roberto Passerone, Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli: Languages and Tools for Hybrid Systems Design. Foundations and Trends in Electronic Design Automation 1(1/2) (2006)

Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Platform based design for wireless sensor networks. MONET 11(4): 469-485 (2006)

Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Platform-based design of wireless sensor networks for industrial applications. DATE 2006: 1103-1107

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis: Communication by sampling in time-sensitive distributed systems. EMSOFT 2006: 152-160

Alessandro Pinto, Luca P. Carloni, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli: Interchange Format for Hybrid Systems: Abstract Semantics. HSCC 2006: 491-506

Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Rialto: a bridge between description and implementation of control algorithms for wireless sensor networks. EMSOFT 2005: 183-186

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Tag machines. EMSOFT 2005: 255-263

Alessandro Pinto, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Roberto Passerone: Interchange Formats for Hybrid Systems: Review and Proposal. HSCC 2005: 526-541

Luca P. Carloni, Fernando De Bernardinis, Alberto L. Sangiovanni-Vincentelli, Marco Sgroi: Platform-Based and Derivative Design. The Industrial Information Technology Handbook 2005: 1-15

Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, Fernando De Bernardinis, Marco Sgroi: Benefits and challenges for platform-based design. DAC 2004: 409-414

Claudio Pinello, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Fault-Tolerant Deployment of Embedded Software for Cost-Sensitive Real-Time Feedback-Control Applications. DATE 2004: 1164-1169

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). EMSOFT 2004: 220-229

Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: On-chip communication design: roadblocks and avenues. CODES+ISSS 2003: 75-76

Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. EMSOFT 2003: 35-50

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. FMCO 2003: 1-16

Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Efficient Synthesis of Networks On Chip. ICCD 2003: 146-150

Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Combining Retiming and Recycling to Optimize the Performance of Synchronous Circuits. SBCCI 2003: 47-52

Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Coping with Latency in SOC Design. IEEE Micro 22(5): 24-35 (2002)

Alessandro Pinto, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Constraint-driven communication synthesis. DAC 2002: 783-788

Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli: Theory of latency-insensitive design. IEEE Trans. on CAD of Integrated Circuits and Systems 20(9): 1059-1076 (2001)

Stefano Zanella, Andrea Neviani, Enrico Zanoni, Paolo Miliozzi, Edoardo Charbon, Carlo Guardiani, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Modeling of Substrate Noise Injected by Digital Libraries. ISQED 2001: 488-

Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Negative thinking in branch-and-bound: the case of unate covering. IEEE Trans. on CAD of Integrated Circuits and Systems 19(3): 281-294 (2000)

Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli: Performance analysis and optimization of latency insensitive systems. DAC 2000: 361-367

Edoardo Charbon, Paolo Miliozzi, Luca P. Carloni, Alberto Ferrari, Alberto L. Sangiovanni-Vincentelli: Modeling digital substrate noise injection in mixed-signal IC's. IEEE Trans. on CAD of Integrated Circuits and Systems 18(3): 301-310 (1999)

Luca P. Carloni, Kenneth L. McMillan, Alberto L. Sangiovanni-Vincentelli: Latency Insensitive Protocols. CAV 1999: 123-133

Luca P. Carloni, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli: A methodology for correct-by-construction latency insensitive design. ICCAD 1999: 309-315

Luca P. Carloni, Evguenii I. Goldberg, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Aura II: Combining Negative Thinking and Branch-and-Bound in Unate Covering Problems. VLSI 1999: 346-361

Arlindo L. Oliveira, Luca P. Carloni, Tiziano Villa, Alberto L. Sangiovanni-Vincentelli: Exact Minimization of Binary Decision Diagrams Using Implicit Techniques. IEEE Trans. Computers 47(11): 1282-1296 (1998)

Evguenii I. Goldberg, Luca P. Carloni, Tiziano Villa, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli: Negative thinking by incremental problem solving: application to unate covering. ICCAD 1997: 91-98

Luca P. Carloni, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli: Trace driven logic synthesis&mdashapplication to power minimization. ICCAD 1997: 581-588