Sven Leyffer

Orcid: 0000-0001-8839-5876

According to our database1, Sven Leyffer authored at least 72 papers between 1994 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Binary Control Pulse Optimization for Quantum Systems.
Quantum, January, 2023

Binary optimal control by trust-region steepest descent.
Math. Program., January, 2023

Robust A-Optimal Experimental Design for Bayesian Inverse Problems.
CoRR, 2023

2022
A Mixed-Integer PDE-Constrained Optimization Formulation for Electromagnetic Cloaking.
SIAM J. Sci. Comput., 2022

Stochastic Learning Approach for Binary Optimization: Application to Bayesian Optimal Design of Experiments.
SIAM J. Sci. Comput., 2022

Sequential Linearization Method for Bound-Constrained Mathematical Programs with Complementarity Constraints.
SIAM J. Optim., 2022

Modeling design and control problems involving neural network surrogates.
Comput. Optim. Appl., 2022

2021
A Bilevel Approach for Identifying the Worst Contingencies for Nonconvex Alternating Current Power Systems.
SIAM J. Optim., 2021

Minotaur: a mixed-integer nonlinear optimization toolkit.
Math. Program. Comput., 2021

A solution framework for linear PDE-constrained mixed-integer problems.
Math. Program., 2021

Joint ptycho-tomography with deep generative priors.
Mach. Learn. Sci. Technol., 2021

A method for convex black-box integer global optimization.
J. Glob. Optim., 2021

Practical algorithms for multivariate rational approximation.
Comput. Phys. Commun., 2021

BROOD: Bilevel and Robust Optimization and Outlier Detection for Efficient Tuning of High-Energy Physics Event Generators.
CoRR, 2021

Learning Symbolic Expressions: Mixed-Integer Formulations, Cuts, and Heuristics.
CoRR, 2021

Stochastic Learning Approach to Binary Optimization for Optimal Design of Experiments.
CoRR, 2021

Convergence of sum-up rounding schemes for cloaking problems governed by the Helmholtz equation.
Comput. Optim. Appl., 2021

MINLP formulations for continuous piecewise linear function fitting.
Comput. Optim. Appl., 2021

Compact representations of structured BFGS matrices.
Comput. Optim. Appl., 2021

2020
An augmented Lagrangian filter method.
Math. Methods Oper. Res., 2020

A survey of nonlinear robust optimization.
INFOR Inf. Syst. Oper. Res., 2020

Pufferscale: Rescaling HPC Data Services for High Energy Physics Applications.
Proceedings of the 20th IEEE/ACM International Symposium on Cluster, 2020

2019
Simultaneous Sensing Error Recovery and Tomographic Inversion Using an Optimization-Based Approach.
SIAM J. Sci. Comput., 2019

Multivariate Rational Approximation.
CoRR, 2019

2017
A Mathematical Programming- and Simulation-Based Framework to Evaluate Cyberinfrastructure Design Choices.
Proceedings of the 13th IEEE International Conference on e-Science, 2017

2016
Optimization-Based Approach for Joint X-Ray Fluorescence and Transmission Tomographic Inversion.
SIAM J. Imaging Sci., 2016

Doing Moore with Less - Leapfrogging Moore's Law with Inexactness for Supercomputing.
CoRR, 2016

A two-level approach to large mixed-integer programs with application to cogeneration in energy-efficient buildings.
Comput. Optim. Appl., 2016

Overcoming the power wall by exploiting inexactness and emerging COTS architectural features: Trading precision for improving application quality.
Proceedings of the 29th IEEE International System-on-Chip Conference, 2016

A multilevel approach for a class of semidefinite programs.
Proceedings of the 2016 American Control Conference, 2016

2015
An Active-Set Method for Second-Order Conic-Constrained Quadratic Programming.
SIAM J. Optim., 2015

Optimal response to epidemics and cyber attacks in networks.
Networks, 2015

Optimal scheduling of in-situ analysis for large-scale scientific simulations.
Proceedings of the International Conference for High Performance Computing, 2015

Visualizing and Improving the Robustness of Phase Retrieval Algorithms.
Proceedings of the International Conference on Computational Science, 2015

2014
Addressing failures in exascale computing.
Int. J. High Perform. Comput. Appl., 2014

