Sven Leyffer

87 papers A 3B 2C 1Misc 1Journal 74Unranked 5
YearRankTypeTitle / Venue / Authors
2025 B conf
A Bilevel Optimization Framework for Dynamically Correcting Imbalance in Two-class Classification Problems.
IJCNN
Karen Medlin, Sven Leyffer, Krishnan Raghavan
2025 J jnl
A mixed-integer PDE-constrained optimization formulation for constructing electromagnetic cloaks with multiple materials.
Comput. Optim. Appl.
Ryan H. Vogt, Sven Leyffer, Todd S. Munson
2025 J jnl
An Alternating Direction Method of Multipliers for Topology Optimization.
CoRR
Harsh Choudhary, Sven Leyffer, Dominic Yang
2025 J jnl
Binary Quantum Control Optimization with Uncertain Hamiltonians.
INFORMS J. Comput.
Xinyu Fei, Lucas T. Brady, Jeffrey Larson, Sven Leyffer, Siqian Shen
2025 J jnl
Optimal Experimental Design of a Moving Sensor for Linear Bayesian Inverse Problems.
CoRR
Nicole Aretz, Thomas Lynn, Karen Willcox, Sven Leyffer
2025 J jnl
Robust A-Optimal Experimental Design for Sensor Placement in Bayesian Linear Inverse Problems.
SIAM/ASA J. Uncertain. Quantification
Ahmed Attia, Sven Leyffer, Todd S. Munson
2025 J jnl
Sampling Imbalanced Data with Multi-objective Bilevel Optimization.
CoRR
Karen Medlin, Sven Leyffer, Krishnan Raghavan
2025 J jnl
Switching Time Optimization for Binary Quantum Optimal Control.
ACM Trans. Quantum Comput.
Xinyu Fei, Lucas T. Brady, Jeffrey Larson, Sven Leyffer, Siqian Shen
2024 J jnl
A Bilevel Optimization Framework for Imbalanced Data Classification.
CoRR
Karen Medlin, Sven Leyffer, Krishnan Raghavan
2024 J jnl
A Unified Funnel Restoration SQP Algorithm.
CoRR
David Kiessling, Sven Leyffer, Charlie Vanaret
2024 J jnl
Remark on Algorithm 1012: Computing Projections with Large Datasets.
ACM Trans. Math. Softw.
Tyler H. Chang, Layne T. Watson, Sven Leyffer, Thomas C. H. Lux, Hussain M. J. Almohri
2023 J jnl
Binary Control Pulse Optimization for Quantum Systems.
Quantum
Xinyu Fei, Lucas T. Brady, Jeffrey Larson, Sven Leyffer, Siqian Shen
2023 J jnl
Binary optimal control by trust-region steepest descent.
Math. Program.
Mirko Hahn, Sven Leyffer, Sebastian Sager
2023 J jnl
Learning Symbolic Expressions: Mixed-Integer Formulations, Cuts, and Heuristics.
INFORMS J. Comput.
Jongeun Kim, Sven Leyffer, Prasanna Balaprakash
2023 J jnl
Robust A-Optimal Experimental Design for Bayesian Inverse Problems.
CoRR
Ahmed Attia, Sven Leyffer, Todd S. Munson
2022 J jnl
A Mixed-Integer PDE-Constrained Optimization Formulation for Electromagnetic Cloaking.
SIAM J. Sci. Comput.
Ryan H. Vogt, Sven Leyffer, Todd S. Munson
2022 J jnl
Compact representations of structured BFGS matrices.
CoRR
Johannes J. Brust, Zichao Wendy Di, Sven Leyffer, Cosmin G. Petra
2022 J jnl
Modeling design and control problems involving neural network surrogates.
Comput. Optim. Appl.
Dominic Yang, Prasanna Balaprakash, Sven Leyffer
2022 J jnl
Sequential Linearization Method for Bound-Constrained Mathematical Programs with Complementarity Constraints.
SIAM J. Optim.
Christian Kirches, Jeffrey Larson, Sven Leyffer, Paul Manns
2022 J jnl
Stochastic Learning Approach for Binary Optimization: Application to Bayesian Optimal Design of Experiments.
SIAM J. Sci. Comput.
Ahmed Attia, Sven Leyffer, Todd S. Munson
2021 J jnl
A Bilevel Approach for Identifying the Worst Contingencies for Nonconvex Alternating Current Power Systems.
SIAM J. Optim.
Brian C. Dandurand, Kibaek Kim, Sven Leyffer
2021 J jnl
A method for convex black-box integer global optimization.
J. Glob. Optim.
Jeffrey Larson, Sven Leyffer, Prashant Palkar, Stefan M. Wild
2021 J jnl
A solution framework for linear PDE-constrained mixed-integer problems.
Math. Program.
Fabian Gnegel, Armin Fügenschuh, Michael Hagel, Sven Leyffer, Marcus Stiemer
2021 J jnl
BROOD: Bilevel and Robust Optimization and Outlier Detection for Efficient Tuning of High-Energy Physics Event Generators.
CoRR
Wenjing Wang, Mohan Krishnamoorthy, Juliane Müller, Stephen Mrenna, Holger Schulz, Xiangyang Ju, Sven Leyffer, Zachary Marshall
2021 J jnl
Compact representations of structured BFGS matrices.
Comput. Optim. Appl.
Johannes J. Brust, Zichao (Wendy) Di, Sven Leyffer, Cosmin G. Petra
2021 J jnl
Convergence of sum-up rounding schemes for cloaking problems governed by the Helmholtz equation.
Comput. Optim. Appl.
Sven Leyffer, Paul Manns, Malte Winckler
2021 J jnl
Joint ptycho-tomography with deep generative priors.
Mach. Learn. Sci. Technol.
Selin S. Aslan, Zhengchun Liu, Viktor V. Nikitin, Tekin Bicer, Sven Leyffer, Doga Gürsoy
2021 J jnl
Learning Symbolic Expressions: Mixed-Integer Formulations, Cuts, and Heuristics.
CoRR
Jongeun Kim, Sven Leyffer, Prasanna Balaprakash
2021 J jnl
MINLP formulations for continuous piecewise linear function fitting.
Comput. Optim. Appl.
Noam Goldberg, Steffen Rebennack, Youngdae Kim, Vitaliy Krasko, Sven Leyffer
2021 J jnl
Minotaur: a mixed-integer nonlinear optimization toolkit.
Math. Program. Comput.
Ashutosh Mahajan, Sven Leyffer, Jeff T. Linderoth, James R. Luedtke, Todd S. Munson
2021 J jnl
Modeling Design and Control Problems Involving Neural Network Surrogates.
CoRR
Dominic Yang, Prasanna Balaprakash, Sven Leyffer
2021 J jnl
Practical algorithms for multivariate rational approximation.
Comput. Phys. Commun.
Anthony P. Austin, Mohan Krishnamoorthy, Sven Leyffer, Stephen Mrenna, Juliane Müller, Holger Schulz
2021 J jnl
Stochastic Learning Approach to Binary Optimization for Optimal Design of Experiments.
CoRR
Ahmed Attia, Sven Leyffer, Todd S. Munson
2020 J jnl
A survey of nonlinear robust optimization.
INFOR Inf. Syst. Oper. Res.
Sven Leyffer, Matt Menickelly, Todd S. Munson, Charlie Vanaret, Stefan M. Wild
2020 J jnl
An augmented Lagrangian filter method.
Math. Methods Oper. Res.
Sven Leyffer, Charlie Vanaret
2020 B conf
Pufferscale: Rescaling HPC Data Services for High Energy Physics Applications.
CCGRID
Nathanaël Cheriere, Matthieu Dorier, Gabriel Antoniu, Stefan M. Wild, Sven Leyffer, Robert B. Ross
2019 J jnl
Multivariate Rational Approximation.
CoRR
Anthony P. Austin, Mohan Krishnamoorthy, Sven Leyffer, Stephen Mrenna, Juliane Müller, Holger Schulz
2019 J jnl
Simultaneous Sensing Error Recovery and Tomographic Inversion Using an Optimization-Based Approach.
SIAM J. Sci. Comput.
Anthony P. Austin, Zichao Wendy Di, Sven Leyffer, Stefan M. Wild
2017 — conf
A Mathematical Programming- and Simulation-Based Framework to Evaluate Cyberinfrastructure Design Choices.
eScience
Zhengchun Liu, Rajkumar Kettimuthu, Sven Leyffer, Prashant Palkar, Ian T. Foster
2016 C conf
A multilevel approach for a class of semidefinite programs.
ACC
Fu Lin, Zichao (Wendy) Di, Sven Leyffer
2016 J jnl
A two-level approach to large mixed-integer programs with application to cogeneration in energy-efficient buildings.
Comput. Optim. Appl.
Fu Lin, Sven Leyffer, Todd S. Munson
2016 J jnl
Doing Moore with Less - Leapfrogging Moore's Law with Inexactness for Supercomputing.
CoRR
Sven Leyffer, Stefan M. Wild, Mike Fagan, Marc Snir, Krishna V. Palem, Kazutomo Yoshii, Hal Finkel
2016 J jnl
Optimization-Based Approach for Joint X-Ray Fluorescence and Transmission Tomographic Inversion.
SIAM J. Imaging Sci.
Zichao (Wendy) Di, Sven Leyffer, Stefan M. Wild
2016 — conf
Overcoming the power wall by exploiting inexactness and emerging COTS architectural features: Trading precision for improving application quality.
SoCC
Mike Fagan, Jeremy Schlachter, Kazutomo Yoshii, Sven Leyffer, Krishna V. Palem, Marc Snir, Stefan M. Wild, Christian C. Enz
2015 J jnl
An Active-Set Method for Second-Order Conic-Constrained Quadratic Programming.
SIAM J. Optim.
Noam Goldberg, Sven Leyffer
2015 J jnl
Optimal response to epidemics and cyber attacks in networks.
Networks
Noam Goldberg, Sven Leyffer, Ilya Safro
2015 A conf
Optimal scheduling of in-situ analysis for large-scale scientific simulations.
SC
Preeti Malakar, Venkatram Vishwanath, Todd S. Munson, Christopher Knight, Mark Hereld, Sven Leyffer, Michael E. Papka
2015 Misc conf
Visualizing and Improving the Robustness of Phase Retrieval Algorithms.
ICCS
Ashish Tripathi, Sven Leyffer, Todd S. Munson, Stefan M. Wild
2014 J jnl
Adaptively refined dynamic program for linear spline regression.
Comput. Optim. Appl.
Noam Goldberg, Youngdae Kim, Sven Leyffer, Thomas D. Veselka
2014 J jnl
Addressing failures in exascale computing.
Int. J. High Perform. Comput. Appl.
Marc Snir, Robert W. Wisniewski, Jacob A. Abraham, Sarita V. Adve, Saurabh Bagchi, Pavan Balaji, James F. 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
2014 — conf
Machine-Learning-Based Load Balancing for Community Ice Code Component in CESM.
VECPAR
Prasanna Balaprakash, Yuri Alexeev, Sheri A. Mickelson, Sven Leyffer, Robert L. Jacob, Anthony P. Craig
2014 — conf
The Heuristic Static Load-Balancing Algorithm Applied to the Community Earth System Model.
IPDPS Workshops
Yuri Alexeev, Sheri A. Mickelson, Sven Leyffer, Robert L. Jacob, Anthony P. Craig
2013 A conf
A New Perspective on Convex Relaxations of Sparse SVM.
SDM
Noam Goldberg, Sven Leyffer, Todd S. Munson
2013 J jnl
Fast response to infection spread and cyber attacks on large-scale networks.
J. Complex Networks
Sven Leyffer, Ilya Safro
2013 J jnl
Mixed-integer nonlinear optimization.
Acta Numer.
Pietro Belotti, Christian Kirches, Sven Leyffer, Jeff T. Linderoth, James R. Luedtke, Ashutosh Mahajan
2013 J jnl
On branching rules for convex mixed-integer nonlinear optimization.
ACM J. Exp. Algorithmics
Pierre Bonami, Jon Lee, Sven Leyffer, Andreas Wächter
2013 J jnl
TACO: a toolkit for AMPL control optimization.
Math. Program. Comput.
Christian Kirches, Sven Leyffer
2013 — conf
Unsupervised cell identification on multidimensional X-ray fluorescence datasets.
SIGGRAPH Posters
Siwei Wang, Jesse Ward, Sven Leyffer, Stefan M. Wild, Chris Jacobsen, Stefan Vogt
2012 J jnl
A nonmonotone filter method for nonlinear optimization.
Comput. Optim. Appl.
Chungen Shen, Sven Leyffer, Roger Fletcher
2012 J jnl
A pivoting algorithm for linear programming with linear complementarity constraints.
Optim. Methods Softw.
Haw-ren Fang, Sven Leyffer, Todd S. Munson
2012 J jnl
Fast Response to Infection Spread and Cyber Attacks on Large-Scale Networks
CoRR
Sven Leyffer, Ilya Safro
2012 A conf
Heuristic static load-balancing algorithm applied to the fragment molecular orbital method.
SC
Yuri Alexeev, Ashutosh Mahajan, Sven Leyffer, Graham Fletcher, Dmitri G. Fedorov
2011 J jnl
Concrete Structure Design using Mixed-Integer Nonlinear Programming with Complementarity Constraints.
SIAM J. Optim.
Andres Guerra, Alexandra M. Newman, Sven Leyffer
2011 J jnl
Optimal response to attacks on the open science grid.
Comput. Networks
Mine Altunay, Sven Leyffer, Jeffrey T. Linderoth, Zhen Xie
2011 J jnl
Special Section: 2010 Copper Mountain Conference.
SIAM J. Sci. Comput.
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
2010 J jnl
FilMINT: An Outer Approximation-Based Solver for Convex Mixed-Integer Nonlinear Programs.
INFORMS J. Comput.
Kumar Abhishek, Sven Leyffer, Jeff T. Linderoth
2010 J jnl
Solving multi-leader-common-follower games.
Optim. Methods Softw.
Sven Leyffer, Todd S. Munson
2009 J jnl
A Complementarity Constraint Formulation of Convex Multiobjective Optimization Problems.
INFORMS J. Comput.
Sven Leyffer
2009 — ch.
Generalized Outer Approximation.
Encyclopedia of Optimization
Sven Leyffer
2008 J jnl
Global and Finite Termination of a Two-Phase Augmented Lagrangian Filter Method for General Quadratic Programs.
SIAM J. Sci. Comput.
Michael P. Friedlander, Sven Leyffer
2006 J jnl
A Trust-Region Algorithm for Global Optimization.
Comput. Optim. Appl.
Bernardetta Addis, Sven Leyffer
2006 J jnl
Interior Methods for Mathematical Programs with Complementarity Constraints.
SIAM J. Optim.
Sven Leyffer, Gabriel López-Calva, Jorge Nocedal
2006 J jnl
Leader-Follower Equilibria for Electric Power and NO
Comput. Manag. Sci.
Yihsu Chen, Benjamin F. Hobbs, Sven Leyffer, Todd S. Munson
2006 J jnl
Local Convergence of SQP Methods for Mathematical Programs with Equilibrium Constraints.
SIAM J. Optim.
Roger Fletcher, Sven Leyffer, Danny Ralph, Stefan Scholtes
2005 J jnl
Foreword: Special Issue on Deterministic Global Optimization and Applications.
Math. Program.
Sven Leyffer, Jorge J. Moré
2005 J jnl
The penalty interior-point method fails to converge.
Optim. Methods Softw.
Sven Leyffer
2004 J jnl
A Multidimensional Filter Algorithm for Nonlinear Equations and Nonlinear Least-Squares.
SIAM J. Optim.
Nicholas I. M. Gould, Sven Leyffer, Philippe L. Toint
2004 J jnl
Nonlinear programming: theory and practice.
Math. Program.
Nick I. M. Gould, Sven Leyffer, Philippe L. Toint
2004 J jnl
On the global minimization of the value-at-risk.
Optim. Methods Softw.
Jong-Shi Pang, Sven Leyffer
2004 J jnl
Solving mathematical programs with complementarity constraints as nonlinear programs.
Optim. Methods Softw.
Roger Fletcher, Sven Leyffer
2003 J jnl
Constrained Nonlinear Programming for Volatility Estimation with GARCH Models.
SIAM Rev.
Aslihan Altay-Salih, Mustafa Ç. Pinar, Sven Leyffer
2002 J jnl
Global Convergence of a Trust-Region SQP-Filter Algorithm for General Nonlinear Programming.
SIAM J. Optim.
Roger Fletcher, Nicholas I. M. Gould, Sven Leyffer, Philippe L. Toint, Andreas Wächter
2002 J jnl
Nonlinear programming without a penalty function.
Math. Program.
Roger Fletcher, Sven Leyffer
2002 J jnl
On the Global Convergence of a Filter--SQP Algorithm.
SIAM J. Optim.
Roger Fletcher, Sven Leyffer, Philippe L. Toint
2001 J jnl
Integrating SQP and Branch-and-Bound for Mixed Integer Nonlinear Programming.
Comput. Optim. Appl.
Sven Leyffer
1998 J jnl
Numerical Experience with Lower Bounds for MIQP Branch-And-Bound.
SIAM J. Optim.
Roger Fletcher, Sven Leyffer
1994 J jnl
Solving mixed integer nonlinear programs by outer approximation.
Math. Program.
Roger Fletcher, Sven Leyffer