Michael Kishinevsky
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
59
Venues
19
Active years
1994–2023
Best venue rank
A*
Where they publish
Papers
59 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | DATE | A Lightweight Congestion Control Technique for NoCs with Deflection Routing. | Shruti Yadav Narayana, Sumit K. Mandal, Raid Ayoub, Michael Kishinevsky, mit Y. Ogras |
| 2023 | ISLPED | Uncertainty-Aware Online Learning for Dynamic Power Management in Large Manycore Systems. | Gaurav Narang, Raid Ayoub, Michael Kishinevsky, Janardhan Rao Doppa, Partha Pratim Pande |
| 2022 | GLOBECOM | DPM-NFV: Dynamic Power Management Framework for 5G User Plane Function using Bayesian Optimization. | Jaroslaw Sydir, Bin Li, Pietro Mercati, Charlie Tai, Ravi R. Iyer, Michael Kishinevsky, Boris Serafimov |
| 2021 | HPCA | Automatic Microprocessor Performance Bug Detection. | Erick Carvajal Barboza, Sara Jacob, Mahesh Ketkar, Michael Kishinevsky, Paul Gratz, Jiang Hu |
| 2021 | ICCAD | Theoretical Analysis and Evaluation of NoCs with Weighted Round-Robin Arbitration. | Sumit K. Mandal, Jie Tong, Raid Ayoub, Michael Kishinevsky, Ahmed Abousamra, mit Y. Ogras |
| 2021 | IM | MOBO-NFV: Automated Tuning of a Network Function Virtualization System using Multi-Objective Bayesian Optimization. | Pietro Mercati, Bin Li, Mesut Ali Ergin, Charlie Tai, Michael Kishinevsky, Boris Serafimov, Subhiksha Ravisundar, Eoin Walsh, Thomas Long |
| 2020 | DAC | Online Adaptive Learning for Runtime Resource Management of Heterogeneous SoCs. | Sumit K. Mandal, mit Y. Ogras, Janardhan Rao Doppa, Raid Zuhair Ayoub, Michael Kishinevsky, Partha Pratim Pande |
| 2020 | ICCAD | Performance Analysis of Priority-Aware NoCs with Deflection Routing under Traffic Congestion. | Sumit K. Mandal, Anish Krishnakumar, Raid Ayoub, Michael Kishinevsky, mit Y. Ogras |
| 2019 | ICSE | PerfProbe: a systematic, cross-layer performance diagnosis framework for mobile platforms. | David Ke Hong, Ashkan Nikravesh, Z. Morley Mao, Mahesh Ketkar, Michael Kishinevsky |
| 2019 | Mobiquitous | Understanding the impact of number of CPU cores on user satisfaction in smartphones. | Emirhan Poyraz, Prethvi Kashinkunti, Matthew Schuchhardt, Michael Kishinevsky, Niranjan Soundararajan, Gokhan Memik |
| 2018 | DAC | STAFF: online learning with stabilized adaptive forgetting factor and feature selection algorithm. | Ujjwal Gupta, Manoj Babu, Raid Ayoub, Michael Kishinevsky, Francesco Paterna, mit Y. Ogras |
| 2017 | DAC | Multi-variable Dynamic Power Management for the GPU Subsystem. | Pietro Mercati, Raid Ayoub, Michael Kishinevsky, Eric Samson, Marc Beuchat, Francesco Paterna, Tajana Simunic Rosing |
| 2017 | DAC | HALWPE: Hardware-Assisted Light Weight Performance Estimation for GPUs. | Kenneth O'Neal, Philip Brisk, Emily Shriver, Michael Kishinevsky |
| 2016 | ICCAD | Adaptive performance prediction for integrated GPUs. | Ujjwal Gupta, Joseph Campbell, mit Y. Ogras, Raid Ayoub, Michael Kishinevsky, Francesco Paterna, Suat Gumussoy |
| 2015 | CASES | Optimizing mobile display brightness by leveraging human visual perception. | Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik |
| 2015 | DAC | A control-theoretic approach for energy efficient CPU-GPU subsystem in mobile platforms. | David Kadjo, Raid Ayoub, Michael Kishinevsky, Paul V. Gratz |
| 2014 | CASES | CAPED: Context-aware personalized display brightness for mobile devices. | Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik |
| 2013 | DAC | Dynamic voltage and frequency scaling for shared resources in multicore processor designs. | Xi Chen, Zheng Xu, Hyungjun Kim, Paul V. Gratz, Jiang Hu, Michael Kishinevsky, mit Y. Ogras, Raid Zuhair Ayoub |
| 2013 | ICCAD | Managing mobile platform power. | mit Y. Ogras, Raid Zuhair Ayoub, Michael Kishinevsky, David Kadjo |
| 2012 | MEMOCODE | Compositional performance verification of NoC designs. | Daniel E. Holcomb, Alexander Gotmanov, Michael Kishinevsky, Sanjit A. Seshia |
| 2011 | ITP | Challenges in Verifying Communication Fabrics. | Michael Kishinevsky, Alexander Gotmanov, Yuriy Viktorov |
| 2011 | VMCAI | Verifying Deadlock-Freedom of Communication Fabrics. | Alexander Gotmanov, Satrajit Chatterjee, Michael Kishinevsky |
| 2010 | CAV | Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics. | Satrajit Chatterjee, Michael Kishinevsky |
| 2010 | DATE | Automatic microarchitectural pipelining. | Marc Galceran Oms, Jordi Cortadella, Dmitry Bufistov, Michael Kishinevsky |
| 2010 | ICCAD | Symbolic performance analysis of elastic systems. | Marc Galceran Oms, Jordi Cortadella, Michael Kishinevsky |
| 2010 | MEMOCODE | Elastic systems. | Jordi Cortadella, Marc Galceran Oms, Michael Kishinevsky |
| 2009 | BPM | Divide-and-Conquer Strategies for Process Mining. | Josep Carmona, Jordi Cortadella, Michael Kishinevsky |
| 2009 | DAC | Retiming and recycling for elastic systems with early evaluation. | Dmitry Bufistov, Jordi Cortadella, Marc Galceran Oms, Jorge Jlvez, Michael Kishinevsky |
| 2009 | DAC | Speculation in elastic systems. | Marc Galceran Oms, Jordi Cortadella, Michael Kishinevsky |
| 2009 | DATE | Variable-latency design by function speculation. | David Baeres, Jordi Cortadella, Michael Kishinevsky |
| 2008 | BPM | A Region-Based Algorithm for Discovering Petri Nets from Event Logs. | Josep Carmona, Jordi Cortadella, Michael Kishinevsky |
| 2008 | ICCAD | Correct-by-construction microarchitectural pipelining. | Timothy Kam, Michael Kishinevsky, Jordi Cortadella, Marc Galceran Oms |
| 2008 | MEMOCODE | A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study. | Steve Haynal, Timothy Kam, Michael Kishinevsky, Emily Shriver, Xinning Wang |
| 2007 | DAC | Synchronous Elastic Circuits with Early Evaluation and Token Counterflow. | Jordi Cortadella, Michael Kishinevsky |
| 2007 | DATE | Layout-aware gate duplication and buffer insertion. | David Baeres, Jordi Cortadella, Michael Kishinevsky |
| 2007 | ICCAD | A general model for performance optimization of sequential systems. | Dmitry Bufistov, Jordi Cortadella, Michael Kishinevsky, Sachin S. Sapatnekar |
| 2006 | CSR | Synchronous Elastic Circuits. | Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary |
| 2006 | DAC | Synthesis of synchronous elastic architectures. | Jordi Cortadella, Michael Kishinevsky, Bill Grundmann |
| 2006 | FMCAD | Synchronous Elastic Networks. | Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary |
| 2006 | ICCAD | Performance analysis of concurrent systems with early evaluation. | Jorge Jlvez, Jordi Cortadella, Michael Kishinevsky |
| 2004 | DAC | A recursive paradigm to solve Boolean relations. | David Baeres, Jordi Cortadella, Michael Kishinevsky |
| 2004 | FMCAD | Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs. | Laurent Arditi, Grard Berry, Michael Kishinevsky |
| 2003 | ICCAD | System Level Design and Verification Using a Synchronous Language. | Grard Berry, Michael Kishinevsky, Satnam Singh |
| 2002 | DAC | Coordinated transformations for high-level synthesis of high performance microprocessor blocks. | Sumit Gupta, Nick Savoiu, Nikil D. Dutt, Rajesh K. Gupta, Alexandru Nicolau, Timothy Kam, Michael Kishinevsky, Shai Rotem |
| 1999 | DAC | Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems. | Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev |
| 1999 | DAC | CAD Directions for High Performance Asynchronous Circuits. | Ken S. Stevens, Shai Rotem, Steven M. Burns, Jordi Cortadella, Ran Ginosar, Michael Kishinevsky, Marly Roncken |
| 1999 | ICCAD | Synthesis of asynchronous control circuits with automatically generated relative timing assumptions. | Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Ken S. Stevens |
| 1998 | DAC | Asynchronous Interface Specification, Analysis and Synthesis. | Michael Kishinevsky, Jordi Cortadella, Alex Kondratyev |
| 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 | 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 |
| 1996 | DAC | Methodology and Tools for State Encoding in Asynchronous Circuit Synthesis. | Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev |
| 1995 | ASPDAC | On hazard-free implementation of speed-independent circuits. | Alex Kondratyev, Michael Kishinevsky, Alexandre Yakovlev |
| 1995 | DATE | Checking signal transition graph implementability by symbolic BDD traversal. | Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Enric Pastor, Oriol Roig, Alexandre Yakovlev |
| 1995 | ICCAD | Synthesizing Petri nets from state-based models. | Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev |
| 1994 | DAC | Basic Gate Implementation of Speed-Independent Circuits. | Alex Kondratyev, Michael Kishinevsky, Bill Lin, Peter Vanbekbergen, Alexandre Yakovlev |
| 1994 | DAC | Performance Analysis Based on Timing Simulation. | Christian D. Nielsen, Michael Kishinevsky |
| 1994 | PDP | Change Diagram : A behavioural model for very speed VLSI circuit/highly parallel systems. | Alex Kondratyev, Alexander Taubin, Victor Varshavsky, Michael Kishinevsky, Edwige E. Pissaloux |