R. Ryan Williams

67 papers A* 22A 10B 4Journal 29Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
CoRR
R. Ryan Williams
2025 A* conf
STOC
R. Ryan Williams
2025 A* conf
STOC
Dean Doron, Edward Pyne, Roei Tell, R. Ryan Williams
2024 A conf
ITCS
Ce Jin, R. Ryan Williams, Nathaniel Young
2024 A* conf
STOC
Shuichi Hirahara, Rahul Ilango, R. Ryan Williams
2024 J jnl
CoRR
Marco Carmosino, Ronald Fagin, Neil Immerman, Phokion G. Kolaitis, Jonathan Lenchner, Rik Sengupta, R. Ryan Williams
2024 A* conf
STOC
R. Ryan Williams
2024 A conf
ITCS
Gabriel Bathie, R. Ryan Williams
2023 J jnl
CoRR
Shyan Akmal, Virginia Vassilevska Williams, R. Ryan Williams, Zixuan Xu
2023 J jnl
Algorithmica
Shyan Akmal, Lijie Chen, Ce Jin, Malvika Raj, R. Ryan Williams
2023 A* conf
STOC
Rahul Ilango, Jiatu Li, R. Ryan Williams
2023 J jnl
Theory Comput. Syst.
Nikhil Vyas, R. Ryan Williams
2022 J jnl
CoRR
Lijie Chen, Ce Jin, Rahul Santhanam, R. Ryan Williams
2022 B conf
MFCS
Ronald Fagin, Jonathan Lenchner, Nikhil Vyas, R. Ryan Williams
2022 A conf
ITCS
Brynmor Chapman, R. Ryan Williams
2022 A* conf
SODA
Lijie Chen, Ce Jin, R. Ryan Williams, Hongxun Wu
2021 B conf
MFCS
Brynmor Chapman, R. Ryan Williams
2021 A conf
ITCS
Alexander Golovnev, Alexander S. Kulikov, R. Ryan Williams
2021 A* conf
LICS
R. Ryan Williams
2021 A* conf
FOCS
Lijie Chen, Ce Jin, Rahul Santhanam, R. Ryan Williams
2021 J jnl
ACM Trans. Algorithms
Timothy M. Chan, R. Ryan Williams
2021 J jnl
SIAM Rev.
R. Ryan Williams
2021 J jnl
CoRR
Shyan Akmal, R. Ryan Williams
2021 J jnl
J. Artif. Intell. Res.
Nikhil Vyas, R. Ryan Williams
2021 J jnl
CoRR
Brynmor Chapman, R. Ryan Williams
2021 A conf
ITCS
Abhijit Mudigonda, R. Ryan Williams
2021 J jnl
CoRR
Lijie Chen, Ce Jin, R. Ryan Williams, Hongxun Wu
2020 A* conf
FOCS
Lijie Chen, Xin Lyu, R. Ryan Williams
2020 J jnl
SIAM J. Comput.
Cody D. Murray, R. Ryan Williams
2020 A* conf
SODA
Josh Alman, Timothy M. Chan, R. Ryan Williams
2020 A conf
STACS
Nikhil Vyas, R. Ryan Williams
2020 J jnl
Electron. Colloquium Comput. Complex.
Lijie Chen, Ce Jin, R. Ryan Williams
2020 A* conf
STOC
Lijie Chen, Ce Jin, R. Ryan Williams
2020 J jnl
CoRR
Abhijit Mudigonda, R. Ryan Williams
2019 A* conf
FOCS
Lijie Chen, Ce Jin, R. Ryan Williams
2019 A conf
SAT
Nikhil Vyas, R. Ryan Williams
2019 A conf
CCC
Lijie Chen, Dylan M. McKay, Cody D. Murray, R. Ryan Williams
2019 J jnl
Electron. Colloquium Comput. Complex.
Lijie Chen, Dylan M. McKay, Cody Murray, R. Ryan Williams
2019 ch.
Computing and Software Science
R. Ryan Williams
2019 A conf
CCC
Lijie Chen, R. Ryan Williams
2019 A* conf
STOC
Dylan M. McKay, Cody D. Murray, R. Ryan Williams
2018 A* conf
STOC
Cody Murray, R. Ryan Williams
2018 conf
SOSA
R. Ryan Williams
2018 J jnl
SIAM J. Comput.
R. Ryan Williams
2018 J jnl
CoRR
R. Ryan Williams
2018 J jnl
Theory Comput.
R. Ryan Williams
2018 J jnl
J. ACM
Virginia Vassilevska Williams, R. Ryan Williams
2018 A* conf
SODA
Andrea Lincoln, Virginia Vassilevska Williams, R. Ryan Williams
2017 A* conf
SODA
Daniel Lokshtanov, Ramamohan Paturi, Suguru Tamaki, R. Ryan Williams, Huacheng Yu
2017 J jnl
Electron. Colloquium Comput. Complex.
Cody Murray, R. Ryan Williams
2017 A* conf
SODA
Jiawei Gao, Russell Impagliazzo, Antonina Kolokolova, R. Ryan Williams
2017 A* conf
FOCS
Amir Abboud, Aviad Rubinstein, R. Ryan Williams
2017 A conf
CCC
Cody D. Murray, R. Ryan Williams
2017 A* conf
SODA
Kasper Green Larsen, R. Ryan Williams
2017 B conf
IPEC
Andreas Björklund, Petteri Kaski, R. Ryan Williams
2017 J jnl
Theory Comput.
Cody D. Murray, R. Ryan Williams
2017 J jnl
CoRR
R. Ryan Williams
2017 A* conf
STOC
Josh Alman, R. Ryan Williams
2017 J jnl
ACM SIGLOG News
R. Ryan Williams
2017 J jnl
CoRR
Daniel M. Kane, R. Ryan Williams
2017 J jnl
CoRR
Andrea Lincoln, Virginia Vassilevska Williams, R. Ryan Williams
2016 A* conf
ICALP
Andrea Lincoln, Virginia Vassilevska Williams, Joshua R. Wang, R. Ryan Williams
2016 J jnl
CoRR
Andrea Lincoln, Virginia Vassilevska Williams, Joshua R. Wang, R. Ryan Williams
2016 J jnl
SIAM J. Comput.
R. Ryan Williams
2016 A* conf
FOCS
Josh Alman, Timothy M. Chan, R. Ryan Williams
2015 B conf
CSL
R. Ryan Williams
2008 J jnl
Comput. Complex.
R. Ryan Williams
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"