Sven Leyffer

Publication Activity (10 Years)

Years Active: 1994-2023
Publications (10 Years): 33

Top Topics

Global Optimization

Quadratic Program

Top Venues

Comput. Optim. Appl.

SIAM J. Sci. Comput.

Publications

Xinyu Fei, Lucas T. Brady, Jeffrey Larson, Sven Leyffer, Siqian Shen
Binary Control Pulse Optimization for Quantum Systems. Quantum 7 (2023)
Ahmed Attia, Sven Leyffer, Todd S. Munson
Robust A-Optimal Experimental Design for Bayesian Inverse Problems. CoRR (2023)
Mirko Hahn, Sven Leyffer, Sebastian Sager
Binary optimal control by trust-region steepest descent. Math. Program. 197 (1) (2023)
Jongeun Kim, Sven Leyffer, Prasanna Balaprakash
Learning Symbolic Expressions: Mixed-Integer Formulations, Cuts, and Heuristics. INFORMS J. Comput. 35 (6) (2023)
Ryan H. Vogt, Sven Leyffer, Todd S. Munson
A Mixed-Integer PDE-Constrained Optimization Formulation for Electromagnetic Cloaking. SIAM J. Sci. Comput. 44 (1) (2022)
Dominic Yang, Prasanna Balaprakash, Sven Leyffer
Modeling design and control problems involving neural network surrogates. Comput. Optim. Appl. 83 (3) (2022)
Christian Kirches, Jeffrey Larson, Sven Leyffer, Paul Manns
Sequential Linearization Method for Bound-Constrained Mathematical Programs with Complementarity Constraints. SIAM J. Optim. 32 (1) (2022)
Ahmed Attia, Sven Leyffer, Todd S. Munson
Stochastic Learning Approach for Binary Optimization: Application to Bayesian Optimal Design of Experiments. SIAM J. Sci. Comput. 44 (2) (2022)
Johannes J. Brust, Zichao Wendy Di, Sven Leyffer, Cosmin G. Petra
Compact representations of structured BFGS matrices. CoRR (2022)
Jeffrey Larson, Sven Leyffer, Prashant Palkar, Stefan M. Wild
A method for convex black-box integer global optimization. J. Glob. Optim. 80 (2) (2021)
Noam Goldberg, Steffen Rebennack, Youngdae Kim, Vitaliy Krasko, Sven Leyffer
MINLP formulations for continuous piecewise linear function fitting. Comput. Optim. Appl. 79 (1) (2021)
Ashutosh Mahajan, Sven Leyffer, Jeff T. Linderoth, James R. Luedtke, Todd S. Munson
Minotaur: a mixed-integer nonlinear optimization toolkit. Math. Program. Comput. 13 (2) (2021)
Sven Leyffer, Paul Manns, Malte Winckler
Convergence of sum-up rounding schemes for cloaking problems governed by the Helmholtz equation. Comput. Optim. Appl. 79 (1) (2021)
Fabian Gnegel, Armin Fügenschuh, Michael Hagel, Sven Leyffer, Marcus Stiemer
A solution framework for linear PDE-constrained mixed-integer problems. Math. Program. 188 (2) (2021)
Dominic Yang, Prasanna Balaprakash, Sven Leyffer
Modeling Design and Control Problems Involving Neural Network Surrogates. CoRR (2021)
Wenjing Wang, Mohan Krishnamoorthy, Juliane Müller, Stephen Mrenna, Holger Schulz, Xiangyang Ju, Sven Leyffer, Zachary Marshall
BROOD: Bilevel and Robust Optimization and Outlier Detection for Efficient Tuning of High-Energy Physics Event Generators. CoRR (2021)
Ahmed Attia, Sven Leyffer, Todd S. Munson
Stochastic Learning Approach to Binary Optimization for Optimal Design of Experiments. CoRR (2021)
Anthony P. Austin, Mohan Krishnamoorthy, Sven Leyffer, Stephen Mrenna, Juliane Müller, Holger Schulz
Practical algorithms for multivariate rational approximation. Comput. Phys. Commun. 261 (2021)
Selin S. Aslan, Zhengchun Liu, Viktor V. Nikitin, Tekin Bicer, Sven Leyffer, Doga Gürsoy
Joint ptycho-tomography with deep generative priors. Mach. Learn. Sci. Technol. 2 (4) (2021)
Brian C. Dandurand, Kibaek Kim, Sven Leyffer
A Bilevel Approach for Identifying the Worst Contingencies for Nonconvex Alternating Current Power Systems. SIAM J. Optim. 31 (1) (2021)
Johannes J. Brust, Zichao (Wendy) Di, Sven Leyffer, Cosmin G. Petra
Compact representations of structured BFGS matrices. Comput. Optim. Appl. 80 (1) (2021)
Jongeun Kim, Sven Leyffer, Prasanna Balaprakash
Learning Symbolic Expressions: Mixed-Integer Formulations, Cuts, and Heuristics. CoRR (2021)
Sven Leyffer, Charlie Vanaret
An augmented Lagrangian filter method. Math. Methods Oper. Res. 92 (2) (2020)
Sven Leyffer, Matt Menickelly, Todd S. Munson, Charlie Vanaret, Stefan M. Wild
A survey of nonlinear robust optimization. INFOR Inf. Syst. Oper. Res. 58 (2) (2020)
Nathanaël Cheriere, Matthieu Dorier, Gabriel Antoniu, Stefan M. Wild, Sven Leyffer, Robert B. Ross
Pufferscale: Rescaling HPC Data Services for High Energy Physics Applications. CCGRID (2020)
Anthony P. Austin, Mohan Krishnamoorthy, Sven Leyffer, Stephen Mrenna, Juliane Müller, Holger Schulz
Multivariate Rational Approximation. CoRR (2019)
Anthony P. Austin, Zichao Wendy Di, Sven Leyffer, Stefan M. Wild
Simultaneous Sensing Error Recovery and Tomographic Inversion Using an Optimization-Based Approach. SIAM J. Sci. Comput. 41 (3) (2019)
Zhengchun Liu, Rajkumar Kettimuthu, Sven Leyffer, Prashant Palkar, Ian T. Foster
A Mathematical Programming- and Simulation-Based Framework to Evaluate Cyberinfrastructure Design Choices. eScience (2017)
Mike Fagan, Jeremy Schlachter, Kazutomo Yoshii, Sven Leyffer, Krishna V. Palem, Marc Snir, Stefan M. Wild, Christian C. Enz
Overcoming the power wall by exploiting inexactness and emerging COTS architectural features: Trading precision for improving application quality. SoCC (2016)
Fu Lin, Sven Leyffer, Todd S. Munson
A two-level approach to large mixed-integer programs with application to cogeneration in energy-efficient buildings. Comput. Optim. Appl. 65 (1) (2016)
Fu Lin, Zichao (Wendy) Di, Sven Leyffer
A multilevel approach for a class of semidefinite programs. ACC (2016)
Zichao (Wendy) Di, Sven Leyffer, Stefan M. Wild
Optimization-Based Approach for Joint X-Ray Fluorescence and Transmission Tomographic Inversion. SIAM J. Imaging Sci. 9 (1) (2016)
Sven Leyffer, Stefan M. Wild, Mike Fagan, Marc Snir, Krishna V. Palem, Kazutomo Yoshii, Hal Finkel
Doing Moore with Less - Leapfrogging Moore's Law with Inexactness for Supercomputing. CoRR (2016)
Ashish Tripathi, Sven Leyffer, Todd S. Munson, Stefan M. Wild
Visualizing and Improving the Robustness of Phase Retrieval Algorithms. ICCS (2015)
Noam Goldberg, Sven Leyffer
An Active-Set Method for Second-Order Conic-Constrained Quadratic Programming. SIAM J. Optim. 25 (3) (2015)
Preeti Malakar, Venkatram Vishwanath, Todd S. Munson, Christopher Knight, Mark Hereld, Sven Leyffer, Michael E. Papka
Optimal scheduling of in-situ analysis for large-scale scientific simulations. SC (2015)
Noam Goldberg, Sven Leyffer, Ilya Safro
Optimal response to epidemics and cyber attacks in networks. Networks 66 (2) (2015)
Marc Snir, Robert W. Wisniewski, Jacob A. Abraham, Sarita V. Adve, Saurabh Bagchi, Pavan Balaji, Jim Belak, Pradip Bose, Franck Cappello, Bill Carlson, Andrew A. Chien, Paul Coteus, Nathan DeBardeleben, Pedro C. Diniz, Christian Engelmann, Mattan Erez, Saverio Fazzari, Al Geist, Rinku Gupta, Fred Johnson, Sriram Krishnamoorthy, Sven Leyffer, Dean Liberty, Subhasish Mitra, Todd S. Munson, Rob Schreiber, Jon Stearley, Eric Van Hensbergen
Addressing failures in exascale computing. Int. J. High Perform. Comput. Appl. 28 (2) (2014)
Noam Goldberg, Youngdae Kim, Sven Leyffer, Thomas D. Veselka
Adaptively refined dynamic program for linear spline regression. Comput. Optim. Appl. 58 (3) (2014)
Yuri Alexeev, Sheri A. Mickelson, Sven Leyffer, Robert L. Jacob, Anthony P. Craig
The Heuristic Static Load-Balancing Algorithm Applied to the Community Earth System Model. IPDPS Workshops (2014)
Prasanna Balaprakash, Yuri Alexeev, Sheri A. Mickelson, Sven Leyffer, Robert L. Jacob, Anthony P. Craig
Machine-Learning-Based Load Balancing for Community Ice Code Component in CESM. VECPAR (2014)
Christian Kirches, Sven Leyffer
TACO: a toolkit for AMPL control optimization. Math. Program. Comput. 5 (3) (2013)
Siwei Wang, Jesse Ward, Sven Leyffer, Stefan M. Wild, Chris Jacobsen, Stefan Vogt
Unsupervised cell identification on multidimensional X-ray fluorescence datasets. SIGGRAPH Posters (2013)
Sven Leyffer, Ilya Safro
Fast response to infection spread and cyber attacks on large-scale networks. J. Complex Networks 1 (2) (2013)
Noam Goldberg, Sven Leyffer, Todd S. Munson
A New Perspective on Convex Relaxations of Sparse SVM. SDM (2013)
Pierre Bonami, Jon Lee, Sven Leyffer, Andreas Wächter
On branching rules for convex mixed-integer nonlinear optimization. ACM J. Exp. Algorithmics 18 (2013)
Pietro Belotti, Christian Kirches, Sven Leyffer, Jeff T. Linderoth, James R. Luedtke, Ashutosh Mahajan
Mixed-integer nonlinear optimization. Acta Numer. 22 (2013)
Sven Leyffer, Ilya Safro
Fast Response to Infection Spread and Cyber Attacks on Large-Scale Networks CoRR (2012)
Haw-ren Fang, Sven Leyffer, Todd S. Munson
A pivoting algorithm for linear programming with linear complementarity constraints. Optim. Methods Softw. 27 (1) (2012)
Chungen Shen, Sven Leyffer, Roger Fletcher
A nonmonotone filter method for nonlinear optimization. Comput. Optim. Appl. 52 (3) (2012)
Yuri Alexeev, Ashutosh Mahajan, Sven Leyffer, Graham Fletcher, Dmitri G. Fedorov
Heuristic static load-balancing algorithm applied to the fragment molecular orbital method. SC (2012)
Mine Altunay, Sven Leyffer, Jeffrey T. Linderoth, Zhen Xie
Optimal response to attacks on the open science grid. Comput. Networks 55 (1) (2011)
Ray Tuminaro, Michele Benzi, Xiao-Chuan Cai, Iain Duff, Howard C. Elman, Roland Freund, Kirk E. Jordan, Tim Kelley, David E. Keyes, Misha Elena Kilmer, Sven Leyffer, Tom Manteuffel, Steve F. McCormick, David J. Silvester, Homer F. Walker
Special Section: 2010 Copper Mountain Conference. SIAM J. Sci. Comput. 33 (5) (2011)
Andres Guerra, Alexandra M. Newman, Sven Leyffer
Concrete Structure Design using Mixed-Integer Nonlinear Programming with Complementarity Constraints. SIAM J. Optim. 21 (3) (2011)
Sven Leyffer, Todd S. Munson
Solving multi-leader-common-follower games. Optim. Methods Softw. 25 (4) (2010)
Kumar Abhishek, Sven Leyffer, Jeff T. Linderoth
FilMINT: An Outer Approximation-Based Solver for Convex Mixed-Integer Nonlinear Programs. INFORMS J. Comput. 22 (4) (2010)
Sven Leyffer
A Complementarity Constraint Formulation of Convex Multiobjective Optimization Problems. INFORMS J. Comput. 21 (2) (2009)
Michael P. Friedlander, Sven Leyffer
Global and Finite Termination of a Two-Phase Augmented Lagrangian Filter Method for General Quadratic Programs. SIAM J. Sci. Comput. 30 (4) (2008)
Yihsu Chen, Benjamin F. Hobbs, Sven Leyffer, Todd S. Munson
Allowances Markets. Comput. Manag. Sci. 3 (4) (2006)
Sven Leyffer, Gabriel López-Calva, Jorge Nocedal
Interior Methods for Mathematical Programs with Complementarity Constraints. SIAM J. Optim. 17 (1) (2006)
Bernardetta Addis, Sven Leyffer
A Trust-Region Algorithm for Global Optimization. Comput. Optim. Appl. 35 (3) (2006)
Roger Fletcher, Sven Leyffer, Danny Ralph, Stefan Scholtes
Local Convergence of SQP Methods for Mathematical Programs with Equilibrium Constraints. SIAM J. Optim. 17 (1) (2006)
Sven Leyffer, Jorge J. Moré
Foreword: Special Issue on Deterministic Global Optimization and Applications. Math. Program. 103 (2) (2005)
Sven Leyffer
The penalty interior-point method fails to converge. Optim. Methods Softw. 20 (4-5) (2005)
Nick I. M. Gould, Sven Leyffer, Philippe L. Toint
Nonlinear programming: theory and practice. Math. Program. 100 (1) (2004)
Roger Fletcher, Sven Leyffer
Solving mathematical programs with complementarity constraints as nonlinear programs. Optim. Methods Softw. 19 (1) (2004)
Nicholas I. M. Gould, Sven Leyffer, Philippe L. Toint
A Multidimensional Filter Algorithm for Nonlinear Equations and Nonlinear Least-Squares. SIAM J. Optim. 15 (1) (2004)
Jong-Shi Pang, Sven Leyffer
On the global minimization of the value-at-risk. Optim. Methods Softw. 19 (5) (2004)
Aslihan Altay-Salih, Mustafa Ç. Pinar, Sven Leyffer
Constrained Nonlinear Programming for Volatility Estimation with GARCH Models. SIAM Rev. 45 (3) (2003)
Roger Fletcher, Nicholas I. M. Gould, Sven Leyffer, Philippe L. Toint, Andreas Wächter
Global Convergence of a Trust-Region SQP-Filter Algorithm for General Nonlinear Programming. SIAM J. Optim. 13 (3) (2002)
Roger Fletcher, Sven Leyffer, Philippe L. Toint
On the Global Convergence of a Filter--SQP Algorithm. SIAM J. Optim. 13 (1) (2002)
Roger Fletcher, Sven Leyffer
Nonlinear programming without a penalty function. Math. Program. 91 (2) (2002)
Sven Leyffer
Integrating SQP and Branch-and-Bound for Mixed Integer Nonlinear Programming. Comput. Optim. Appl. 18 (3) (2001)
Roger Fletcher, Sven Leyffer
Numerical Experience with Lower Bounds for MIQP Branch-And-Bound. SIAM J. Optim. 8 (2) (1998)
Roger Fletcher, Sven Leyffer
Solving mixed integer nonlinear programs by outer approximation. Math. Program. 66 (1994)