Adaptively refined dynamic program for linear spline regression.
Comput. Optim. Appl., 2014

Machine-Learning-Based Load Balancing for Community Ice Code Component in CESM.
Proceedings of the High Performance Computing for Computational Science - VECPAR 2014 - 11th International Conference, Eugene, OR, USA, June 30, 2014

The Heuristic Static Load-Balancing Algorithm Applied to the Community Earth System Model.
Proceedings of the 2014 IEEE International Parallel & Distributed Processing Symposium Workshops, 2014

2013
TACO: a toolkit for AMPL control optimization.
Math. Program. Comput., 2013

On branching rules for convex mixed-integer nonlinear optimization.
ACM J. Exp. Algorithmics, 2013

Fast response to infection spread and cyber attacks on large-scale networks.
J. Complex Networks, 2013

Mixed-integer nonlinear optimization.
Acta Numer., 2013

Unsupervised cell identification on multidimensional X-ray fluorescence datasets.
Proceedings of the Special Interest Group on Computer Graphics and Interactive Techniques Conference, 2013

A New Perspective on Convex Relaxations of Sparse SVM.
Proceedings of the 13th SIAM International Conference on Data Mining, 2013

2012
A pivoting algorithm for linear programming with linear complementarity constraints.
Optim. Methods Softw., 2012

A nonmonotone filter method for nonlinear optimization.
Comput. Optim. Appl., 2012

Heuristic static load-balancing algorithm applied to the fragment molecular orbital method.
Proceedings of the SC Conference on High Performance Computing Networking, 2012

2011
Special Section: 2010 Copper Mountain Conference.
SIAM J. Sci. Comput., 2011

Concrete Structure Design using Mixed-Integer Nonlinear Programming with Complementarity Constraints.
SIAM J. Optim., 2011

Optimal response to attacks on the open science grid.
Comput. Networks, 2011

2010
Solving multi-leader-common-follower games.
Optim. Methods Softw., 2010

FilMINT: An Outer Approximation-Based Solver for Convex Mixed-Integer Nonlinear Programs.
INFORMS J. Comput., 2010

2009
Generalized Outer Approximation.
Proceedings of the Encyclopedia of Optimization, Second Edition, 2009

A Complementarity Constraint Formulation of Convex Multiobjective Optimization Problems.
INFORMS J. Comput., 2009

2008
Global and Finite Termination of a Two-Phase Augmented Lagrangian Filter Method for General Quadratic Programs.
SIAM J. Sci. Comput., 2008

2006
Interior Methods for Mathematical Programs with Complementarity Constraints.
SIAM J. Optim., 2006

Local Convergence of SQP Methods for Mathematical Programs with Equilibrium Constraints.
SIAM J. Optim., 2006

A Trust-Region Algorithm for Global Optimization.
Comput. Optim. Appl., 2006

Leader-Follower Equilibria for Electric Power and NO<sub> <i>x</i> </sub> Allowances Markets.
Comput. Manag. Sci., 2006

2005
The penalty interior-point method fails to converge.
Optim. Methods Softw., 2005

Foreword: Special Issue on Deterministic Global Optimization and Applications.
Math. Program., 2005

2004
A Multidimensional Filter Algorithm for Nonlinear Equations and Nonlinear Least-Squares.
SIAM J. Optim., 2004

On the global minimization of the value-at-risk.
Optim. Methods Softw., 2004

Solving mathematical programs with complementarity constraints as nonlinear programs.
Optim. Methods Softw., 2004

Nonlinear programming: theory and practice.
Math. Program., 2004

2003
Constrained Nonlinear Programming for Volatility Estimation with GARCH Models.
SIAM Rev., 2003

2002
On the Global Convergence of a Filter--SQP Algorithm.
SIAM J. Optim., 2002

Global Convergence of a Trust-Region SQP-Filter Algorithm for General Nonlinear Programming.
SIAM J. Optim., 2002

Nonlinear programming without a penalty function.
Math. Program., 2002

2001
Integrating SQP and Branch-and-Bound for Mixed Integer Nonlinear Programming.
Comput. Optim. Appl., 2001

1998
Numerical Experience with Lower Bounds for MIQP Branch-And-Bound.
SIAM J. Optim., 1998

1994
Solving mixed integer nonlinear programs by outer approximation.
Math. Program., 1994


  Loading...