Kalmer Apinis

19 papers A* 2B 3Journal 6Unranked 6
YearRankTypeTitle / Venue / Authors
2025 J jnl
CoRR
Kalmer Apinis, Danel Ahman
2024 conf
Datalog
Bruno Rucy Carneiro Alves de Lima, Kalmer Apinis, Merlin Kramer, Kristopher K. Micinski
2023 J jnl
CoRR
Bruno Rucy Carneiro Alves de Lima, Merlin Kramer, Kalmer Apinis
2023 conf
TACAS (2)
Kalmer Apinis, Vesal Vojdani
2023 conf
AICCC
Bruno Rucy Carneiro Alves de Lima, Merlin Kramer, Kalmer Apinis
2021 conf
TACAS (2)
Simmo Saan, Michael Schwarz, Kalmer Apinis, Julian Erhard, Helmut Seidl, Ralf Vogler, Vesal Vojdani
2021 B conf
SAS
Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani
2021 J jnl
CoRR
Michael Schwarz, Simmo Saan, Helmut Seidl, Kalmer Apinis, Julian Erhard, Vesal Vojdani
2018 J jnl
J. Log. Algebraic Methods Program.
Kalmer Apinis, Varmo Vene, Vesal Vojdani
2016 J jnl
Sci. Comput. Program.
Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani
2016 conf
Semantics, Logics, and Calculi
Kalmer Apinis, Helmut Seidl, Vesal Vojdani
2016 A* conf
ASE
Vesal Vojdani, Kalmer Apinis, Vootele Rõtov, Helmut Seidl, Varmo Vene, Ralf Vogler
2015 J jnl
CoRR
Gianluca Amato, Francesca Scozzari, Helmut Seidl, Kalmer Apinis, Vesal Vojdani
2014 ch.
Software Systems Safety
Helmut Seidl, Kalmer Apinis, Vesal Vojdani
2014
Kalmer Apinis
2014 B conf
VMCAI
Martin D. Schwarz, Helmut Seidl, Vesal Vojdani, Kalmer Apinis
2013 A* conf
PLDI
Kalmer Apinis, Helmut Seidl, Vesal Vojdani
2012 conf
NASA Formal Methods
Alexander Herz, Kalmer Apinis
2012 B conf
APLAS
Kalmer Apinis, Helmut Seidl, Vesal Vojdani
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"