| 2025 | ICCAD | Revolution or Hype? Seeking the Limits of Large Models in Hardware Design. | Qiang Xu, Leon Stok, Rolf Drechsler, Xi Wang, Grace Li Zhang, Igor L. Markov |
| 2024 | EDBT | Private and Efficient Federated Numerical Aggregation. | Graham Cormode, Igor L. Markov, Harish Srinivas |
| 2023 | DAC | Ever more optimized simulations of fermionic systems on a quantum computer. | Qingfeng Wang, Ze-Pei Cian, Ming Li, Igor L. Markov, Yunseong Nam |
| 2022 | HPCA | Detecting Qubit-coupling Faults in Ion-trap Quantum Computers. | Andrii Maksymov, Jason Nguyen, Vandiver Chaplin, Yun Seong Nam, Igor L. Markov |
| 2022 | KDD | Looper: An End-to-End ML Platform for Product Decisions. | Igor L. Markov, Hanson Wang, Nitya S. Kasturi, Shaun Singh, Mia R. Garrard, Yin Huang, Sze Wai Celeste Yuen, Sarah Tran, Zehui Wang, Igor Glotov, Tanvi Gupta, Peng Chen, Boshuang Huang, Xiaowen Xie, Michael Belkin, Sal Uryasev, Sam Howie, Eytan Bakshy, Norm Zhou |
| 2021 | CIKM | Prioritizing Original News on Facebook. | Xiuyan Ni, Shujian Bu, Lucas Adams, Igor L. Markov |
| 2021 | DATE | As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation. | Stefan Hillmich, Richard Kueng, Igor L. Markov, Robert Wille |
| 2021 | HPCA | Faster Schrdinger-style simulation of quantum circuits. | Aneeqa Fatima, Igor L. Markov |
| 2020 | ASPDAC | Approximation of Quantum States Using Decision Diagrams. | Alwin Zulehner, Stefan Hillmich, Igor L. Markov, Robert Wille |
| 2020 | DAC | Just Like the Real Thing: Fast Weak Simulation of Quantum Computation. | Stefan Hillmich, Igor L. Markov, Robert Wille |
| 2020 | DAC | Massively Parallel Approximate Simulation of Hard Quantum Circuits. | Igor L. Markov, Aneeqa Fatima, Sergei V. Isakov, Sergio Boixo |
| 2018 | ASPDAC | Optimal die placement for interposer-based 3D ICs. | Sergii Osmolovskyi, Johann Knechtel, Igor L. Markov, Jens Lienig |
| 2014 | ICCAD | Protecting integrated circuits from piracy with test-aware logic locking. | Stephen M. Plaza, Igor L. Markov |
| 2014 | ICCAD | SuperPUF: integrating heterogeneous physically unclonable functions. | Michael Wang, Andrew Yates, Igor L. Markov |
| 2013 | DAC | Taming the complexity of coordinated place and route. | Jin Hu, Myung-Chul Kim, Igor L. Markov |
| 2013 | DATE | ClockPUF: physical unclonable functions based on clock networks. | Yida Yao, MyungBo Kim, Jianmin Li, Igor L. Markov, Farinaz Koushanfar |
| 2013 | ICCAD | High-performance gate sizing with a signoff timer. | Andrew B. Kahng, Seokhyeong Kang, Hyein Lee, Igor L. Markov, Pankit Thapar |
| 2013 | ICCAD | Generalized Boolean symmetries through nested partition refinement. | Hadi Katebi, Karem A. Sakallah, Igor L. Markov |
| 2013 | ICCD | Quipu: High-performance simulation of quantum circuits using stabilizer frames. | Hctor J. Garca, Igor L. Markov |
| 2013 | ICTAI | Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms. | Paolo Codenotti, Hadi Katebi, Karem A. Sakallah, Igor L. Markov |
| 2012 | DAC | ComPLx: A Competitive Primal-dual Lagrange Optimization for Global Placement. | Myung-Chul Kim, Igor L. Markov |
| 2012 | DATE | RTL analysis and modifications for improving at-speed test. | Kai-Hui Chang, Hong-Zu Chou, Igor L. Markov |
| 2012 | ICCAD | Sensitivity-guided metaheuristics for accurate discrete gate sizing. | Jin Hu, Andrew B. Kahng, Seokhyeong Kang, Myung-Chul Kim, Igor L. Markov |
| 2012 | ICCAD | Multiobjective optimization of deadspace, a critical resource for 3D-IC integration. | Johann Knechtel, Igor L. Markov, Jens Lienig, Matthias Thiele |
| 2012 | ICCAD | Progress and challenges in VLSI placement research. | Igor L. Markov, Jin Hu, Myung-Chul Kim |
| 2012 | LPAR | Conflict Anticipation in the Search for Graph Automorphisms. | Hadi Katebi, Karem A. Sakallah, Igor L. Markov |
| 2011 | ICCAD | A SimPLR method for routability-driven placement. | Myung-Chul Kim, Jin Hu, Dong-Jin Lee, Igor L. Markov |
| 2011 | ICCAD | Multilevel tree fusion for robust clock networks. | Dong-Jin Lee, Igor L. Markov |
| 2011 | ICCAD | Algorithmic tuning of clock trees and derived non-tree structures. | Igor L. Markov, Dong-Jin Lee |
| 2010 | DAC | On the costs and benefits of stochasticity in stream processing. | Raj R. Nadakuditi, Igor L. Markov |
| 2010 | DATE | Spinto: High-performance energy minimization in spin glasses. | Hctor J. Garca, Igor L. Markov |
| 2010 | DATE | Large-scale Boolean matching. | Hadi Katebi, Igor L. Markov |
| 2010 | DATE | Contango: Integrated optimization of SoC clock networks. | Dongjin Lee, Igor L. Markov |
| 2010 | ICCAD | SimPL: An effective placement algorithm. | Myung-Chul Kim, Dong-Jin Lee, Igor L. Markov |
| 2010 | ICCAD | Low-power clock trees for CPUs. | Dong-Jin Lee, Myung-Chul Kim, Igor L. Markov |
| 2010 | ICCAD | SPIRE: A retiming-based physical-synthesis transformation system. | David A. Papa, Smita Krishnaswamy, Igor L. Markov |
| 2010 | SAT | Symmetry and Satisfiability: An Update. | Hadi Katebi, Karem A. Sakallah, Igor L. Markov |
| 2009 | DAC | Improving testability and soft-error resilience through retiming. | Smita Krishnaswamy, Igor L. Markov, John P. Hayes |
| 2009 | DATE | Customizing IP cores for system-on-chip designs using extensive external don't-cares. | Kai-Hui Chang, Valeria Bertacco, Igor L. Markov |
| 2009 | ICCAD | CRISP: Congestion reduction by iterated spreading during placement. | Jarrod A. Roy, Natarajan Viswanathan, Gi-Joon Nam, Charles J. Alpert, Igor L. Markov |
| 2008 | DAC | Faster symmetry discovery using sparsity of symmetries. | Paul T. Darga, Karem A. Sakallah, Igor L. Markov |
| 2008 | DAC | On the role of timing masking in reliable logic circuit design. | Smita Krishnaswamy, Igor L. Markov, John P. Hayes |
| 2008 | DAC | Protecting bus-based hardware IP by secret sharing. | Jarrod A. Roy, Farinaz Koushanfar, Igor L. Markov |
| 2008 | DATE | Random Stimulus Generation using Entropy and XOR Constraints. | Stephen Plaza, Igor L. Markov, Valeria Bertacco |
| 2008 | DATE | EPIC: Ending Piracy of Integrated Circuits. | Jarrod A. Roy, Farinaz Koushanfar, Igor L. Markov |
| 2008 | ICCAD | On the decreasing significance of large standard cells in technology mapping. | Jae-sun Seo, Igor L. Markov, Dennis Sylvester, David T. Blaauw |
| 2007 | ASPDAC | Safe Delay Optimization for Physical Synthesis. | Kai-Hui Chang, Igor L. Markov, Valeria Bertacco |
| 2007 | ASPDAC | Fixing Design Errors with Counterexamples and Resynthesis. | Kai-Hui Chang, Igor L. Markov, Valeria Bertacco |
| 2007 | ASPDAC | Node Mergers in the Presence of Don't Cares. | Stephen Plaza, Kai-Hui Chang, Igor L. Markov, Valeria Bertacco |
| 2007 | ASPDAC | ECO-system: Embracing the Change in Placement. | Jarrod A. Roy, Igor L. Markov |
| 2007 | ICCAD | Automating post-silicon debugging and repair. | Kai-Hui Chang, Igor L. Markov, Valeria Bertacco |
| 2007 | ICCAD | Enhancing design robustness with reliability-aware resynthesis and logic simulation. | Smita Krishnaswamy, Stephen Plaza, Igor L. Markov, John P. Hayes |
| 2007 | ICCAD | High-performance routing at the nanometer scale. | Jarrod A. Roy, Igor L. Markov |
| 2007 | ICCAD | Checking equivalence of quantum circuits and states. | George F. Viamontes, Igor L. Markov, John P. Hayes |
| 2006 | ASPDAC | Utility of the OpenAccess database in academic research. | David A. Papa, Igor L. Markov, Philip Chong |
| 2006 | DAC | Constraint-driven floorplan repair. | Michael D. Moffitt, Aaron N. Ng, Igor L. Markov, Martha E. Pollack |
| 2006 | ETS | On-Chip Test Generation Using Linear Subspaces. | Ramashis Das, Igor L. Markov, John P. Hayes |
| 2005 | ASPDAC | Dynamic symmetry-breaking for improved Boolean optimization. | Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah |
| 2005 | ASPDAC | Synthesis of quantum logic circuits. | Vivek V. Shende, Stephen S. Bullock, Igor L. Markov |
| 2005 | DATE | Accurate Reliability Evaluation and Enhancement via Probabilistic Transfer Matrices. | Smita Krishnaswamy, George F. Viamontes, Igor L. Markov, John P. Hayes |
| 2005 | DATE | Uniformly-Switching Logic for Cryptographic Hardware. | Igor L. Markov, Dmitri Maslov |
| 2005 | ETS | Logic circuit testing for transient faults. | Smita Krishnaswamy, Igor L. Markov, John P. Hayes |
| 2005 | ICCAD | Simulation-based bug trace minimization with BMC-based refinement. | Kai-Hui Chang, Valeria Bertacco, Igor L. Markov |
| 2005 | ICCAD | Post-placement rewiring and rebuffering by exhaustive search for functional symmetries. | Kai-Hui Chang, Igor L. Markov, Valeria Bertacco |
| 2004 | ASPDAC | ShatterPB: symmetry-breaking for pseudo-Boolean formulas. | Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah |
| 2004 | DAC | Exploiting structure in symmetry detection for CNF. | Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah, Igor L. Markov |
| 2004 | DAC | AMUSE: a minimally-unsatisfiable subformula extractor. | Yoonna Oh, Maher N. Mneimneh, Zaher S. Andraus, Karem A. Sakallah, Igor L. Markov |
| 2004 | DATE | Boosting: Min-Cut Placement with Improved Signal Delay. | Andrew B. Kahng, Igor L. Markov, Sherief Reda |
| 2004 | DATE | Breaking Instance-Independent Symmetries in Exact Graph Coloring. | Arathi Ramani, Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah |
| 2004 | DATE | Smaller Two-Qubit Circuits for Quantum Communication and Computation. | Vivek V. Shende, Igor L. Markov, Stephen S. Bullock |
| 2004 | DATE | High-Performance QuIDD-Based Simulation of Quantum Circuits. | George F. Viamontes, Igor L. Markov, John P. Hayes |
| 2004 | ICCAD | Unification of partitioning, placement and floorplanning. | Saurabh N. Adya, S. Chaturvedi, Jarrod A. Roy, David A. Papa, Igor L. Markov |
| 2003 | ASPDAC | Gate-level simulation of quantum circuits. | George F. Viamontes, Manoj Rajagopalan, Igor L. Markov, John P. Hayes |
| 2003 | DAC | Shatter: efficient symmetry-breaking for boolean satisfiability. | Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah |
| 2003 | DAC | An arbitrary twoqubit computation In 23 elementary gates or less. | Stephen S. Bullock, Igor L. Markov |
| 2003 | ICCAD | On Whitespace and Stability in Mixed-Size Placement and Physical Synthesis. | Saurabh N. Adya, Igor L. Markov, Paul Villarrubia |
| 2003 | IJCAI | Efficient Symmetry Breaking for Boolean Satisfiability. | Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov |
| 2003 | IJCAI | Combining Two Local Search Approaches to Hypergraph Partitioning. | Arathi Ramani, Igor L. Markov |
| 2003 | VTS | Fault Testing for Reversible Circuits. | Ketan N. Patel, John P. Hayes, Igor L. Markov |
| 2002 | ALENEX | A Compressed Breadth-First Search for Satisfiability. | DoRon B. Motter, Igor L. Markov |
| 2002 | DAC | Solving difficult SAT instances in the presence of symmetry. | Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah |
| 2002 | ICCAD | Generic ILP versus specialized 0-1 ILP: an update. | Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah |
| 2002 | ICCAD | Reversible logic circuit synthesis. | Vivek V. Shende, Aditya K. Prasad, Igor L. Markov, John P. Hayes |
| 2002 | ICCD | Improving the Efficiency of Circuit-to-BDD Conversion by Gate and Input Ordering. | Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah |
| 2001 | ICCAD | Faster SAT and Smaller BDDs via Common Function Structure. | Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah |
| 2001 | ICCD | Fixed-outline Floorplanning through Better Local Search. | Saurabh N. Adya, Igor L. Markov |
| 2000 | ASPDAC | Improved algorithms for hypergraph bipartitioning. | Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov |
| 2000 | ASPDAC | Analytical minimization of half-perimeter wirelength. | Andrew A. Kennings, Igor L. Markov |
| 2000 | DAC | GTX: the MARCO GSRC technology extrapolation system. | Andrew E. Caldwell, Yu Cao, Andrew B. Kahng, Farinaz Koushanfar, Hua Lu, Igor L. Markov, Michael Oliver, Dirk Stroobandt, Dennis Sylvester |
| 2000 | DAC | Can recursive bisection alone produce routable placements? | Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov |
| 2000 | DAC | Web-based frameworks to enable CAD RD (abstract). | Olivier Coudert, Igor L. Markov, Christoph Meinel, Ellen Sentovich |
| 1999 | ALENEX | Design and Implementation of the Fiduccia-Mattheyses Heuristic for VLSI Netlist Partitioning. | Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov |
| 1999 | ASPDAC | Function Smoothing with Applications to VLSI Layout. | Ross Baldick, Andrew B. Kahng, Andrew A. Kennings, Igor L. Markov |
| 1999 | DAC | Hypergraph Partitioning for VLSI CAD: Methodology for Heuristic Development, Experimentation and Reporting. | Andrew E. Caldwell, Andrew B. Kahng, Andrew A. Kennings, Igor L. Markov |
| 1999 | DAC | Hypergraph Partitioning with Fixed Vertices. | Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov |
| 1998 | DAC | Watermarking Techniques for Intellectual Property Protection. | Andrew B. Kahng, John C. Lach, William H. Mangione-Smith, Stefanus Mantik, Igor L. Markov, Miodrag Potkonjak, Paul Tucker, Huijuan Wang, Gregory Wolfe |
| 1998 | DAC | Robust IP Watermarking Methodologies for Physical Design. | Andrew B. Kahng, Stefanus Mantik, Igor L. Markov, Miodrag Potkonjak, Paul Tucker, Huijuan Wang, Gregory Wolfe |
| 1997 | DAC | Quadratic Placement Revisited. | Charles J. Alpert, Tony F. Chan, Dennis J.-H. Huang, Igor L. Markov, Kenneth Yan |