Alexey Lvov

According to our database, Alexey Lvov authored at least 13 papers between 1999 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2021

FlowTuner: A Multi-Stage EDA Flow Tuner Exploiting Parameter Knowledge Transfer.

Rongjian Liang, Jinwook Jung, Hua Xiang, Lakshmi N. Reddy, Alexey Lvov, Jiang Hu, Gi-Joon Nam

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2021

2018

On Coloring and Colorability Analysis of Integrated Circuits with Triple and Quadruple Patterning Techniques.

Alexey Lvov, Gustavo E. Téllez, Gi-Joon Nam

Proceedings of the 2018 International Symposium on Physical Design, 2018

2015

ScaffCC: Scalable compilation and analysis of quantum programs.

Ali JavadiAbhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T. Chong, Margaret Martonosi

Parallel Comput., 2015

2014

Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry.

Alexey Lvov, Luis Alfonso Lastras-Montaño, Barry M. Trager, Viresh Paruthi, Robert Shadowen, Ali El-Zein

Formal Methods Syst. Des., 2014

ScaffCC: a framework for compilation and analysis of quantum computing programs.

Ali JavadiAbhari, Shruti Patil, Daniel Kudrow, Jeff Heckey, Alexey Lvov, Frederic T. Chong, Margaret Martonosi

Proceedings of the Computing Frontiers Conference, CF'14, 2014

2012

Formal verification of error correcting circuits using computational algebraic geometry.

Alexey Lvov, Luis Alfonso Lastras-Montaño, Viresh Paruthi, Robert Shadowen, Ali El-Zein

Proceedings of the Formal Methods in Computer-Aided Design, 2012

2011

Floorplanning challenges in early chip planning.

Jeonghee Shin, John A. Darringer, Guojie Luo, Merav Aharoni, Alexey Lvov, Gi-Joon Nam, Michael B. Healy

Proceedings of the IEEE 24th International SoC Conference, SOCC 2011, Taipei, Taiwan, 2011

2008

Exact basic geometric operations on arbitrary angle polygons using only fixed size integer coordinates.

Alexey Lvov, Ulrich Finkler

Proceedings of the 2008 International Conference on Computer-Aided Design, 2008

2006

Novel algorithms for placement of rectangular covers for mask inspection in advanced lithography and other VLSI design applications.

Kanad Chakraborty, Alexey Lvov, Maharaj Mukherjee

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006

2004

A graph based simplex method for the integer minimum perturbation problem with sum and difference constraints.

Alexey Lvov, Fook-Luen Heng

Proceedings of the 14th ACM Great Lakes Symposium on VLSI 2004, 2004

2001

A Trace Bound for the Hereditary Discrepancy.

Bernard Chazelle, Alexey Lvov

Discret. Comput. Geom., 2001

The Discrepancy of Boxes in Higher Dimension.

Bernard Chazelle, Alexey Lvov

Discret. Comput. Geom., 2001

1999

A Lower Bound on the Complexity of Approximate Nearest-Neighbor Searching on the Hamming Cube.

Amit Chakrabarti, Bernard Chazelle, Benjamin Gum, Alexey Lvov

Proceedings of the Thirty-First Annual ACM Symposium on Theory of Computing, 1999