Jack Hodges

15 papers A* 1Misc 1Journal 6Unranked 7
YearRankTypeTitle / Venue / Authors
2021 J jnl
Adv. Eng. Informatics
Liyu Wang, Jack Hodges, Dan Yu, Ronald S. Fearing
2021 conf
IUI Companion
Peter Poller, Margarita Chikobava, Jack Hodges, Mareike Kritzler, Florian Michahelles, Tilman Becker
2019 conf
WWW (Companion Volume)
Mareike Kritzler, Jack Hodges, Dan Yu, Kimberly García, Hemant Shukla, Florian Michahelles
2018 Misc conf
SEMANTiCS
Ahmed Shafei, Jack Hodges, Simon Mayer
2018 conf
IOT
Konrad Diwold, Simon Mayer, Alfred Einfalt, Josiane Xavier Parreira, Jack Hodges, Darko Anicic, Ralf Mosshammer
2017 J jnl
IEEE Intell. Syst.
Simon Mayer, Jack Hodges, Dan Yu, Mareike Kritzler, Florian Michahelles
2017 conf
ISWC (Posters, Demos & Industry Tracks)
Simon Mayer, Jack Hodges, Dan Yu, Konrad Diwold
2017 conf
ICSC
Jason Koh, Steven Ray, Jack Hodges
2017 J jnl
Computer
Jack Hodges, Kimberly García, Steven Ray
2015 conf
IOT
Ralf Mosshammer, Alfred Einfalt, Andreas Lugmaier, Jack Hodges, Florian Michahelles
2014 conf
UbiComp Adjunct
Erik Wilde, Stefan Lüder, Jack Hodges, Florian Michahelles, Mareike Kritzler
1995 J jnl
Comput. Vis. Image Underst.
Jack Hodges
1992 J jnl
IEEE Expert
Jack Hodges
1987 A* conf
IJCAI
Michael G. Dyer, Margot Flowers, Jack Hodges
1986 J jnl
Artif. Intell. Eng.
Michael G. Dyer, Margot Flowers, Jack Hodges
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"