Joey Huchette

Orcid: 0000-0003-3552-0316

According to our database1, Joey Huchette authored at least 24 papers between 2012 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Modeling combinatorial disjunctive constraints via junction trees.
Math. Program., March, 2024

2023
JuMP 1.0: recent improvements to a modeling language for mathematical optimization.
Math. Program. Comput., September, 2023

Nonconvex Piecewise Linear Functions: Advanced Formulations and Simple Modeling Tools.
Oper. Res., 2023

When Deep Learning Meets Polyhedral Theory: A Survey.
CoRR, 2023

Combinatorial Disjunctive Constraints for Obstacle Avoidance in Path Planning.
IROS, 2023

2022
Compact mixed-integer programming formulations in quadratic optimization.
J. Glob. Optim., 2022

Neural Network Verification as Piecewise Linear Optimization: Formulations for the Composition of Staircase Functions.
CoRR, 2022

JuMP 1.0.
CoRR, 2022

2020
Strong mixed-integer programming formulations for trained neural networks.
Math. Program., 2020

Contextual Reserve Price Optimization in Auctions.
CoRR, 2020

The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

Contextual Reserve Price Optimization in Auctions via Mixed Integer Programming.
Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

2019
A geometric way to build strong mixed-integer programming formulations.
Oper. Res. Lett., 2019

A Combinatorial Approach for Small and Strong Formulations of Disjunctive Constraints.
Math. Oper. Res., 2019

Strong Mixed-Integer Programming Formulations for Trained Neural Networks.
Proceedings of the Integer Programming and Combinatorial Optimization, 2019

2018
On efficient Hessian computation using the edge pushing algorithm in Julia.
Optim. Methods Softw., 2018

Beating the SDP bound for the floor layout problem: a simple combinatorial idea.
INFOR Inf. Syst. Oper. Res., 2018

Strong mixed-integer formulations for the floor layout problem.
INFOR Inf. Syst. Oper. Res., 2018

2017
JuMP: A Modeling Language for Mathematical Optimization.
SIAM Rev., 2017

Extended formulations in mixed integer conic quadratic programming.
Math. Program. Comput., 2017

2014
Parallel algebraic modeling for stochastic optimization.
Proceedings of the 1st First Workshop for High Performance Technical Computing in Dynamic Languages, 2014

2013
Taming parallel I/O complexity with auto-tuning.
Proceedings of the International Conference for High Performance Computing, 2013

A framework for auto-tuning HDF5 applications.
Proceedings of the 22nd International Symposium on High-Performance Parallel and Distributed Computing, 2013

2012
Abstract: Auto-Tuning of Parallel IO Parameters for HDF5 Applications.
Proceedings of the 2012 SC Companion: High Performance Computing, 2012


  Loading...