Luciano Lavagno
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
88
Venues
27
Active years
1990–2026
Best venue rank
A*
Where they publish
- ADATE20 papers
- A*DAC19 papers
- AICCAD11 papers
- CICCD8 papers
- CDSD3 papers
- BASPDAC3 papers
- NationalVLSID3 papers
- CETFA2 papers
- AFPGA1 paper
- CFedCSIS1 paper
- BVTC1 paper
- NationalSOFTCOM1 paper
- CSCOPES1 paper
- BIM1 paper
- CSCAM1 paper
- CCRiSIS1 paper
- BLCN1 paper
- BSECON1 paper
- BWCNC1 paper
- Journal PublishedEMSOFT1 paper
- Journal PublishedCASES1 paper
- BCONCUR1 paper
- BETS1 paper
- CISCAS1 paper
- CPDP1 paper
- CRSP1 paper
- BICIP1 paper
Papers
88 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | DATE | Design for testability using mixed-polarity flip-flops and latches. | Lorenzo Lagostina, Jordi Cortadella, Mario R. Casu, Luciano Lavagno |
| 2024 | DATE | LESS: Low-Power Energy-Efficient Subgraph Isomorphism on FPGA. | Roberto Bosio, Giovanni Brignone, Filippo Minnella, M. Usman Jamal, Luciano Lavagno |
| 2023 | ICCD | A DSP shared is a DSP earned: HLS Task-Level Multi-Pumping for High-Performance Low-Resource Designs. | Giovanni Brignone, Mihai T. Lazarescu, Luciano Lavagno |
| 2019 | DAC | Exact and Heuristic Allocation of Multi-kernel Applications to Multi-FPGA Platforms. | Junnan Shan, Mario R. Casu, Jordi Cortadella, Luciano Lavagno, Mihai T. Lazarescu |
| 2019 | FPGA | Synetgy: Algorithm-hardware Co-design for ConvNet Accelerators on Embedded FPGAs. | Yifan Yang, Qijing Huang, Bichen Wu, Tianjun Zhang, Liang Ma, Giulio Gambardella, Michaela Blott, Luciano Lavagno, Kees A. Vissers, John Wawrzynek, Kurt Keutzer |
| 2016 | DATE | ECOSCALE: Reconfigurable computing and runtime system for future exascale systems. | Iakovos Mavroidis, Ioannis Papaefstathiou, Luciano Lavagno, Dimitrios S. Nikolopoulos, Dirk Koch, John Goodacre, Ioannis Sourdis, Vassilis Papaefstathiou, Marcello Coppola, Manuel Palomino |
| 2016 | FedCSIS | Energy-efficient FPGA Implementation of the k-Nearest Neighbors Algorithm Using OpenCL. | Fahad Bin Muslim, Alexandros Demian, Liang Ma, Luciano Lavagno, Affaq Qamar |
| 2015 | ICCD | Reactive clocks with variability-tracking jitter. | Jordi Cortadella, Luciano Lavagno, Pedro Lopez, Marc Lupon, Alberto Moreno, Antoni Roca, Sachin S. Sapatnekar |
| 2015 | VTC | Analysis and Implementation of the Semi-Global Matching 3D Vision Algorithm Using Code Transformations and High-Level Synthesis. | Affaq Qamar, Fahad Bin Muslim, Luciano Lavagno |
| 2015 | SOFTCOM | Low power methodology for an ASIC design flow based on high-level synthesis. | Fahad Bin Muslim, Affaq Qamar, Luciano Lavagno |
| 2014 | SCOPES | Energy-aware parallelization flow and toolset for C code. | Mihai T. Lazarescu, Albert Cohen, Adrien Guatto, Nhat Minh L, Luciano Lavagno, Antoniu Pop, Manuel Prieto, Andrei Sergeevich Terechko, Alexandru Sutii |
| 2013 | DATE | Share with care: a quantitative evaluation of sharing approaches in high-level synthesis. | Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe |
| 2013 | DSD | EU FP7-288307 Pharaon Project: Parallel and Heterogeneous Architecture for Real-Time Applications. | Hector Posadas, Eugenio Villar, Florian Broekaert, Michel Bourdells, Albert Cohen, Antoniu Pop, Nhat Minh L, Adrien Guatto, Mihai T. Lazarescu, Luciano Lavagno, Andrei Sergeevich Terechko, Miguel Glassee, Daniel Calvo, Eduardo de las Heras |
| 2013 | IM | A key management scheme for Content Centric Networking. | Sarmad Ullah Khan, Thibault Cholez, Thomas Engel, Luciano Lavagno |
| 2012 | DATE | Exploiting area/delay tradeoffs in high-level synthesis. | Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe |
| 2012 | DSD | HEAP: A Highly Efficient Adaptive Multi-processor Framework. | Luciano Lavagno, Mihai T. Lazarescu, Ioannis Papaefstathiou, Andreas Brokalakis, Johan Walters, Bart Kienhuis, Florian Schfer |
| 2012 | DSD | FASTCUDA: Open Source FPGA Accelerator & Hardware-Software Codesign Toolset for CUDA Kernels. | Iakovos Mavroidis, Ioannis Mavroidis, Ioannis Papaefstathiou, Luciano Lavagno, Mihai T. Lazarescu, Eduardo de la Torre, Florian Schfer |
| 2012 | SCAM | Dynamic Trace-Based Data Dependency Analysis for Parallelization of C Programs. | Mihai T. Lazarescu, Luciano Lavagno |
| 2011 | CRiSIS | An Energy and Memory-Efficient Key Management Scheme for Mobile Heterogeneous Sensor Networks. | Sarmad Ullah Khan, Claudio Pastrone, Luciano Lavagno, Maurizio A. Spirito |
| 2011 | DATE | Realistic performance-constrained pipelining in high-level synthesis. | Alex Kondratyev, Luciano Lavagno, Mike Meyer, Yosinori Watanabe |
| 2010 | ASPDAC | Incremental high-level synthesis. | Luciano Lavagno, Alex Kondratyev, Yosinori Watanabe, Qiang Zhu, Mototsugu Fujii, Mitsuru Tatesawa, Noriyasu Nakayama |
| 2010 | ETFA | Energy optimization at the MAC layer for a forest fire monitoring wireless sensor network. | Anwar Al-Khateeb, Jun Kyoung Kim, Luciano Lavagno, Mihai T. Lazarescu |
| 2010 | LCN | MEOW: Model-based design of an energy-optimized protocol stack for wireless sensor networks. | Anwar Al-Khateeb, Luciano Lavagno |
| 2009 | DAC | Enabling adaptability through elastic clocks. | Emre Tuncer, Jordi Cortadella, Luciano Lavagno |
| 2008 | ETFA | Porting application between wireless sensor network software platforms: TinyOS, MANTIS and ZigBee. | Mohammad Mostafizur Rahman Mozumdar, Francesco Gregoretti, Luciano Lavagno, Laura Vanzago |
| 2008 | SECON | A Framework for Modeling, Simulation and Automatic Code Generation of Sensor Network Application. | Mohammad Mostafizur Rahman Mozumdar, Francesco Gregoretti, Luciano Lavagno, Laura Vanzago, Stefano Olivieri |
| 2007 | DAC | A Fully-Automated Desynchronization Flow for Synchronous Circuits. | Nikolaos Andrikos, Luciano Lavagno, Davide Pandini, Christos P. Sotiriou |
| 2007 | WCNC | E2RINA: an Energy Efficient and Reliable In-Network Aggregation for Clustered Wireless Sensor Networks. | Luca Necchi, Alvise Bonivento, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli, Laura Vanzago |
| 2005 | DATE | A Time Slice Based Scheduler Model for System Level Design. | Luciano Lavagno, Claudio Passerone, Vishal Shah, Yosinori Watanabe |
| 2004 | DATE | SoftContract: an Assertion-Based Software Development Process that Enables Design-by-Contract. | Jean-Yves Brunel, Marco Di Natale, Alberto Ferrari, Paolo Giusto, Luciano Lavagno |
| 2004 | DATE | From Synchronous to Asynchronous: An Automatic Approach. | Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Kelvin Lwin, Christos P. Sotiriou |
| 2004 | DATE | Implementation of a UMTS Turbo-Decoder on a Dynamically Reconfigurable Platform. | Alberto La Rosa, Claudio Passerone, Francesco Gregoretti, Luciano Lavagno |
| 2004 | ICCD | Coping with The Variability of Combinational Logic Delays. | Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Christos P. Sotiriou |
| 2003 | DATE | Hardware/Software Design Space Exploration for a Reconfigurable Processor. | Alberto La Rosa, Luciano Lavagno, Claudio Passerone |
| 2003 | DATE | Design Space Exploration for a Wireless Protocol on a Reconfigurable Platform. | Laura Vanzago, Bishnupriya Bhattacharya, Joel Cambonie, Luciano Lavagno |
| 2002 | DATE | False Path Elimination in Quasi-Static Scheduling. | G. Arrigoni, L. Duchini, Claudio Passerone, Luciano Lavagno, Yosinori Watanabe |
| 2002 | EMSOFT | Processes, Interfaces and Platforms. Embedded Software Modeling in Metropolis. | Felice Balarin, Luciano Lavagno, Claudio Passerone, Yosinori Watanabe |
| 2002 | ICCD | Designing an Asynchronous Microcontroller Using Pipefitter. | Ivan Blunno, Luciano Lavagno |
| 2002 | ICCD | Models of IP's for Automotive Virtual Integration Platforms. | Paolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Barry O'Rourke, Alberto L. Sangiovanni-Vincentelli, Emanuele Guasto |
| 2002 | ICCD | Automotive Virtual Integration Platforms: Why's, What's, and How's. | Paolo Giusto, Jean-Yves Brunel, Alberto Ferrari, Eliane Fourgeau, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 2002 | VLSID | Specification, Modeling and Design Tools for System-on-Chip (Tutorial Abstract). | Luciano Lavagno, Sujit Dey, Rajesh K. Gupta |
| 2001 | CASES | A software development tool chain for a reconfigurable processor. | Alberto La Rosa, Luciano Lavagno, Claudio Passerone |
| 2001 | DAC | A Hardware/Software Co-design Flow and IP Library Based of Simulink | Leonardo Maria Reyneri, Franceso Cucinotta, Alessandro Serra, Luciano Lavagno |
| 2001 | DATE | Generation of minimal size code for scheduling graphs. | Claudio Passerone, Yosinori Watanabe, Luciano Lavagno |
| 2001 | ICCAD | System-Level Power/Performance Analysis of Portable Multimedia Systems Communicating over Wireless Channels. | Radu Marculescu, Amit Nandi, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 2000 | CONCUR | Formal Models for Communication-Based Design. | Alberto L. Sangiovanni-Vincentelli, Marco Sgroi, Luciano Lavagno |
| 2000 | DAC | Task generation and compile-time scheduling for mixed data-control embedded software. | Jordi Cortadella, Alex Kondratyev, Luciano Lavagno, Marc Massot, Sandra Moral, Claudio Passerone, Yosinori Watanabe, Alberto L. Sangiovanni-Vincentelli |
| 2000 | DAC | Efficient methods for embedded system design space exploration. | Harry Hsieh, Felice Balarin, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 2000 | DATE | Free MDD-Based Software Optimization Techniques for Embedded Systems. | Chunghee Kim, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 2000 | DATE | Efficient Power Co-Estimation Techniques for System-on-Chip Design. | Marcello Lajolo, Anand Raghunathan, Sujit Dey, Luciano Lavagno |
| 2000 | DATE | Evaluating System Dependability in a Co-Design Framework. | Marcello Lajolo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, Luciano Lavagno |
| 2000 | ETS | System-level test bench generation in a co-design framework. | Marcello Lajolo, Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, Luciano Lavagno |
| 1999 | ASPDAC | Fast Instruction Cache Simulation Strategies in a Hardware/Software Co-Design Environment. | Marcello Lajolo, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 1999 | DAC | Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems. | Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev |
| 1999 | DAC | ECL: A Specification Environment for System-Level Design. | Luciano Lavagno, Ellen Sentovich |
| 1999 | DAC | Synthesis of Embedded Software Using Free-Choice Petri Nets. | Marco Sgroi, Luciano Lavagno |
| 1999 | DATE | Fast Hardware-Software Co-simulation Using VHDL Models. | Bassam Tabbara, Marco Sgroi, Alberto L. Sangiovanni-Vincentelli, Enrica Filippi, Luciano Lavagno |
| 1999 | ICCAD | What is the cost of delay insensitivity? | Hiroshi Saito, Alex Kondratyev, Jordi Cortadella, Luciano Lavagno, Alexandre Yakovlev |
| 1999 | ISCAS | Analysis of the quantization noise effects on the SQNR behaviour in analog to digital conversion. | Alberto L. Sangiovanni-Vincentelli, Marco Re, Luciano Lavagno, Gian Carlo Cardarilli, Roberto Lojacono |
| 1999 | VLSID | CAD Techniques for Embedded System Design. | Srinivas Devadas, Sharad Malik, Jos Monteiro, Luciano Lavagno |
| 1998 | DAC | A Case Study in Embedded System Design: An Engine Control Unit. | Tullio Cuatto, Claudio Passerone, Luciano Lavagno, Attila Jurecska, Antonino Damiano, Claudio Sanso, Alberto L. Sangiovanni-Vincentelli |
| 1998 | DAC | Don't Care-Based BDD Minimization for Embedded Software. | Youpyo Hong, Peter A. Beerel, Luciano Lavagno, Ellen Sentovich |
| 1998 | ICCAD | Interface synthesis: a vertical slice from digital logic to software components. | Gaetano Borriello, Luciano Lavagno, Ross B. Ortega |
| 1998 | ICCAD | Lazy transition systems: application to timing optimization of asynchronous circuits. | Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Taubin, Alexandre Yakovlev |
| 1997 | ASPDAC | Trade-off evaluation in embedded system design via co-simulation. | Claudio Passerone, Luciano Lavagno, Claudio Sanso, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli |
| 1997 | DAC | Disjunctive Partitioning and Partial Iterative Squaring: An Effective Approach for Symbolic Traversal of Large Circuits. | Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer |
| 1997 | DAC | Fast Hardware/Software Co-Simulation for Virtual Prototyping and Trade-Off Analysis. | Claudio Passerone, Luciano Lavagno, Massimiliano Chiodo, Alberto L. Sangiovanni-Vincentelli |
| 1997 | DATE | Verification and synthesis of counters based on symbolic techniques. | Gianpiero Cabodi, Paolo Camurati, Luciano Lavagno, Stefano Quer |
| 1997 | DATE | Technology mapping of speed-independent circuits based on combinational decomposition and resynthesis. | Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev |
| 1997 | ICCAD | Decomposition and technology mapping of speed-independent circuits using Boolean relations. | Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev |
| 1997 | ICCAD | Partial scan delay fault testing of asynchronous circuits. | Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexander Saldanha, Alexander Taubin |
| 1997 | VLSID | Asynchronous Implementation of Synchronous Esterel Specifications. | Raj S. Mitra, Bishnupriya Bhattacharya, Luciano Lavagno |
| 1996 | DAC | Formal Verification of Embedded Systems based on CFSM Networks. | Felice Balarin, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 1996 | DAC | Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis. | Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev |
| 1996 | ICCAD | Compact and complete test set generation for multiple stuck-faults. | Alok Agrawal, Alexander Saldanha, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 1996 | ICCD | Enhancing FSM Traversal by Temporary Re-Encoding. | Gianpiero Cabodi, Luciano Lavagno, Enrico Macii, Massimo Poncino, Stefano Quer, Paolo Camurati, Ellen Sentovich |
| 1996 | PDP | Design and Implementation of the Control Structure of the PAPRICA-3 Processor. | Francesco Gregoretti, F. Intini, Luciano Lavagno, Roberto Passerone, Leonardo Maria Reyneri |
| 1996 | RSP | Rapid-Prototyping of Embedded Systems via Reprogrammable Devices. | Stefano Cardelli, Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 1995 | DAC | Synthesis of Software Programs for Embedded Control Applications. | Massimiliano Chiodo, Paolo Giusto, Attila Jurecska, Luciano Lavagno, Harry Hsieh, Kei Suzuki, Alberto L. Sangiovanni-Vincentelli, Ellen Sentovich |
| 1995 | DAC | Timed Shannon Circuits: A Power-Efficient Design Style and Synthesis Tool. | Luciano Lavagno, Patrick C. McGeer, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli |
| 1995 | ICCAD | Synthesizing Petri nets from state-based models. | Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev |
| 1994 | ICIP | PAPRICA-3: A Real-Time Morhphological Image Processor. | Alberto Broggi, Gianni Conte, G. Burzio, Luciano Lavagno, Francesco Gregoretti, Claudio Sanso, Leonardo Maria Reyneri |
| 1992 | DAC | Solving the State Assignment Problem for Signal Transition Graphs. | Luciano Lavagno, Cho W. Moon, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |
| 1992 | ICCAD | A unified signal transition graph model for asynchronous control circuit synthesis. | Alexandre Yakovlev, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 1992 | ICCD | Linear Programming for Optimum Hazard Elimination in Asynchronous Circuits. | Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 1991 | DAC | Algorithms for Synthesis of Hazard-Free Asynchronous Circuits. | Luciano Lavagno, Kurt Keutzer, Alberto L. Sangiovanni-Vincentelli |
| 1991 | ICCAD | Synthesis for Testability Techniques for Asynchronous Circuits. | Kurt Keutzer, Luciano Lavagno, Alberto L. Sangiovanni-Vincentelli |
| 1990 | ICCAD | MIS-MV: Optimization of Multi-Level Logic with Multiple-Valued Inputs. | Luciano Lavagno, Sharad Malik, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli |