Caleb Koch

31 papers A* 10A 4B 1Journal 16
YearRankTypeTitle / Venue / Authors
2026 A* conf
SODA
Lorenzo Beretta, Nathaniel Harms, Caleb Koch
2026 A conf
ITCS
Guy Blanc, Caleb Koch, Jane Lange, Carmen Strassle, Li-Yang Tan
2025 A* conf
FOCS
Guy Blanc, Caleb Koch, Carmen Strassle, Li-Yang Tan
2025 J jnl
CoRR
Guy Blanc, Caleb Koch, Carmen Strassle, Li-Yang Tan
2025 J jnl
CoRR
Guy Blanc, Caleb Koch, Jane Lange, Carmen Strassle, Li-Yang Tan
2025 J jnl
CoRR
Lorenzo Beretta, Nathaniel Harms, Caleb Koch
2025 J jnl
CoRR
Guy Blanc, Caleb Koch, Jane Lange, Carmen Strassle, Li-Yang Tan
2024 A conf
CCC
Guy Blanc, Caleb Koch, Carmen Strassle, Li-Yang Tan
2024 J jnl
CoRR
Guy Blanc, Caleb Koch, Carmen Strassle, Li-Yang Tan
2024 A* conf
FOCS
Caleb Koch, Carmen Strassle, Li-Yang Tan
2024 J jnl
CoRR
Caleb Koch, Carmen Strassle, Li-Yang Tan
2024 A* conf
COLT
Caleb Koch, Carmen Strassle, Li-Yang Tan
2024 J jnl
CoRR
Caleb Koch, Carmen Strassle, Li-Yang Tan
2024 A* conf
FOCS
Guy Blanc, Alexandre Hayderi, Caleb Koch, Li-Yang Tan
2024 J jnl
CoRR
Guy Blanc, Alexandre Hayderi, Caleb Koch, Li-Yang Tan
2023 J jnl
CoRR
Guy Blanc, Caleb Koch, Carmen Strassle, Li-Yang Tan
2023 A* conf
FOCS
Guy Blanc, Caleb Koch, Carmen Strassle, Li-Yang Tan
2023 J jnl
Dagstuhl Artifacts Ser.
Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva
2023 A conf
ECOOP
Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva
2023 A conf
ITCS
Guy Blanc, Caleb Koch, Jane Lange, Carmen Strassle, Li-Yang Tan
2023 J jnl
CoRR
Caleb Koch, Carmen Strassle, Li-Yang Tan
2023 A* conf
FOCS
Caleb Koch, Carmen Strassle, Li-Yang Tan
2023 A* conf
SODA
Caleb Koch, Carmen Strassle, Li-Yang Tan
2022 J jnl
CoRR
Guy Blanc, Caleb Koch, Jane Lange, Li-Yang Tan
2022 A* conf
ICML
Guy Blanc, Caleb Koch, Jane Lange, Li-Yang Tan
2022 J jnl
CoRR
Guy Blanc, Caleb Koch, Jane Lange, Carmen Strassle, Li-Yang Tan
2022 J jnl
CoRR
Caleb Koch, Carmen Strassle, Li-Yang Tan
2022 J jnl
CoRR
Guy Blanc, Caleb Koch, Jane Lange, Li-Yang Tan
2022 A* conf
STOC
Guy Blanc, Caleb Koch, Jane Lange, Li-Yang Tan
2017 B conf
MASS
Andrew Crutcher, Caleb Koch, Kyle Coleman, Jon Patman, Flavio Esposito, Prasad Calyam
2017 J jnl
CoRR
Andrew Crutcher, Caleb Koch, Kyle Coleman, Jon Patman, Flavio Esposito, Prasad Calyam
scripts/setup-and-run.sh
← Index scripts/setup-and-run.sh bash
#!/bin/bash
set -e

# Setup Binary Ninja Python API if available on host (from snapshot)
if [ -d "/opt/binaryninja" ] && [ -f "/opt/binaryninja/scripts/linux-setup.sh" ]; then
    echo "Binary Ninja found on host, setting up Python API..."
    cd /opt
    ./binaryninja/scripts/linux-setup.sh -s || echo "Binary Ninja setup failed"
    
    # Change back to the app directory
    cd /app
    
    # Verify installation
    python3 -c "import binaryninja; print('Binary Ninja Python API ready, version:', binaryninja.core_version())" 2>/dev/null || echo "Binary Ninja Python API not available"
else
    echo "Binary Ninja not found on host - decompilation will be disabled"
fi

# Copy license if available
if [ -f "/opt/binaryninja-license/license.dat" ]; then
    mkdir -p ~/.binaryninja
    cp /opt/binaryninja-license/license.dat ~/.binaryninja/
    echo "Binary Ninja license configured"
fi

# Execute the original command
exec "$@"