Abstract: Auto-Tuning of Parallel IO Parameters for HDF5 Applications. - Babak Behzad; Joey Huchette; Huong Luu 002; Ruth A. Aydt; Quincey Koziol; Prabhat; Surendra Byna; Mohamad Chaarawi; Yushu Yao (SC Companion, 2012)

A framework for auto-tuning HDF5 applications. - Babak Behzad; Joey Huchette; Huong Vu Thanh Luu; Ruth A. Aydt; Surendra Byna; Yushu Yao; Quincey Koziol; Prabhat (HPDC, 2013)

Taming parallel I/O complexity with auto-tuning. - Babak Behzad; Huong Vu Thanh Luu; Joseph Huchette; Surendra Byna; Prabhat; Ruth A. Aydt; Quincey Koziol; Marc Snir (SC, 2013)

Parallel algebraic modeling for stochastic optimization. - Joey Huchette; Miles Lubin; Cosmin G. Petra (HPTCDL@SC, 2014)

Extended formulations in mixed integer conic quadratic programming. - Juan Pablo Vielma; Iain Dunning; Joey Huchette; Miles Lubin (Math. Program. Comput., 2017)

JuMP: A Modeling Language for Mathematical Optimization. - Iain Dunning; Joey Huchette; Miles Lubin (SIAM Rev., 2017)

Strong mixed-integer formulations for the floor layout problem. - Joey Huchette; Santanu S. Dey; Juan Pablo Vielma (INFOR Inf. Syst. Oper. Res., 2018)

Beating the SDP bound for the floor layout problem: a simple combinatorial idea. - Joey Huchette; Santanu S. Dey; Juan Pablo Vielma (INFOR Inf. Syst. Oper. Res., 2018)

On efficient Hessian computation using the edge pushing algorithm in Julia. - Cosmin G. Petra; Feng Qiang; Miles Lubin; Joey Huchette (Optim. Methods Softw., 2018)

Strong Mixed-Integer Programming Formulations for Trained Neural Networks. - Ross Anderson; Joey Huchette; Christian Tjandraatmadja; Juan Pablo Vielma (IPCO, 2019)

A Combinatorial Approach for Small and Strong Formulations of Disjunctive Constraints. - Joey Huchette; Juan Pablo Vielma (Math. Oper. Res., 2019)

A geometric way to build strong mixed-integer programming formulations. - Joey Huchette; Juan Pablo Vielma (Oper. Res. Lett., 2019)

Contextual Reserve Price Optimization in Auctions via Mixed Integer Programming. - Joey Huchette; Haihao Lu; Hossein Esfandiari; Vahab S. Mirrokni (NeurIPS, 2020)

The Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification. - Christian Tjandraatmadja; Ross Anderson; Joey Huchette; Will Ma; Krunal Patel; Juan Pablo Vielma (NeurIPS, 2020)

Contextual Reserve Price Optimization in Auctions. - Joey Huchette; Haihao Lu; Hossein Esfandiari; Vahab S. Mirrokni (CoRR, 2020)

Strong mixed-integer programming formulations for trained neural networks. - Ross Anderson; Joey Huchette; Will Ma; Christian Tjandraatmadja; Juan Pablo Vielma (Math. Program., 2020)

JuMP 1.0. - Miles Lubin; Oscar Dowson; Joaquim Dias Garcia; Joey Huchette; Benoît Legat; Juan Pablo Vielma (CoRR, 2022)

Neural Network Verification as Piecewise Linear Optimization: Formulations for the Composition of Staircase Functions. - Tu Anh-Nguyen; Joey Huchette (CoRR, 2022)

Compact mixed-integer programming formulations in quadratic optimization. - Benjamin Beach; Robert Hildebrand; Joey Huchette (J. Glob. Optim., 2022)

Combinatorial Disjunctive Constraints for Obstacle Avoidance in Path Planning. - Raul Garcia; Illya V. Hicks; Joey Huchette (IROS, 2023)

When Deep Learning Meets Polyhedral Theory: A Survey. - Joey Huchette; Gonzalo Muñoz 001; Thiago Serra; Calvin Tsay (CoRR, 2023)

Nonconvex Piecewise Linear Functions: Advanced Formulations and Simple Modeling Tools. - Joey Huchette; Juan Pablo Vielma (Oper. Res., 2023)

JuMP 1.0: recent improvements to a modeling language for mathematical optimization. - Miles Lubin; Oscar Dowson; Joaquim Dias Garcia; Joey Huchette; Benoît Legat; Juan Pablo Vielma (Math. Program. Comput., 2023)

Learning Generalized Linear Programming Value Functions. - Tu Anh-Nguyen; Joey Huchette; Christian Tjandraatmadja (NeurIPS, 2024)

Modeling combinatorial disjunctive constraints via junction trees. - Bochuan Lyu; Illya V. Hicks; Joey Huchette (Math. Program., 2024)