Alexey Lvov

Publication Activity (10 Years)

Years Active: 1999-2021
Publications (10 Years): 2

Top Topics

Integrated Circuit

Algebraic Geometry

Knowledge Transfer

Quantum Computing

Top Venues

Conf. Computing Frontiers

Publications

Rongjian Liang, Jinwook Jung, Hua Xiang, Lakshmi N. Reddy, Alexey Lvov, Jiang Hu, Gi-Joon Nam
FlowTuner: A Multi-Stage EDA Flow Tuner Exploiting Parameter Knowledge Transfer. ICCAD (2021)
Alexey Lvov, Gustavo E. Téllez, Gi-Joon Nam
On Coloring and Colorability Analysis of Integrated Circuits with Triple and Quadruple Patterning Techniques. ISPD (2018)
Ali JavadiAbhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T. Chong, Margaret Martonosi
ScaffCC: Scalable compilation and analysis of quantum programs. Parallel Comput. 45 (2015)
Ali JavadiAbhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T. Chong, Margaret Martonosi
ScaffCC: Scalable Compilation and Analysis of Quantum Programs. CoRR (2015)
Alexey Lvov, Luis Alfonso Lastras-Montaño, Barry M. Trager, Viresh Paruthi, Robert Shadowen, Ali El-Zein
Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry. Formal Methods Syst. Des. 45 (2) (2014)
Ali JavadiAbhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T. Chong, Margaret Martonosi
ScaffCC: a framework for compilation and analysis of quantum computing programs. Conf. Computing Frontiers (2014)
Alexey Lvov, Luis Alfonso Lastras-Montaño, Viresh Paruthi, Robert Shadowen, Ali El-Zein
Formal verification of error correcting circuits using computational algebraic geometry. FMCAD (2012)
Jeonghee Shin, John A. Darringer, Guojie Luo, Merav Aharoni, Alexey Lvov, Gi-Joon Nam, Michael B. Healy
Floorplanning challenges in early chip planning. SoCC (2011)
Alexey Lvov, Ulrich Finkler
Exact basic geometric operations on arbitrary angle polygons using only fixed size integer coordinates. ICCAD (2008)
Kanad Chakraborty, Alexey Lvov, Maharaj Mukherjee
Novel algorithms for placement of rectangular covers for mask inspection in advanced lithography and other VLSI design applications. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 (1) (2006)
Alexey Lvov, Fook-Luen Heng
A graph based simplex method for the integer minimum perturbation problem with sum and difference constraints. ACM Great Lakes Symposium on VLSI (2004)
Bernard Chazelle, Alexey Lvov
The Discrepancy of Boxes in Higher Dimension. Discret. Comput. Geom. 25 (4) (2001)
Bernard Chazelle, Alexey Lvov
A Trace Bound for the Hereditary Discrepancy. Discret. Comput. Geom. 26 (2) (2001)
Bernard Chazelle, Alexey Lvov
A trace bound for the hereditary discrepancy. SCG (2000)
Amit Chakrabarti, Bernard Chazelle, Benjamin Gum, Alexey Lvov
A Lower Bound on the Complexity of Approximate Nearest-Neighbor Searching on the Hamming Cube. STOC (1999)