Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIgor L. Markov
Person information
- affiliation: Facebook Inc., Menlo Park, CA, USA
- affiliation: University of Michigan, EECS Department, Ann Arbor, USA
- affiliation (PhD 2001): University of California, Los Angeles, CA, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
Books and Theses
- 2013
[b5]Smita Krishnaswamy, Igor L. Markov, John P. Hayes:
Design, Analysis and Test of Logic Circuits Under Uncertainty. Lecture Notes in Electrical Engineering 115, Springer 2013, ISBN 978-90-481-9643-2, pp. 1-120- [b4]David A. Papa, Igor L. Markov:
Multi-Objective Optimization in Physical Synthesis of Integrated Circuits. Lecture Notes in Electrical Engineering 166, Springer 2013, ISBN 978-1-4614-1355-4, pp. 3-155 - 2011
- [b3]Andrew B. Kahng, Jens Lienig, Igor L. Markov, Jin Hu:
VLSI Physical Design - From Graph Partitioning to Timing Closure. Springer 2011, ISBN 978-90-481-9590-9, pp. I-XI, 1-310 - 2009
- [b2]George F. Viamontes, Igor L. Markov, John P. Hayes:
Quantum Circuit Simulation. Springer 2009, ISBN 978-90-481-3064-1, pp. I-X, 1-190 - [b1]Kai-Hui Chang, Igor L. Markov, Valeria Bertacco:
Functional Design Errors in Digital Circuits - Diagnosis, Correction and Repair. Lecture Notes in Electrical Engineering 32, Springer 2009, ISBN 978-1-4020-9364-7, pp. 3-185 [contents]
Journal Articles
- 2024
- [j86]Pavlos Athanasios Apostolopoulos
, Zehui Wang, Hanson Wang, Tenghyu Xu, Chad Zhou, Kittipat Virochsiri, Norm Zhou, Igor L. Markov:
Personalization for web-based services using offline reinforcement learning. Mach. Learn. 113(5): 3049-3071 (2024) - 2023
- [j85]Graham Cormode, Igor L. Markov:
Federated Calibration and Evaluation of Binary Classifiers. Proc. VLDB Endow. 16(11): 3253-3265 (2023) - [j84]Igor L. Markov, Fan Yang, Li Shang, Hai Zhou:
Guest Editor's Introduction: Machine Learning for VLSI Physical Design. ACM Trans. Design Autom. Electr. Syst. 28(4): 48:1-48:3 (2023) - 2019
- [j83]Mohamed M. Sabry Aly, Tony F. Wu, Andrew Bartolo, Yash H. Malviya, William Hwang, Gage Hills, Igor L. Markov, Mary Wootters, Max M. Shulaker, H.-S. Philip Wong, Subhasish Mitra:
The N3XT Approach to Energy-Efficient Abundant-Data Computing. Proc. IEEE 107(1): 19-48 (2019) - 2016
- [j82]Trevor N. Mudge, Frederic T. Chong, Igor L. Markov, Resit Sendag, Joshua J. Yi, Derek Chiou:
Impact of Future Technologies on Architecture. IEEE Micro 36(4): 48-56 (2016) - 2015
- [j81]Mohamed M. Sabry, Mingyu Gao, Gage Hills, Chi-Shuen Lee, Greg Pitner, Max M. Shulaker, Tony F. Wu, Mehdi Asheghi, Jeffrey Bokor, Franz Franchetti, Kenneth E. Goodson, Christos Kozyrakis, Igor L. Markov, Kunle Olukotun, Larry T. Pileggi, Eric Pop, Jan M. Rabaey, Christopher Ré, H.-S. Philip Wong, Subhasish Mitra:
Energy-Efficient Abundant-Data Computing: The N3XT 1, 000x. Computer 48(12): 24-33 (2015) - [j80]Igor L. Markov, Jin Hu, Myung-Chul Kim:
Progress and Challenges in VLSI Placement Research. Proc. IEEE 103(11): 1985-2003 (2015) - [j79]Héctor J. García, Igor L. Markov:
Simulation of Quantum Circuits via Stabilizer Frames. IEEE Trans. Computers 64(8): 2323-2336 (2015) - [j78]Stephen M. Plaza, Igor L. Markov:
Solving the Third-Shift Problem in IC Piracy With Test-Aware Logic Locking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 34(6): 961-971 (2015) - 2014
- [j77]Igor L. Markov:
Limits on fundamental limits to computation. Nat. 512(7513): 147-154 (2014) - [j76]Héctor J. García, Igor L. Markov, Andrew W. Cross:
On the geometry of stabilizer states. Quantum Inf. Comput. 14(7-8): 683-720 (2014) - 2013
- [j75]Myung-Chul Kim, Dongjin Lee, Igor L. Markov:
SimPL: an algorithm for placing VLSI circuits. Commun. ACM 56(6): 105-113 (2013) - [j74]Mehdi Saeedi, Igor L. Markov:
Synthesis and optimization of reversible circuits - a survey. ACM Comput. Surv. 45(2): 21:1-21:34 (2013) - [j73]Raj Rao Nadakuditi, Igor L. Markov:
On bottleneck analysis in stochastic stream processing. ACM Trans. Design Autom. Electr. Syst. 18(3): 34:1-34:20 (2013) - 2012
- [j72]Igor L. Markov, Mehdi Saeedi:
Constant-optimized quantum circuits for modular multiplication and exponentiation. Quantum Inf. Comput. 12(5-6): 361-394 (2012) - [j71]Myung-Chul Kim, Dongjin Lee, Igor L. Markov:
SimPL: An Effective Placement Algorithm. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31(1): 50-60 (2012) - [j70]Dongjin Lee, Igor L. Markov:
Obstacle-Aware Clock-Tree Shaping During Placement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31(2): 205-216 (2012) - [j69]Johann Knechtel, Igor L. Markov, Jens Lienig:
Assembling 2-D Blocks Into 3-D Chips. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 31(2): 228-241 (2012) - 2011
- [j68]Igor L. Markov, Yaoyun Shi:
Constant-Degree Graph Expansions that Preserve Treewidth. Algorithmica 59(4): 461-470 (2011) - [j67]Igor L. Markov:
EDA: Synergy or sum of the parts? [review of "Electronic Design Automation: Synthesis, Verification and Test (Systems on Silicon" (Wang, L.-T., Eds., et al; 2009)]. IEEE Des. Test Comput. 28(1): 78-79 (2011) - [j66]Igor L. Markov:
Getting Your Bits in Order. IEEE Des. Test Comput. 28(4): 98-101 (2011) - [j65]David A. Papa, Charles J. Alpert, Cliff C. N. Sze, Zhuo Li, Natarajan Viswanathan, Gi-Joon Nam, Igor L. Markov:
Physical Synthesis with Clock-Network Optimization for Large Systems on Chips. IEEE Micro 31(4): 51-62 (2011) - [j64]Dongjin Lee, Igor L. Markov:
CONTANGO: Integrated Optimization of SoC Clock Networks. VLSI Design 2011: 407507:1-407507:12 (2011) - 2010
- [j63]Jarrod A. Roy, Farinaz Koushanfar, Igor L. Markov:
Ending Piracy of Integrated Circuits. Computer 43(10): 30-38 (2010) - [j62]Igor L. Markov:
Master numerical tasks with ease. IEEE Des. Test Comput. 27(1): 93-95 (2010) - [j61]Igor L. Markov:
Chips in 3D. IEEE Des. Test Comput. 27(4): 68-69 (2010) - [j60]David A. Papa, Michael D. Moffitt, Charles J. Alpert, Igor L. Markov:
Speeding Up Physical Synthesis with Transactional Timing Analysis. IEEE Des. Test Comput. 27(5): 14-25 (2010) - [j59]Shigeru Yamashita, Igor L. Markov:
Fast equivalence - checking for quantum circuits. Quantum Inf. Comput. 10(9&10): 721-734 (2010) - [j58]Kai-Hui Chang, Valeria Bertacco, Igor L. Markov, Alan Mishchenko:
Logic synthesis and circuit customization using extensive external don't-cares. ACM Trans. Design Autom. Electr. Syst. 15(3): 26:1-26:24 (2010) - 2009
- [j57]Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah:
Dynamic symmetry-breaking for Boolean satisfiability. Ann. Math. Artif. Intell. 57(1): 59-73 (2009) - [j56]Kai-Hui Chang, David A. Papa, Igor L. Markov, Valeria Bertacco:
Incremental Verification with Error Detection, Diagnosis, and Visualization. IEEE Des. Test Comput. 26(2): 34-43 (2009) - [j55]Igor L. Markov:
Book Review: A physical-design picture book. IEEE Des. Test Comput. 26(4): 100-101 (2009) - [j54]Jarrod A. Roy, Aaron N. Ng, Rajat Aggarwal, Venky Ramachandran, Igor L. Markov:
Solving modern mixed-size placement instances. Integr. 42(2): 262-275 (2009) - [j53]Vivek V. Shende, Igor L. Markov:
On the CNOT-cost of TOFFOLI gates. Quantum Inf. Comput. 9(5&6): 461-486 (2009) - [j52]Smita Krishnaswamy, Stephen Plaza, Igor L. Markov, John P. Hayes:
Signature-Based SER Analysis and Design of Logic Circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 28(1): 74-86 (2009) - 2008
- [j51]Kai-Hui Chang, Igor L. Markov, Valeria Bertacco:
Automating Postsilicon Debugging and Repair. Computer 41(7): 47-54 (2008) - [j50]Kai-Hui Chang, Igor L. Markov, Valeria Bertacco:
SafeResynth: A new technique for physical synthesis. Integr. 41(4): 544-556 (2008) - [j49]Ketan N. Patel, Igor L. Markov, John P. Hayes:
Optimal synthesis of linear reversible circuits. Quantum Inf. Comput. 8(3): 282-294 (2008) - [j48]Igor L. Markov, Yaoyun Shi:
Simulating Quantum Computation by Contracting Tensor Networks. SIAM J. Comput. 38(3): 963-981 (2008) - [j47]Kai-Hui Chang, Igor L. Markov, Valeria Bertacco:
Fixing Design Errors With Counterexamples and Resynthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(1): 184-188 (2008) - [j46]Jarrod A. Roy, Igor L. Markov:
High-Performance Routing at the Nanometer Scale. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(6): 1066-1077 (2008) - [j45]Stephen Plaza, Igor L. Markov, Valeria Bertacco:
Optimizing Nonmonotonic Interconnect Using Functional Simulation and Logic Restructuring. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(12): 2107-2119 (2008) - [j44]David A. Papa, Tao Luo, Michael D. Moffitt, Chin Ngai Sze, Zhuo Li, Gi-Joon Nam, Charles J. Alpert, Igor L. Markov:
RUMBLE: An Incremental Timing-Driven Physical-Synthesis Optimization Algorithm. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 27(12): 2156-2168 (2008) - [j43]Smita Krishnaswamy, George F. Viamontes, Igor L. Markov, John P. Hayes:
Probabilistic transfer matrices in symbolic reliability analysis of logic circuits. ACM Trans. Design Autom. Electr. Syst. 13(1): 8:1-8:35 (2008) - [j42]Michael D. Moffitt, Jarrod A. Roy, Igor L. Markov, Martha E. Pollack:
Constraint-driven floorplan repair. ACM Trans. Design Autom. Electr. Syst. 13(4): 67:1-67:13 (2008) - [j41]Jarrod A. Roy, David A. Papa, Igor L. Markov:
Fine Control of Local Whitespace in Placement. VLSI Design 2008: 517919:1-517919:10 (2008) - 2007
- [j40]Smita Krishnaswamy, Igor L. Markov, John P. Hayes:
Tracking Uncertainty with Probabilistic Logic Circuit Testing. IEEE Des. Test Comput. 24(4): 312-321 (2007) - [j39]Igor L. Markov, Louis Scheffer, Dirk Stroobandt:
Special issue on System-Level Interconnect Prediction. Integr. 40(4): 381 (2007) - [j38]Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah:
Symmetry breaking for pseudo-Boolean formulas. ACM J. Exp. Algorithmics 12: 1.3:1-1.3:14 (2007) - [j37]Fadi A. Aloul, Arathi Ramani, Karem A. Sakallah, Igor L. Markov:
Solution and Optimization of Systems of Pseudo-Boolean Constraints. IEEE Trans. Computers 56(10): 1415-1424 (2007) - [j36]Kai-Hui Chang, Valeria Bertacco, Igor L. Markov:
Simulation-Based Bug Trace Minimization With BMC-Based Refinement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(1): 152-165 (2007) - [j35]Jarrod A. Roy, Igor L. Markov:
Seeing the Forest and the Trees: Steiner Wirelength Optimization in Placement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(4): 632-644 (2007) - [j34]Jarrod A. Roy, Igor L. Markov:
ECO-System: Embracing the Change in Placement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 26(12): 2173-2185 (2007) - [j33]Kai-Hui Chang, Igor L. Markov, Valeria Bertacco:
Postplacement rewiring by exhaustive search for functional symmetries. ACM Trans. Design Autom. Electr. Syst. 12(3): 32:1-32:21 (2007) - 2006
- [j32]Krysta M. Svore, Alfred V. Aho, Andrew W. Cross, Isaac L. Chuang, Igor L. Markov:
A Layered Software Architecture for Quantum Computing Design Tools. Computer 39(1): 74-83 (2006) - [j31]Saurabh N. Adya, Igor L. Markov, Paul G. Villarrubia:
On whitespace and stability in physical synthesis. Integr. 39(4): 340-362 (2006) - [j30]Arathi Ramani, Igor L. Markov, Karem A. Sakallah, Fadi A. Aloul:
Breaking Instance-Independent Symmetries In Exact Graph Coloring. J. Artif. Intell. Res. 26: 289-322 (2006) - [j29]Aditya K. Prasad, Vivek V. Shende, Igor L. Markov, John P. Hayes, Ketan N. Patel:
Data structures and algorithms for simplifying reversible circuits. ACM J. Emerg. Technol. Comput. Syst. 2(4): 277-293 (2006) - [j28]Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov:
Efficient Symmetry Breaking for Boolean Satisfiability. IEEE Trans. Computers 55(5): 549-558 (2006) - [j27]Vivek V. Shende, Stephen S. Bullock, Igor L. Markov:
Synthesis of quantum-logic circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(6): 1000-1010 (2006) - [j26]Jarrod A. Roy, Saurabh N. Adya, David A. Papa, Igor L. Markov:
Min-cut floorplacement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25(7): 1313-1326 (2006) - 2005
- [j25]DoRon B. Motter, Jarrod A. Roy, Igor L. Markov:
Resolution cannot polynomially simulate compressed-BFS. Ann. Math. Artif. Intell. 44(1-2): 121-156 (2005) - [j24]George F. Viamontes, Igor L. Markov, John P. Hayes:
Is quantum search practical? Comput. Sci. Eng. 7(3): 62-70 (2005) - [j23]Vivek V. Shende, Igor L. Markov:
Quantum circuits for incompletely specified two-qubit operators. Quantum Inf. Comput. 5(1): 49-57 (2005) - [j22]George F. Viamontes, Igor L. Markov, John P. Hayes:
Graph-based simulation of quantum computation in the density matrix representation. Quantum Inf. Comput. 5(2): 113-130 (2005) - [j21]Saurabh N. Adya, Igor L. Markov:
Combinatorial techniques for mixed-size placement. ACM Trans. Design Autom. Electr. Syst. 10(1): 58-90 (2005) - 2004
- [j20]Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah:
MINCE: A Static Global Variable-Ordering Heuristic for SAT Search and BDD Manipulation. J. Univers. Comput. Sci. 10(12): 1562-1596 (2004) - [j19]Stephen S. Bullock, Igor L. Markov:
Asymptotically optimal circuits for arbitrary n-qubit diagonal comutations. Quantum Inf. Comput. 4(1): 27-47 (2004) - [j18]Saurabh N. Adya, Mehmet Can Yildiz, Igor L. Markov, Paul Villarrubia, Phiroze N. Parakh, Patrick H. Madden:
Benchmarking for large-scale placement and beyond. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(4): 472-487 (2004) - [j17]Ketan N. Patel, John P. Hayes, Igor L. Markov:
Fault testing for reversible circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23(8): 1220-1230 (2004) - [j16]Ketan N. Patel, Igor L. Markov:
Error-correction and crosstalk avoidance in DSM busses. IEEE Trans. Very Large Scale Integr. Syst. 12(10): 1076-1080 (2004) - 2003
- [j15]George F. Viamontes, Igor L. Markov, John P. Hayes:
Improving Gate-Level Simulation of Quantum Circuits. Quantum Inf. Process. 2(5): 347-380 (2003) - [j14]Vivek V. Shende, Aditya K. Prasad, Igor L. Markov, John P. Hayes:
Synthesis of reversible logic circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(6): 710-722 (2003) - [j13]Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah:
Solving difficult instances of Boolean satisfiability in the presence of symmetry. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(9): 1117-1137 (2003) - [j12]Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov:
Hierarchical whitespace allocation in top-down placement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 22(11): 1550-1556 (2003) - [j11]Yu Cao, Chenming Hu, Xuejue Huang, Andrew B. Kahng, Igor L. Markov, Michael Oliver, Dirk Stroobandt, Dennis Sylvester:
Improved a priori interconnect predictions and technology extrapolation in the GTX system. IEEE Trans. Very Large Scale Integr. Syst. 11(1): 3-14 (2003) - [j10]Saurabh N. Adya, Igor L. Markov:
Fixed-outline floorplanning: enabling hierarchical design. IEEE Trans. Very Large Scale Integr. Syst. 11(6): 1120-1135 (2003) - 2002
- [j9]Andrew E. Caldwell, Igor L. Markov:
Toward CAD-IP Reuse: A Web Bookshelf of Fundamental Algorithms. IEEE Des. Test Comput. 19(3): 72-81 (2002) - 2001
- [j8]Andrew B. Kahng, John C. Lach, William H. Mangione-Smith, Stefanus Mantik, Igor L. Markov, Miodrag Potkonjak, Paul Tucker, Huijuan Wang, Gregory Wolfe:
Constraint-based watermarking techniques for design IP protection. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 20(10): 1236-1252 (2001) - 2000
- [j7]Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov:
Design and Implementation of Move-Based Heuristics for VLSI Hypergraph Partitioning. ACM J. Exp. Algorithmics 5: 5 (2000) - [j6]Charles J. Alpert, Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov:
Hypergraph partitioning with fixed vertices [VLSI CAD]. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(2): 267-272 (2000) - [j5]Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov:
Optimal partitioners and end-case placers for standard-cell layout. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(11): 1304-1313 (2000) - [j4]Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov:
Iterative Partitioning with Varying Node Weights. VLSI Design 11(3): 249-258 (2000) - 1999
- [j3]Andrew E. Caldwell, Andrew B. Kahng, Stefanus Mantik, Igor L. Markov, Alexander Zelikovsky:
On wirelength estimations for row-based placement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 18(9): 1265-1278 (1999) - [j2]Charles J. Alpert, Andrew E. Caldwell, Tony F. Chan, Dennis J.-H. Huang, Andrew B. Kahng, Igor L. Markov, M. S. Moroz:
Analytical Engines are Unnecessary in Top-down Partitioning-based Placement. VLSI Design 10(1): 99-116 (1999) - 1998
- [j1]Charles J. Alpert, Tony F. Chan, Andrew B. Kahng, Igor L. Markov, Pep Mulet:
Faster minimization of linear wirelength for global placement. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 17(1): 3-13 (1998)
Conference and Workshop Papers
- 2024
- [c139]Graham Cormode, Igor L. Markov, Harish Srinivas:
Private and Efficient Federated Numerical Aggregation. EDBT 2024: 734-742 - 2023
- [c138]Qingfeng Wang, Ze-Pei Cian, Ming Li, Igor L. Markov, Yunseong Nam:
Ever more optimized simulations of fermionic systems on a quantum computer. DAC 2023: 1-6 - 2022
- [c137]Andrii Maksymov, Jason Nguyen, Vandiver Chaplin, Yun Seong Nam, Igor L. Markov:
Detecting Qubit-coupling Faults in Ion-trap Quantum Computers. HPCA 2022: 387-399 - [c136]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:
Looper: An End-to-End ML Platform for Product Decisions. KDD 2022: 3513-3523 - 2021
- [c135]Xiuyan Ni, Shujian Bu, Lucas Adams, Igor L. Markov:
Prioritizing Original News on Facebook. CIKM 2021: 4046-4054 - [c134]Stefan Hillmich, Richard Kueng, Igor L. Markov, Robert Wille:
As Accurate as Needed, as Efficient as Possible: Approximations in DD-based Quantum Circuit Simulation. DATE 2021: 188-193 - [c133]Aneeqa Fatima, Igor L. Markov:
Faster Schrödinger-style simulation of quantum circuits. HPCA 2021: 194-207 - [c132]Nitya Kasturi, Igor L. Markov:
Text Ranking and Classification using Data Compression. ICBINB@NeurIPS 2021: 48-53 - 2020
- [c131]Alwin Zulehner, Stefan Hillmich, Igor L. Markov, Robert Wille:
Approximation of Quantum States Using Decision Diagrams. ASP-DAC 2020: 121-126 - [c130]Stefan Hillmich, Igor L. Markov, Robert Wille:
Just Like the Real Thing: Fast Weak Simulation of Quantum Computation. DAC 2020: 1-6 - [c129]Igor L. Markov, Aneeqa Fatima, Sergei V. Isakov, Sergio Boixo:
Massively Parallel Approximate Simulation of Hard Quantum Circuits. DAC 2020: 1-6 - 2018
- [c128]Sergii Osmolovskyi, Johann Knechtel, Igor L. Markov, Jens Lienig:
Optimal die placement for interposer-based 3D ICs. ASP-DAC 2018: 513-520 - 2014
- [c127]Stephen M. Plaza, Igor L. Markov:
Protecting integrated circuits from piracy with test-aware logic locking. ICCAD 2014: 262-269 - [c126]Michael Wang, Andrew Yates, Igor L. Markov:
SuperPUF: integrating heterogeneous physically unclonable functions. ICCAD 2014: 454-461 - 2013
- [c125]Ismail Bustany, Igor L. Markov, Martin D. F. Wong:
The nature of optimization problem challenges in physical synthesis. ACC 2013: 6057-6059 - [c124]Jin Hu, Myung-Chul Kim, Igor L. Markov:
Taming the complexity of coordinated place and route. DAC 2013: 150:1-150:7 - [c123]Yida Yao, MyungBo Kim, Jianmin Li, Igor L. Markov, Farinaz Koushanfar:
ClockPUF: physical unclonable functions based on clock networks. DATE 2013: 422-427 - [c122]Andrew B. Kahng, Seokhyeong Kang, Hyein Lee, Igor L. Markov, Pankit Thapar:
High-performance gate sizing with a signoff timer. ICCAD 2013: 450-457 - [c121]Hadi Katebi, Karem A. Sakallah, Igor L. Markov:
Generalized Boolean symmetries through nested partition refinement. ICCAD 2013: 763-770 - [c120]Héctor J. García, Igor L. Markov:
Quipu: High-performance simulation of quantum circuits using stabilizer frames. ICCD 2013: 404-410 - [c119]Paolo Codenotti, Hadi Katebi, Karem A. Sakallah, Igor L. Markov:
Conflict Analysis and Branching Heuristics in the Search for Graph Automorphisms. ICTAI 2013: 907-914 - [c118]R. Iris Bahar, Alex K. Jones, Srinivas Katkoori, Patrick H. Madden, Diana Marculescu, Igor L. Markov:
"Scaling" the impact of EDA education Preliminary findings from the CCC workshop series on extreme scale design automation. MSE 2013: 64-67 - 2012
- [c117]Tim Güneysu, Igor L. Markov, André Weimerskirch:
Securely Sealing Multi-FPGA Systems. ARC 2012: 276-289 - [c116]Hadi Katebi, Karem A. Sakallah, Igor L. Markov:
Graph Symmetry Detection and Canonical Labeling: Differences and Synergies. Turing-100 2012: 181-195 - [c115]Myung-Chul Kim, Igor L. Markov:
ComPLx: A Competitive Primal-dual Lagrange Optimization for Global Placement. DAC 2012: 747-752 - [c114]Kai-Hui Chang, Hong-Zu Chou, Igor L. Markov:
RTL analysis and modifications for improving at-speed test. DATE 2012: 400-405 - [c113]Jin Hu, Andrew B. Kahng, Seokhyeong Kang, Myung-Chul Kim, Igor L. Markov:
Sensitivity-guided metaheuristics for accurate discrete gate sizing. ICCAD 2012: 233-239 - [c112]Igor L. Markov, Jin Hu, Myung-Chul Kim:
Progress and challenges in VLSI placement research. ICCAD 2012: 275-282 - [c111]Johann Knechtel, Igor L. Markov, Jens Lienig, Matthias Thiele:
Multiobjective optimization of deadspace, a critical resource for 3D-IC integration. ICCAD 2012: 705-712 - [c110]Myung-Chul Kim, Natarajan Viswanathan, Charles J. Alpert, Igor L. Markov, Shyam Ramji:
MAPLE: multilevel adaptive placement for mixed-size designs. ISPD 2012: 193-200 - [c109]Hadi Katebi, Karem A. Sakallah, Igor L. Markov:
Conflict Anticipation in the Search for Graph Automorphisms. LPAR 2012: 243-257 - 2011
- [c108]Myung-Chul Kim, Jin Hu, Dongjin Lee, Igor L. Markov:
A SimPLR method for routability-driven placement. ICCAD 2011: 67-73 - [c107]Igor L. Markov, Dongjin Lee:
Algorithmic tuning of clock trees and derived non-tree structures. ICCAD 2011: 279-282 - [c106]Dongjin Lee, Igor L. Markov:
Multilevel tree fusion for robust clock networks. ICCAD 2011: 632-639 - [c105]Johann Knechtel, Igor L. Markov, Jens Lienig:
Assembling 2D blocks into 3D chips. ISPD 2011: 81-88 - [c104]Dongjin Lee, Igor L. Markov:
Obstacle-aware clock-tree shaping during placement. ISPD 2011: 123-130 - 2010
- [c103]Raj R. Nadakuditi, Igor L. Markov:
On the costs and benefits of stochasticity in stream processing. DAC 2010: 320-325 - [c102]Héctor J. García, Igor L. Markov:
Spinto: High-performance energy minimization in spin glasses. DATE 2010: 160-165 - [c101]Hadi Katebi, Igor L. Markov:
Large-scale Boolean matching. DATE 2010: 771-776 - [c100]Dongjin Lee, Igor L. Markov:
Contango: Integrated optimization of SoC clock networks. DATE 2010: 1468-1473 - [c99]David A. Papa, Smita Krishnaswamy, Igor L. Markov:
SPIRE: A retiming-based physical-synthesis transformation system. ICCAD 2010: 373-380 - [c98]Dongjin Lee, Myung-Chul Kim, Igor L. Markov:
Low-power clock trees for CPUs. ICCAD 2010: 444-451 - [c97]Myung-Chul Kim, Dongjin Lee, Igor L. Markov:
SimPL: An effective placement algorithm. ICCAD 2010: 649-656 - [c96]Jin Hu, Jarrod A. Roy, Igor L. Markov:
Completing high-quality global routes. ISPD 2010: 35-41 - [c95]Shigeru Yamashita, Igor L. Markov:
Fast equivalence-checking for quantum circuits. NANOARCH 2010: 23-28 - [c94]Hadi Katebi, Karem A. Sakallah, Igor L. Markov:
Symmetry and Satisfiability: An Update. SAT 2010: 113-127 - 2009
- [c93]Smita Krishnaswamy, Igor L. Markov, John P. Hayes:
Improving testability and soft-error resilience through retiming. DAC 2009: 508-513 - [c92]Kai-Hui Chang, Valeria Bertacco, Igor L. Markov:
Customizing IP cores for system-on-chip designs using extensive external don't-cares. DATE 2009: 582-585 - [c91]Jarrod A. Roy, Natarajan Viswanathan, Gi-Joon Nam, Charles J. Alpert, Igor L. Markov:
CRISP: Congestion reduction by iterated spreading during placement. ICCAD 2009: 357-362 - 2008
- [c90]Paul T. Darga, Karem A. Sakallah, Igor L. Markov:
Faster symmetry discovery using sparsity of symmetries. DAC 2008: 149-154 - [c89]Jarrod A. Roy, Farinaz Koushanfar, Igor L. Markov:
Protecting bus-based hardware IP by secret sharing. DAC 2008: 846-851 - [c88]Smita Krishnaswamy, Igor L. Markov, John P. Hayes:
On the role of timing masking in reliable logic circuit design. DAC 2008: 924-929 - [c87]Stephen Plaza, Igor L. Markov, Valeria Bertacco:
Random Stimulus Generation using Entropy and XOR Constraints. DATE 2008: 664-669 - [c86]Jarrod A. Roy, Farinaz Koushanfar, Igor L. Markov:
EPIC: Ending Piracy of Integrated Circuits. DATE 2008: 1069-1074 - [c85]Jarrod A. Roy, Farinaz Koushanfar, Igor L. Markov:
Circuit CAD Tools as a Security Threat. HOST 2008: 65-66 - [c84]Jae-sun Seo, Igor L. Markov, Dennis Sylvester, David T. Blaauw:
On the decreasing significance of large standard cells in technology mapping. ICCAD 2008: 116-121 - [c83]David A. Papa, Tao Luo, Michael D. Moffitt, Chin Ngai Sze, Zhuo Li, Gi-Joon Nam, Charles J. Alpert, Igor L. Markov:
RUMBLE: an incremental, timing-driven, physical-synthesis optimization algorithm. ISPD 2008: 2-9 - [c82]Stephen Plaza, Igor L. Markov, Valeria Bertacco:
Optimizing non-monotonic interconnect using functional simulation and logic restructuring. ISPD 2008: 95-102 - [c81]Kai-Hui Chang, Igor L. Markov, Valeria Bertacco:
Reap what you sow: spare cells for post-silicon metal fix. ISPD 2008: 103-110 - [c80]Michael D. Moffitt, Jarrod A. Roy, Igor L. Markov:
The coming of age of (academic) global routing. ISPD 2008: 148-155 - [c79]Jin Hu, Jarrod A. Roy, Igor L. Markov:
Sidewinder: a scalable ILP-based router. SLIP 2008: 73-80 - 2007
- [c78]Jarrod A. Roy, Igor L. Markov:
ECO-system: Embracing the Change in Placement. ASP-DAC 2007: 147-152 - [c77]Stephen Plaza, Kai-Hui Chang, Igor L. Markov, Valeria Bertacco:
Node Mergers in the Presence of Don't Cares. ASP-DAC 2007: 414-419 - [c76]Kai-Hui Chang, Igor L. Markov, Valeria Bertacco:
Safe Delay Optimization for Physical Synthesis. ASP-DAC 2007: 628-633 - [c75]Kai-Hui Chang, Igor L. Markov, Valeria Bertacco:
Fixing Design Errors with Counterexamples and Resynthesis. ASP-DAC 2007: 944-949 - [c74]Kai-Hui Chang, Ilya Wagner, Valeria Bertacco, Igor L. Markov:
Automatic error diagnosis and correction for RTL designs. HLDVT 2007: 65-72 - [c73]George F. Viamontes, Igor L. Markov, John P. Hayes:
Checking equivalence of quantum circuits and states. ICCAD 2007: 69-74 - [c72]Kai-Hui Chang, Igor L. Markov, Valeria Bertacco:
Automating post-silicon debugging and repair. ICCAD 2007: 91-98 - [c71]Smita Krishnaswamy, Stephen Plaza, Igor L. Markov, John P. Hayes:
Enhancing design robustness with reliability-aware resynthesis and logic simulation. ICCAD 2007: 149-154 - [c70]Jarrod A. Roy, Igor L. Markov:
High-performance routing at the nanometer scale. ICCAD 2007: 496-502 - [c69]Kai-Hui Chang, David A. Papa, Igor L. Markov, Valeria Bertacco:
InVerS: An Incremental Verification System with Circuit Similarity Metrics and Error Visualization. ISQED 2007: 487-494 - 2006
- [c68]David A. Papa, Igor L. Markov, Philip Chong:
Utility of the OpenAccess database in academic research. ASP-DAC 2006: 440-441 - [c67]Michael D. Moffitt, Aaron N. Ng, Igor L. Markov, Martha E. Pollack:
Constraint-driven floorplan repair. DAC 2006: 1103-1108 - [c66]Ramashis Das, Igor L. Markov, John P. Hayes:
On-Chip Test Generation Using Linear Subspaces. ETS 2006: 111-116 - [c65]Jarrod A. Roy, James F. Lu, Igor L. Markov:
Seeing the forest and the trees: Steiner wirelength optimization in placemen. ISPD 2006: 78-85 - [c64]Aaron N. Ng, Igor L. Markov, Rajat Aggarwal, Venky Ramachandran:
Solving hard instances of floorplacement. ISPD 2006: 170-177 - [c63]Jarrod A. Roy, David A. Papa, Aaron N. Ng, Igor L. Markov:
Satisfying whitespace requirements in top-down placement. ISPD 2006: 206-208 - 2005
- [c62]Vivek V. Shende, Stephen S. Bullock, Igor L. Markov:
Synthesis of quantum logic circuits. ASP-DAC 2005: 272-275 - [c61]Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah:
Dynamic symmetry-breaking for improved Boolean optimization. ASP-DAC 2005: 445-450 - [c60]Smita Krishnaswamy, George F. Viamontes, Igor L. Markov, John P. Hayes:
Accurate Reliability Evaluation and Enhancement via Probabilistic Transfer Matrices. DATE 2005: 282-287 - [c59]Igor L. Markov, Dmitri Maslov:
Uniformly-Switching Logic for Cryptographic Hardware. DATE 2005: 432-433 - [c58]Smita Krishnaswamy, Igor L. Markov, John P. Hayes:
Logic circuit testing for transient faults. ETS 2005: 102-107 - [c57]Kai-Hui Chang, Igor L. Markov, Valeria Bertacco:
Post-placement rewiring and rebuffering by exhaustive search for functional symmetries. ICCAD 2005: 56-63 - [c56]Kai-Hui Chang, Valeria Bertacco, Igor L. Markov:
Simulation-based bug trace minimization with BMC-based refinement. ICCAD 2005: 1045-1051 - [c55]Zhong Xiu, David A. Papa, Philip Chong, Christoph Albrecht, Andreas Kuehlmann, Rob A. Rutenbar, Igor L. Markov:
Early research experience with OpenAccess gear: an open source development environment for physical design. ISPD 2005: 94-100 - [c54]Hayward H. Chan, Saurabh N. Adya, Igor L. Markov:
Are floorplan representations important in digital design? ISPD 2005: 129-136 - [c53]Jarrod A. Roy, David A. Papa, Saurabh N. Adya, Hayward H. Chan, Aaron N. Ng, James F. Lu, Igor L. Markov:
Capo: robust and scalable open-source min-cut floorplacer. ISPD 2005: 224-226 - [c52]Aaron N. Ng, Igor L. Markov:
Toward Quality EDA Tools and Tool Flows Through High-Performance Computing. ISQED 2005: 22-27 - 2004
- [c51]Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah:
ShatterPB: symmetry-breaking for pseudo-Boolean formulas. ASP-DAC 2004: 883-886 - [c50]Arathi Ramani, Igor L. Markov:
Automatically Exploiting Symmetries in Constraint Programming. CSCLP 2004: 98-112 - [c49]Yoonna Oh, Maher N. Mneimneh, Zaher S. Andraus, Karem A. Sakallah, Igor L. Markov:
AMUSE: a minimally-unsatisfiable subformula extractor. DAC 2004: 518-523 - [c48]Paul T. Darga, Mark H. Liffiton, Karem A. Sakallah, Igor L. Markov:
Exploiting structure in symmetry detection for CNF. DAC 2004: 530-534 - [c47]Arathi Ramani, Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah:
Breaking Instance-Independent Symmetries in Exact Graph Coloring. DATE 2004: 324-331 - [c46]Vivek V. Shende, Igor L. Markov, Stephen S. Bullock:
Smaller Two-Qubit Circuits for Quantum Communication and Computation. DATE 2004: 980-987 - [c45]Andrew B. Kahng, Igor L. Markov, Sherief Reda:
Boosting: Min-Cut Placement with Improved Signal Delay. DATE 2004: 1098-1103 - [c44]George F. Viamontes, Igor L. Markov, John P. Hayes:
High-Performance QuIDD-Based Simulation of Quantum Circuits. DATE 2004: 1354-1355 - [c43]David A. Papa, Saurabh N. Adya, Igor L. Markov:
Constructive benchmarking for placement. ACM Great Lakes Symposium on VLSI 2004: 113-118 - [c42]Andrew B. Kahng, Igor L. Markov, Sherief Reda:
On legalization of row-based placements. ACM Great Lakes Symposium on VLSI 2004: 214-219 - [c41]Hayward H. Chan, Igor L. Markov:
Practical slicing and non-slicing block-packing without simulated annealing. ACM Great Lakes Symposium on VLSI 2004: 282-287 - [c40]Saurabh N. Adya, S. Chaturvedi, Jarrod A. Roy, David A. Papa, Igor L. Markov:
Unification of partitioning, placement and floorplanning. ICCAD 2004: 550-557 - 2003
- [c39]George F. Viamontes, Manoj Rajagopalan, Igor L. Markov, John P. Hayes:
Gate-level simulation of quantum circuits. ASP-DAC 2003: 295-301 - [c38]Stephen S. Bullock, Igor L. Markov:
An arbitrary twoqubit computation In 23 elementary gates or less. DAC 2003: 324-329 - [c37]Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah:
Shatter: efficient symmetry-breaking for boolean satisfiability. DAC 2003: 836-839 - [c36]Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah:
FORCE: a fast and easy-to-implement variable-ordering heuristic. ACM Great Lakes Symposium on VLSI 2003: 116-119 - [c35]Saurabh N. Adya, Igor L. Markov, Paul Villarrubia:
On Whitespace and Stability in Mixed-Size Placement and Physical Synthesis. ICCAD 2003: 311-319 - [c34]Fadi A. Aloul, Karem A. Sakallah, Igor L. Markov:
Efficient Symmetry Breaking for Boolean Satisfiability. IJCAI 2003: 271-276 - [c33]Arathi Ramani, Igor L. Markov:
Combining Two Local Search Approaches to Hypergraph Partitioning. IJCAI 2003: 1546- - [c32]Saurabh N. Adya, Mehmet Can Yildiz, Igor L. Markov, Paul Villarrubia, Phiroze N. Parakh, Patrick H. Madden:
Benchmarking for large-scale placement and beyond. ISPD 2003: 95-103 - [c31]Andrew B. Kahng, Igor L. Markov:
Impact of Interoperability on CAD-IP Reuse: An Academic Viewpoint. ISQED 2003: 208-213 - [c30]Ketan N. Patel, Igor L. Markov:
Error-correction and crosstalk avoidance in DSM busses. SLIP 2003: 9-14 - [c29]Ketan N. Patel, John P. Hayes, Igor L. Markov:
Fault Testing for Reversible Circuits. VTS 2003: 410-416 - 2002
- [c28]DoRon B. Motter, Igor L. Markov:
A Compressed Breadth-First Search for Satisfiability. ALENEX 2002: 29-42 - [c27]Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah:
Solving difficult SAT instances in the presence of symmetry. DAC 2002: 731-736 - [c26]Vivek V. Shende, Aditya K. Prasad, Igor L. Markov, John P. Hayes:
Reversible logic circuit synthesis. ICCAD 2002: 353-360 - [c25]Fadi A. Aloul, Arathi Ramani, Igor L. Markov, Karem A. Sakallah:
Generic ILP versus specialized 0-1 ILP: an update. ICCAD 2002: 450-457 - [c24]Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah:
Improving the Efficiency of Circuit-to-BDD Conversion by Gate and Input Ordering. ICCD 2002: 64-69 - [c23]Saurabh N. Adya, Igor L. Markov:
Consistent placement of macro-blocks using floorplanning and standard-cell placement. ISPD 2002: 12-17 - [c22]Andrew B. Kahng, Stefanus Mantik, Igor L. Markov:
Min-max placement for large-scale timing optimization. ISPD 2002: 143-148 - [c21]Vivek V. Shende, Aditya K. Prasad, Igor L. Markov, John P. Hayes:
Reversible Logic Circuit Synthesis. IWLS 2002: 125-130 - [c20]Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah:
Efficient Gate and Input Ordering for Circuit-to-BDD Conversion. IWLS 2002: 137-142 - [c19]DoRon B. Motter, Igor L. Markov:
Overcoming Resolution-Based Lower Bounds for SAT Solvers. IWLS 2002: 373-378 - 2001
- [c18]Fadi A. Aloul, Igor L. Markov, Karem A. Sakallah:
Faster SAT and Smaller BDDs via Common Function Structure. ICCAD 2001: 443-448 - [c17]Saurabh N. Adya, Igor L. Markov:
Fixed-outline Floorplanning through Better Local Search. ICCD 2001: 328-334 - 2000
- [c16]Andrew A. Kennings, Igor L. Markov:
Analytical minimization of half-perimeter wirelength. ASP-DAC 2000: 179-184 - [c15]Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov:
Improved algorithms for hypergraph bipartitioning. ASP-DAC 2000: 661-666 - [c14]Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov:
Can recursive bisection alone produce routable placements? DAC 2000: 477-482 - [c13]Andrew E. Caldwell, Yu Cao, Andrew B. Kahng, Farinaz Koushanfar, Hua Lu, Igor L. Markov, Michael Oliver, Dirk Stroobandt, Dennis Sylvester:
GTX: the MARCO GSRC technology extrapolation system. DAC 2000: 693-698 - [c12]Olivier Coudert, Igor L. Markov, Christoph Meinel, Ellen Sentovich:
Web-based frameworks to enable CAD RD (abstract). DAC 2000: 711 - 1999
- [c11]Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov:
Design and Implementation of the Fiduccia-Mattheyses Heuristic for VLSI Netlist Partitioning. ALENEX 1999: 177-193 - [c10]Ross Baldick, Andrew B. Kahng, Andrew A. Kennings, Igor L. Markov:
Function Smoothing with Applications to VLSI Layout. ASP-DAC 1999: 225- - [c9]Andrew E. Caldwell, Andrew B. Kahng, Andrew A. Kennings, Igor L. Markov:
Hypergraph Partitioning for VLSI CAD: Methodology for Heuristic Development, Experimentation and Reporting. DAC 1999: 349-354 - [c8]Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov:
Hypergraph Partitioning with Fixed Vertices. DAC 1999: 355-359 - [c7]Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov:
Optimal partitioners and end-case placers for standard-cell layout. ISPD 1999: 90-96 - [c6]Charles J. Alpert, Andrew E. Caldwell, Andrew B. Kahng, Igor L. Markov:
Partitioning with terminals: a "new" problem and new benchmarks. ISPD 1999: 151-157 - 1998
- [c5]Andrew B. Kahng, John C. Lach, William H. Mangione-Smith, Stefanus Mantik, Igor L. Markov, Miodrag Potkonjak, Paul Tucker, Huijuan Wang, Gregory Wolfe:
Watermarking Techniques for Intellectual Property Protection. DAC 1998: 776-781 - [c4]Andrew B. Kahng, Stefanus Mantik, Igor L. Markov, Miodrag Potkonjak, Paul Tucker, Huijuan Wang, Gregory Wolfe:
Robust IP Watermarking Methodologies for Physical Design. DAC 1998: 782-787 - [c3]Andrew E. Caldwell, Andrew B. Kahng, Stefanus Mantik, Igor L. Markov, Alexander Zelikovsky:
On wirelength estimations for row-based placement. ISPD 1998: 4-11 - 1997
- [c2]Charles J. Alpert, Tony F. Chan, Dennis J.-H. Huang, Igor L. Markov, Kenneth Yan:
Quadratic Placement Revisited. DAC 1997: 752-757 - [c1]Charles J. Alpert, Tony F. Chan, Dennis J.-H. Huang, Andrew B. Kahng, Igor L. Markov, Pep Mulet, Kenneth Yan:
Faster minimization of linear wirelength for global placement. ISPD 1997: 4-11
Parts in Books or Collections
- 2007
- [p1]Jarrod A. Roy, David A. Papa, Igor L. Markov:
Capo: Congestion-Driven Placement for Standard-cell and RTL Netlists with Incremental Capability. Modern Circuit Placement 2007: 97-133
Editorship
- 2005
- [e2]Igor L. Markov, Mike Hutton:
The Seventh International Workshop on System-Level Interconnect Prediction (SLIP 2005), San Francisco, CA, USA, April 2-3, 2005, Proceedings. ACM 2005, ISBN 1-59593-033-7 [contents] - 2004
- [e1]Louis Scheffer, Igor L. Markov:
The Sixth International Workshop on System-Level Interconnect Prediction (SLIP 2004), Paris, France, February 14-15, 2004, Proceedings. ACM 2004, ISBN 1-58113-818-0 [contents]
Reference Works
- 2016
- [r4]Andrew A. Kennings, Igor L. Markov:
Circuit Placement. Encyclopedia of Algorithms 2016: 301-306 - 2008
- [r3]Andrew A. Kennings, Igor L. Markov:
Circuit Placement. Encyclopedia of Algorithms 2008 - [r2]Jarrod A. Roy, Igor L. Markov:
Partitioning-Based Methods. Handbook of Algorithms for Physical Design Automation 2008 - 2007
- [r1]David A. Papa, Igor L. Markov:
Hypergraph Partitioning and Clustering. Handbook of Approximation Algorithms and Metaheuristics 2007
Informal and Other Publications
- 2023
- [i35]Andrii Maksymov, Jason Nguyen, Yunseong Nam, Igor L. Markov:
Enhancing quantum computer performance via symmetrization. CoRR abs/2301.07233 (2023) - [i34]Chung-Wei Lee, Pavlos Athanasios Apostolopulos, Igor L. Markov:
Practical Knowledge Distillation: Using DNNs to Beat DNNs. CoRR abs/2302.12360 (2023) - [i33]Igor L. Markov, Pavlos Athanasios Apostolopoulos, Mia Garrard, Tianyu Qie, Yin Huang, Tanvi Gupta, Anika Li, Cesar Cardoso, George Han, Ryan Maghsoudian, Norm Zhou:
Scalable End-to-End ML Platforms: from AutoML to Self-serve. CoRR abs/2302.14139 (2023) - [i32]Daniel S. Johnson, Igor L. Markov:
Efficient Multi-stage Inference on Tabular Data. CoRR abs/2303.11580 (2023) - [i31]Igor L. Markov:
The False Dawn: Reevaluating Google's Reinforcement Learning for Chip Macro Placement. CoRR abs/2306.09633 (2023) - 2022
- [i30]Rasika Bhalerao, Mohammad Al-Rubaie, Anand Bhaskar, Igor L. Markov:
Data-Driven Mitigation of Adversarial Text Perturbation. CoRR abs/2202.09483 (2022) - [i29]Graham Cormode, Igor L. Markov:
Federated Calibration and Evaluation of Binary Classifiers. CoRR abs/2210.12526 (2022) - 2021
- [i28]Pavlos Athanasios Apostolopoulos, Zehui Wang, Hanson Wang, Chad Zhou, Kittipat Virochsiri, Norm Zhou, Igor L. Markov:
Personalization for Web-based Services using Offline Reinforcement Learning. CoRR abs/2102.05612 (2021) - [i27]Xiuyan Ni, Shujian Bu, Igor L. Markov:
Prioritizing Original News on Facebook. CoRR abs/2102.08465 (2021) - [i26]Igor L. Markov, Jacqueline Liu, Adam Vagner:
Regular Expressions for Fast-response COVID-19 Text Classification. CoRR abs/2102.09507 (2021) - [i25]Graham Cormode, Igor L. Markov:
Bit-efficient Numerical Aggregation and Stronger Privacy for Trust in Federated Analytics. CoRR abs/2108.01521 (2021) - [i24]Andrii O. Maksymov, Jason Nguyen, Vandiver Chaplin, Yun Seong Nam, Igor L. Markov:
Detecting Qubit-coupling Faults in Ion-trap Quantum Computers. CoRR abs/2108.03708 (2021) - [i23]Nitya Kasturi, Igor L. Markov:
Text Ranking and Classification using Data Compression. CoRR abs/2109.11577 (2021) - [i22]Igor L. Markov, Hanson Wang, Nitya Kasturi, Shaun Singh, Sze Wai Yuen, Mia Garrard, Sarah Tran, Yin Huang, Zehui Wang, Igor Glotov, Tanvi Gupta, Boshuang Huang, Peng Chen, Xiaowen Xie, Michael Belkin, Sal Uryasev, Sam Howie, Eytan Bakshy, Norm Zhou:
Looper: An end-to-end ML platform for product decisions. CoRR abs/2110.07554 (2021) - [i21]Binh Vu, Igor L. Markov:
Picasso: Model-free Feature Visualization. CoRR abs/2111.12795 (2021) - 2020
- [i20]R. Iris Bahar, Alex K. Jones, Srinivas Katkoori, Patrick H. Madden, Diana Marculescu, Igor L. Markov:
Workshops on Extreme Scale Design Automation (ESDA) Challenges and Opportunities for 2025 and Beyond. CoRR abs/2005.01588 (2020) - [i19]Aneeqa Fatima, Igor L. Markov:
Faster Schrödinger-style simulation of quantum circuits. CoRR abs/2008.00216 (2020) - 2018
- [i18]Igor L. Markov, Aneeqa Fatima, Sergei V. Isakov, Sergio Boixo:
Quantum Supremacy Is Both Closer and Farther than It Appears. CoRR abs/1807.10749 (2018) - 2017
- [i17]Héctor J. García, Igor L. Markov, Andrew W. Cross:
On the Geometry of Stabilizer States. CoRR abs/1711.07848 (2017) - [i16]Héctor J. García, Igor L. Markov:
Simulation of Quantum Circuits via Stabilizer Frames. CoRR abs/1712.03554 (2017) - 2014
- [i15]Igor L. Markov:
Limits on Fundamental Limits to Computation. CoRR abs/1408.3821 (2014) - [i14]Igor L. Markov:
A review of "Memcomputing NP-complete problems in polynomial time using polynomial resources" (arXiv: 1411.4798). CoRR abs/1412.0650 (2014) - 2013
- [i13]Igor L. Markov, Mehdi Saeedi:
Faster Quantum Number Factoring via Circuit Synthesis. CoRR abs/1301.3210 (2013) - [i12]Mehdi Saeedi, Igor L. Markov:
Quantum Circuits for GCD Computation with $O(n \log n)$ Depth and O(n) Ancillae. CoRR abs/1304.7516 (2013) - 2012
- [i11]Igor L. Markov, Mehdi Saeedi:
Constant-Optimized Quantum Circuits for Modular Multiplication and Exponentiation. CoRR abs/1202.6614 (2012) - [i10]Hadi Katebi, Karem A. Sakallah, Igor L. Markov:
Conflict Anticipation in the Search for Graph Automorphisms. CoRR abs/1208.6269 (2012) - [i9]Hadi Katebi, Karem A. Sakallah, Igor L. Markov:
Graph Symmetry Detection and Canonical Labeling: Differences and Synergies. CoRR abs/1208.6271 (2012) - [i8]Héctor J. García, Igor L. Markov, Andrew W. Cross:
Efficient Inner-product Algorithm for Stabilizer States. CoRR abs/1210.6646 (2012) - 2011
- [i7]Fadi A. Aloul, Igor L. Markov, Arathi Ramani, Karem A. Sakallah:
Breaking Instance-Independent Symmetries In Exact Graph Coloring. CoRR abs/1109.2347 (2011) - [i6]Mehdi Saeedi, Igor L. Markov:
Synthesis and Optimization of Reversible Circuits - A Survey. CoRR abs/1110.2574 (2011) - 2009
- [i5]Shigeru Yamashita, Igor L. Markov:
Fast Equivalence-checking for Quantum Circuits. CoRR abs/0909.4119 (2009) - [i4]Héctor J. García, Igor L. Markov:
High-performance Energy Minimization with Applications to Adiabatic Quantum Computing. CoRR abs/0912.3912 (2009) - 2008
- [i3]Vivek V. Shende, Igor L. Markov:
On the CNOT-cost of TOFFOLI gates. CoRR abs/0803.2316 (2008) - 2007
- [i2]George F. Viamontes, Igor L. Markov, John P. Hayes:
Checking Equivalence of Quantum Circuits and States. CoRR abs/0705.0017 (2007) - [i1]Igor L. Markov, Yaoyun Shi:
Constant-degree graph expansions that preserve the treewidth. CoRR abs/0707.3622 (2007)
Coauthor Index
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-19 00:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
