Michael Kishinevsky

ORCID

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 43

Top Venues

CoRR

DAC

ACM Trans. Embed. Comput. Syst.

ICCAD

Publications

Gaurav Narang, Aryan Deshwal, Raid Ayoub, Michael Kishinevsky, Janardhan Rao Doppa, Partha Pratim Pande
Dynamic Power Management in Large Manycore Systems: A Learning-to-Search Framework. ACM Trans. Design Autom. Electr. Syst. 28 (5) (2023)
Anish Krishnakumar, Ümit Y. Ogras, Radu Marculescu, Michael Kishinevsky, Trevor N. Mudge
Domain-Specific Architectures: Research Problems and Promising Approaches. ACM Trans. Embed. Comput. Syst. 22 (2) (2023)
Shruti Yadav Narayana, Sumit K. Mandal, Raid Ayoub, Michael Kishinevsky, Ümit Y. Ogras
Machine Learning-based Low Overhead Congestion Control Algorithm for Industrial NoCs. CoRR (2023)
Ümit Y. Ogras, Radu Marculescu, Trevor N. Mudge, Michael Kishinevsky
Introduction to the Special Issue on Domain-Specific System-on-Chip Architectures and Run-Time Management Techniques. ACM Trans. Embed. Comput. Syst. 22 (2) (2023)
Gaurav Narang, Raid Ayoub, Michael Kishinevsky, Janardhan Rao Doppa, Partha Pratim Pande
Uncertainty-Aware Online Learning for Dynamic Power Management in Large Manycore Systems. ISLPED (2023)
Shruti Yadav Narayana, Sumit K. Mandal, Raid Ayoub, Mohammad M. Islam, Michael Kishinevsky, Ümit Y. Ogras
Fast Analysis Using Finite Queuing Model for Multilayer NoCs. IEEE Des. Test 40 (6) (2023)
Sumit K. Mandal, Shruti Yadav Narayana, Raid Ayoub, Michael Kishinevsky, Ahmed Abousamra, Ümit Y. Ogras
Fast Performance Analysis for NoCs With Weighted Round-Robin Arbitration and Finite Buffers. IEEE Trans. Very Large Scale Integr. Syst. 31 (5) (2023)
Shruti Yadav Narayana, Sumit K. Mandal, Raid Ayoub, Michael Kishinevsky, Ümit Y. Ogras
A Lightweight Congestion Control Technique for NoCs with Deflection Routing. DATE (2023)
Erick Carvajal Barboza, Mahesh Ketkar, Michael Kishinevsky, Paul Gratz, Jiang Hu
Machine Learning for Microprocessor Performance Bug Localization. CoRR (2023)
Jaroslaw Sydir, Bin Li, Pietro Mercati, Charlie Tai, Ravi R. Iyer, Michael Kishinevsky, Boris Serafimov
DPM-NFV: Dynamic Power Management Framework for 5G User Plane Function using Bayesian Optimization. GLOBECOM (2022)
Qian Li, Bin Li, Pietro Mercati, Ramesh Illikkal, Charlie Tai, Michael Kishinevsky, Christos Kozyrakis
RAMBO: Resource Allocation for Microservices Using Bayesian Optimization. IEEE Comput. Archit. Lett. 20 (1) (2021)
Erick Carvajal Barboza, Sara Jacob, Mahesh Ketkar, Michael Kishinevsky, Paul Gratz, Jiang Hu
Automatic Microprocessor Performance Bug Detection. HPCA (2021)
Sumit K. Mandal, Jie Tong, Raid Ayoub, Michael Kishinevsky, Ahmed Abousamra, Ümit Y. Ogras
Theoretical Analysis and Evaluation of NoCs with Weighted Round-Robin Arbitration. CoRR (2021)
Sumit K. Mandal, Jie Tong, Raid Ayoub, Michael Kishinevsky, Ahmed Abousamra, Ümit Y. Ogras
Theoretical Analysis and Evaluation of NoCs with Weighted Round-Robin Arbitration. ICCAD (2021)
Sumit K. Mandal, Raid Ayoub, Michael Kishinevsky, Mohammad M. Islam, Ümit Y. Ogras
Analytical Performance Modeling of NoCs under Priority Arbitration and Bursty Traffic. IEEE Embed. Syst. Lett. 13 (3) (2021)
Pietro Mercati, Bin Li, Mesut Ali Ergin, Charlie Tai, Michael Kishinevsky, Boris Serafimov, Subhiksha Ravisundar, Eoin Walsh, Thomas Long
MOBO-NFV: Automated Tuning of a Network Function Virtualization System using Multi-Objective Bayesian Optimization. IM (2021)
Ujjwal Gupta, Manoj Babu, Raid Ayoub, Michael Kishinevsky, Francesco Paterna, Suat Gumussoy, Ümit Y. Ogras
An Online Learning Methodology for Performance Modeling of Graphics Processors. CoRR (2020)
Raid Ayoub, Michael Kishinevsky, Sumit K. Mandal, Ümit Y. Ogras
Analytical modeling of NoCs for fast simulation and design exploration (invited). SLIP (2020)
Sumit K. Mandal, Anish Krishnakumar, Raid Ayoub, Michael Kishinevsky, Ümit Y. Ogras
Performance Analysis of Priority-Aware NoCs with Deflection Routing under Traffic Congestion. ICCAD (2020)
Sumit K. Mandal, Ümit Y. Ogras, Janardhan Rao Doppa, Raid Zuhair Ayoub, Michael Kishinevsky, Partha Pratim Pande
Online Adaptive Learning for Runtime Resource Management of Heterogeneous SoCs. CoRR (2020)
Sumit K. Mandal, Ümit Y. Ogras, Janardhan Rao Doppa, Raid Zuhair Ayoub, Michael Kishinevsky, Partha Pratim Pande
Online Adaptive Learning for Runtime Resource Management of Heterogeneous SoCs. DAC (2020)
Sumit K. Mandal, Anish Krishnakumar, Raid Ayoub, Michael Kishinevsky, Ümit Y. Ogras
Performance Analysis of Priority-Aware NoCs with Deflection Routing under Traffic Congestion. CoRR (2020)
Ümit Y. Ogras, Sudeep Pasricha, Michael Kishinevsky, Raid Ayoub
Guest Editors' Introduction: Design and Management of Mobile Platforms: From Smartphones to Wearable Devices. IEEE Des. Test 37 (5) (2020)
Erick Carvajal Barboza, Sara Jacob, Mahesh Ketkar, Michael Kishinevsky, Paul Gratz, Jiang Hu
Automatic Microprocessor Performance Bug Detection. CoRR (2020)
Sudeep Pasricha, Raid Ayoub, Michael Kishinevsky, Sumit K. Mandal, Ümit Y. Ogras
A Survey on Energy Management for Mobile and IoT Devices. IEEE Des. Test 37 (5) (2020)
Sumit K. Mandal, Raid Ayoub, Michael Kishinevsky, Mohammad M. Islam, Ümit Y. Ogras
Analytical Performance Modeling of NoCs under Priority Arbitration and Bursty Traffic. CoRR (2020)
Sumit K. Mandal, Raid Ayoub, Michael Kishinevsky, Ümit Y. Ogras
Analytical Performance Models for NoCs with Multiple Priority Traffic Classes. ACM Trans. Embed. Comput. Syst. 18 (5s) (2019)
Kenneth O'Neal, Philip Brisk, Emily Shriver, Michael Kishinevsky
Hardware-Assisted Cross-Generation Prediction of GPUs Under Design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38 (6) (2019)
Emirhan Poyraz, Prethvi Kashinkunti, Matthew Schuchhardt, Michael Kishinevsky, Niranjan Soundararajan, Gokhan Memik
Understanding the impact of number of CPU cores on user satisfaction in smartphones. MobiQuitous (2019)
David Ke Hong, Ashkan Nikravesh, Z. Morley Mao, Mahesh Ketkar, Michael Kishinevsky
PerfProbe: a systematic, cross-layer performance diagnosis framework for mobile platforms. MOBILESoft@ICSE (2019)
Sumit K. Mandal, Raid Ayoub, Michael Kishinevsky, Ümit Y. Ogras
Analytical Performance Models for NoCs with Multiple Priority Traffic Classes. CoRR (2019)
Ujjwal Gupta, Manoj Babu, Raid Ayoub, Michael Kishinevsky, Francesco Paterna, Suat Gumussoy, Ümit Y. Ogras
An Online Learning Methodology for Performance Modeling of Graphics Processors. IEEE Trans. Computers 67 (12) (2018)
Ujjwal Gupta, Raid Ayoub, Michael Kishinevsky, David Kadjo, Niranjan Soundararajan, Ugurkan Tursun, Ümit Y. Ogras
Dynamic Power Budgeting for Mobile Systems Running Graphics Workloads. IEEE Trans. Multi Scale Comput. Syst. 4 (1) (2018)
Ujjwal Gupta, Manoj Babu, Raid Ayoub, Michael Kishinevsky, Francesco Paterna, Ümit Y. Ogras
STAFF: online learning with stabilized adaptive forgetting factor and feature selection algorithm. DAC (2018)
Francesco Paterna, Ujjwal Gupta, Raid Ayoub, Ümit Y. Ogras, Michael Kishinevsky
Adaptive Performance Sensitivity Model to Support GPU Power Management. ANDARE@PACT (2017)
Kenneth O'Neal, Philip Brisk, Emily Shriver, Michael Kishinevsky
HALWPE: Hardware-Assisted Light Weight Performance Estimation for GPUs. DAC (2017)
Begum Egilmez, Matthew Schuchhardt, Gokhan Memik, Raid Ayoub, Niranjan Soundararajan, Michael Kishinevsky
User-aware Frame Rate Management in Android Smartphones. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Pietro Mercati, Raid Ayoub, Michael Kishinevsky, Eric Samson, Marc Beuchat, Francesco Paterna, Tajana Simunic Rosing
Multi-variable Dynamic Power Management for the GPU Subsystem. DAC (2017)
Ujjwal Gupta, Joseph Campbell, Ümit Y. Ogras, Raid Ayoub, Michael Kishinevsky, Francesco Paterna, Suat Gumussoy
Adaptive performance prediction for integrated GPUs. ICCAD (2016)
Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik
Optimizing mobile display brightness by leveraging human visual perception. CASES (2015)
David Kadjo, Raid Ayoub, Michael Kishinevsky, Paul V. Gratz
A control-theoretic approach for energy efficient CPU-GPU subsystem in mobile platforms. DAC (2015)
Jordi Cortadella, Marc Galceran Oms, Michael Kishinevsky, Sachin S. Sapatnekar
RTL Synthesis: From Logic Synthesis to Automatic Pipelining. Proc. IEEE 103 (11) (2015)
Marco Escalante, Andrew B. Kahng, Michael Kishinevsky, Ümit Y. Ogras, Kambiz Samadi
Multi-product floorplan and uncore design framework for chip multiprocessors. SLIP (2015)
Matthew Schuchhardt, Susmit Jha, Raid Ayoub, Michael Kishinevsky, Gokhan Memik
CAPED: Context-aware personalized display brightness for mobile devices. CASES (2014)
David Kadjo, Ümit Y. Ogras, Raid Ayoub, Michael Kishinevsky, Paul Gratz
Towards platform level power management in mobile systems. SoCC (2014)
Ümit Y. Ogras, Raid Zuhair Ayoub, Michael Kishinevsky, David Kadjo
Managing mobile platform power. ICCAD (2013)
Xi Chen, Zheng Xu, Hyungjun Kim, Paul Gratz, Jiang Hu, Michael Kishinevsky, Ümit Y. Ogras
In-network monitoring and control policy for DVFS of CMP networks-on-chip and last level caches. ACM Trans. Design Autom. Electr. Syst. 18 (4) (2013)
Xi Chen, Zheng Xu, Hyungjun Kim, Paul V. Gratz, Jiang Hu, Michael Kishinevsky, Ümit Y. Ogras, Raid Zuhair Ayoub
Dynamic voltage and frequency scaling for shared resources in multicore processor designs. DAC (2013)
Satrajit Chatterjee, Michael Kishinevsky, Ümit Y. Ogras
xMAS: Quick Formal Modeling of Communication Fabrics to Enable Verification. IEEE Des. Test Comput. 29 (3) (2012)
Xi Chen, Zheng Xu, Hyungjun Kim, Paul Gratz, Jiang Hu, Michael Kishinevsky, Ümit Y. Ogras
In-network Monitoring and Control Policy for DVFS of CMP Networks-on-Chip and Last Level Caches. NOCS (2012)
Daniel E. Holcomb, Alexander Gotmanov, Michael Kishinevsky, Sanjit A. Seshia
Compositional performance verification of NoC designs. MEMOCODE (2012)
Satrajit Chatterjee, Michael Kishinevsky
Automatic generation of inductive invariants from high-level microarchitectural models of communication fabrics. Formal Methods Syst. Des. 40 (2) (2012)
Ümit Y. Ogras, Michael Kishinevsky
Design and optimization of communication fabrics: an industrial perspective. SLIP (2012)
Ümit Y. Ogras, Yunus Emre, Jianping Xu, Timothy Kam, Michael Kishinevsky
Energy-guided exploration of on-chip network design for exa-scale computing. SLIP (2012)
Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky
A Scheduling Strategy for Synchronous Elastic Designs. Fundam. Informaticae 108 (1-2) (2011)
Chen-Ling Chou, Radu Marculescu, Ümit Y. Ogras, Satrajit Chatterjee, Michael Kishinevsky, Dmitrii Loukianov
System interconnect design exploration for embedded MPSoCs. SLIP (2011)
Marc Galceran Oms, Alexander Gotmanov, Jordi Cortadella, Michael Kishinevsky
Microarchitectural Transformations Using Elasticity. ACM J. Emerg. Technol. Comput. Syst. 7 (4) (2011)
Alexander Gotmanov, Satrajit Chatterjee, Michael Kishinevsky
Verifying Deadlock-Freedom of Communication Fabrics. VMCAI (2011)
Michael Kishinevsky, Alexander Gotmanov, Yuriy Viktorov
Challenges in Verifying Communication Fabrics. ITP (2011)
Jordi Cortadella, Marc Galceran Oms, Michael Kishinevsky
Elastic systems. MEMOCODE (2010)
Josep Carmona, Jordi Cortadella, Michael Kishinevsky
New Region-Based Algorithms for Deriving Bounded Petri Nets. IEEE Trans. Computers 59 (3) (2010)
Nikita Nikitin, Satrajit Chatterjee, Jordi Cortadella, Michael Kishinevsky, Ümit Y. Ogras
Physical-Aware Link Allocation and Route Assignment for Chip Multiprocessing. NOCS (2010)
Satrajit Chatterjee, Michael Kishinevsky, Ümit Y. Ogras
Quick formal modeling of communication fabrics to enable verification. HLDVT (2010)
Satrajit Chatterjee, Michael Kishinevsky
Automatic Generation of Inductive Invariants from High-Level Microarchitectural Models of Communication Fabrics. CAV (2010)
Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky
On the Performance Evaluation of Multi-Guarded Marked Graphs with Single-Server Semantics. Discret. Event Dyn. Syst. 20 (3) (2010)
Marc Galceran Oms, Jordi Cortadella, Dmitry Bufistov, Michael Kishinevsky
Automatic microarchitectural pipelining. DATE (2010)
Marc Galceran Oms, Jordi Cortadella, Michael Kishinevsky
Symbolic performance analysis of elastic systems. ICCAD (2010)
David Bañeres, Jordi Cortadella, Michael Kishinevsky
Variable-latency design by function speculation. DATE (2009)
Josep Carmona, Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky
Scheduling Synchronous Elastic Designs. ACSD (2009)
David Bañeres, Jordi Cortadella, Michael Kishinevsky
Timing-driven N-way decomposition. ACM Great Lakes Symposium on VLSI (2009)
Marc Galceran Oms, Jordi Cortadella, Michael Kishinevsky
Speculation in elastic systems. DAC (2009)
Dmitry Bufistov, Jordi Cortadella, Marc Galceran Oms, Jorge Júlvez, Michael Kishinevsky
Retiming and recycling for elastic systems with early evaluation. DAC (2009)
David Bañeres, Jordi Cortadella, Michael Kishinevsky
A Recursive Paradigm to Solve Boolean Relations. IEEE Trans. Computers 58 (4) (2009)
Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alexander Taubin
Elastic Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28 (10) (2009)
Josep Carmona, Jordi Cortadella, Michael Kishinevsky
Genet: A Tool for the Synthesis and Mining of Petri Nets. ACSD (2009)
Josep Carmona, Jordi Cortadella, Michael Kishinevsky
Divide-and-Conquer Strategies for Process Mining. BPM (2009)
Steve Haynal, Timothy Kam, Michael Kishinevsky, Emily Shriver, Xinning Wang
A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study. MEMOCODE (2008)
Josep Carmona, Jordi Cortadella, Michael Kishinevsky
A Region-Based Algorithm for Discovering Petri Nets from Event Logs. BPM (2008)
Josep Carmona, Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev
A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. Petri Nets (2008)
Jordi Cortadella, Michael Kishinevsky, Dmitry Bufistov, Josep Carmona, Jorge Júlvez
Elasticity and Petri Nets. Trans. Petri Nets Other Model. Concurr. 1 (2008)
Timothy Kam, Michael Kishinevsky, Jordi Cortadella, Marc Galceran Oms
Correct-by-construction microarchitectural pipelining. ICCAD (2008)
Michael Kishinevsky, Jordi Cortadella
Time elastic digital systems and Petri Nets. ACSD (2008)
Dmitry Bufistov, Jordi Cortadella, Michael Kishinevsky, Sachin S. Sapatnekar
A general model for performance optimization of sequential systems. ICCAD (2007)
Jordi Cortadella, Michael Kishinevsky
Synchronous Elastic Circuits with Early Evaluation and Token Counterflow. DAC (2007)
Michael Kishinevsky, Sandeep K. Shukla, Ken S. Stevens
Guest Editors' Introduction: GALS Design and Validation. IEEE Des. Test Comput. 24 (5) (2007)
David Bañeres, Jordi Cortadella, Michael Kishinevsky
Layout-aware gate duplication and buffer insertion. DATE (2007)
Michael Kishinevsky, Jordi Cortadella, Bill Grundmann, Sava Krstic, John O'Leary
Synchronous Elastic Circuits. CSR (2006)
Sava Krstic, Jordi Cortadella, Michael Kishinevsky, John O'Leary
Synchronous Elastic Networks. FMCAD (2006)
Jorge Júlvez, Jordi Cortadella, Michael Kishinevsky
Performance analysis of concurrent systems with early evaluation. ICCAD (2006)
Jordi Cortadella, Michael Kishinevsky, Bill Grundmann
Synthesis of synchronous elastic architectures. DAC (2006)
David Bañeres, Jordi Cortadella, Michael Kishinevsky
Dominator-based partitioning for delay optimization. ACM Great Lakes Symposium on VLSI (2006)
Laurent Arditi, Gérard Berry, Michael Kishinevsky
Late Design Changes (ECOs) for Sequentially Optimized Esterel Designs. FMCAD (2004)
David Bañeres, Jordi Cortadella, Michael Kishinevsky
A recursive paradigm to solve Boolean relations. DAC (2004)
Gérard Berry, Michael Kishinevsky, Satnam Singh
System Level Design and Verification Using a Synchronous Language. ICCAD (2003)
Sumit Gupta, Nick Savoiu, Nikil D. Dutt, Rajesh K. Gupta, Alexandru Nicolau, Timothy Kam, Michael Kishinevsky, Shai Rotem
Coordinated transformations for high-level synthesis of high performance microprocessor blocks. DAC (2002)
Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Alex Kondratyev, Luciano Lavagno, Ken S. Stevens, Alexander Taubin, Alexandre Yakovlev
Lazy transition systems and asynchronous circuit synthesis withrelative timing assumptions. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 21 (2) (2002)
Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Alexandre Yakovlev
Hardware and Petri Nets: Application to Asynchronous Circuit Design. ICATPN (2000)
Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev
Logic decomposition of speed-independent circuits. Proc. IEEE 87 (2) (1999)
Jordi Cortadella, Michael Kishinevsky, Steven M. Burns, Ken S. Stevens
Synthesis of asynchronous control circuits with automatically generated relative timing assumptions. ICCAD (1999)
Jordi Cortadella, Michael Kishinevsky, Alex Kondratyev, Luciano Lavagno, Enric Pastor, Alexandre Yakovlev
Decomposition and technology mapping of speed-independent circuits using Boolean relations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18 (9) (1999)

Michael Kishinevsky.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Kishinevsky