Alexey Lvov

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