Oliver Hinder

33 papers A* 12Journal 21
YearRankTypeTitle / Venue / Authors
2025 J jnl
Oper. Res.
Zhaonan Qu, Wenzhi Gao, Oliver Hinder, Yinyu Ye, Zhengyuan Zhou
2025 J jnl
CoRR
Jared Lawrence, Ari Kalinsky, Hannah Bradfield, Yair Carmon, Oliver Hinder
2024 A* conf
COLT
Itai Kreisler, Maor Ivgi, Oliver Hinder, Yair Carmon
2024 J jnl
CoRR
Itai Kreisler, Maor Ivgi, Oliver Hinder, Yair Carmon
2024 A* conf
COLT
Yair Carmon, Oliver Hinder
2024 J jnl
CoRR
Yair Carmon, Oliver Hinder
2024 J jnl
Math. Oper. Res.
Oliver Hinder, Yinyu Ye
2024 J jnl
Oper. Res. Lett.
Oliver Hinder
2023 A* conf
NeurIPS
Jungtaek Kim, Mingxuan Li, Oliver Hinder, Paul W. Leu
2023 J jnl
CoRR
Jungtaek Kim, Mingxuan Li, Oliver Hinder, Paul W. Leu
2023 A* conf
ICML
Maor Ivgi, Oliver Hinder, Yair Carmon
2023 J jnl
CoRR
Maor Ivgi, Oliver Hinder, Yair Carmon
2023 J jnl
Math. Program.
David L. Applegate, Oliver Hinder, Haihao Lu, Miles Lubin
2022 A* conf
NeurIPS
Fadi Hamad, Oliver Hinder
2022 A* conf
COLT
Yair Carmon, Oliver Hinder
2022 J jnl
CoRR
Yair Carmon, Oliver Hinder
2022 J jnl
CoRR
Zhaonan Qu, Wenzhi Gao, Oliver Hinder, Yinyu Ye, Zhengyuan Zhou
2021 J jnl
Math. Program.
Yair Carmon, John C. Duchi, Oliver Hinder, Aaron Sidford
2021 J jnl
Math. Program.
Gabriel Haeser, Oliver Hinder, Yinyu Ye
2021 A* conf
NeurIPS
David L. Applegate, Mateo Díaz, Oliver Hinder, Haihao Lu, Miles Lubin, Brendan O'Donoghue, Warren Schudy
2020 A* conf
NeurIPS
Rudy Bunel, Oliver Hinder, Srinadh Bhojanapalli, Krishnamurthy Dvijotham
2020 J jnl
CoRR
Rudy Bunel, Oliver Hinder, Srinadh Bhojanapalli, Krishnamurthy Dvijotham
2020 A* conf
NeurIPS
John C. Duchi, Oliver Hinder, Andrew Naber, Yinyu Ye
2020 J jnl
Math. Program.
Yair Carmon, John C. Duchi, Oliver Hinder, Aaron Sidford
2020 A* conf
COLT
Oliver Hinder, Aaron Sidford, Nimit Sharad Sohoni
2019 J jnl
CoRR
Oliver Hinder, Aaron Sidford, Nimit Sharad Sohoni
2018 J jnl
CoRR
Oliver Hinder, Yinyu Ye
2018 J jnl
SIAM J. Optim.
Yair Carmon, John C. Duchi, Oliver Hinder, Aaron Sidford
2018 A* conf
COLT
Oliver Hinder
2018 J jnl
CoRR
Oliver Hinder
2017 A* conf
ICML
Yair Carmon, John C. Duchi, Oliver Hinder, Aaron Sidford
2017 J jnl
Eur. J. Oper. Res.
Oliver Hinder, Andrew J. Mason
2016 J jnl
CoRR
Yair Carmon, John C. Duchi, Oliver Hinder, Aaron Sidford
docker-build.sh
← Index docker-build.sh bash
#!/bin/bash

set -e

echo "Building REDB Docker image for linux/amd64 platform..."

# Function to tag the most recent <none> image
tag_unnamed_image() {
    local tag_name=$1
    local expected_size=$2
    
    # Get the most recent <none> image
    local image_id=$(docker images --filter "dangling=true" --format "{{.ID}}" | head -1)
    
    if [ -z "$image_id" ]; then
        echo "ERROR: No unnamed image found. Build may have failed."
        return 1
    fi
    
    local actual_size=$(docker images --format "table {{.ID}}\t{{.Size}}" | grep $image_id | awk '{print $2}')
    echo "Found image $image_id with size: $actual_size (expected: $expected_size)"
    
    # Tag the image
    echo "Tagging as $tag_name..."
    docker tag $image_id $tag_name
    
    return 0
}

# Build single unified image
echo ""
echo "Building REDB unified image - Supports both feature extraction and decompilation..."
echo "NOTE: If build hangs at 'exporting to image', press Ctrl+C - the image will still be created!"
echo ""

docker build --platform linux/amd64 -f Dockerfile -t redb:latest . || echo "Build interrupted (this is expected due to Docker Desktop bug)"

# Tag the image if it was built as unnamed
if docker images --filter "dangling=true" --format "{{.ID}}" | head -1 | grep -q "."; then
    tag_unnamed_image "redb:latest" "500MB"
fi

echo ""
echo "Docker build completed!"
echo ""
echo "Available images:"
docker images | grep redb

echo ""
echo "Image size:"
echo "REDB unified image: $(docker images redb:latest --format "{{.Size}}")"

echo ""
echo "Usage:"
echo "  Feature extraction: docker run redb:latest python3 start.py --nomad-job"
echo "  Decompilation:      docker run redb:latest python3 start.py --nomad-job --decompile"
echo "  Custom modules:     docker run redb:latest python3 start.py --nomad-job --modules BasicPropertiesExtractor,PEFeaturesExtractor"