Rajeev Verma

39 papers A* 1A 3C 2Journal 18Unranked 15
YearRankTypeTitle / Venue / Authors
2026 J jnl
CoRR
Alejandro Monroy Muñoz, Rajeev Verma, Alexander Timans
2026 J jnl
CoRR
Dominykas Seputis, Alexander Timans, Rajeev Verma
2026 J jnl
CoRR
Anurag Singh, Julian Rodemann, Rajeev Verma, Siu Lun Chau, Krikamol Muandet
2026 J jnl
IEEE Trans. Computers
Seunghak Lee, Wonjae Lee, Hojin Nam, Jehoon Park, Youngshin Park, Heesoo Kim, Junhyeok Im, Jinin So, Raghu Vamsi Krishna Talanki, Praful Ramesh O, Rajeev Verma, Taeksang Song, Wonhwa Shin, Sangjoon Hwang
2025 conf
IJCCI (3)
Atefeh Gilvari, Ziad Kobti, Narayan C. Kar, Nasrin Tavakoli, Rajeev Verma
2025 conf
FAccT
Rajeev Verma, Volker Fischer, Eric T. Nalisnick
2025 A conf
UAI
Alexander Timans, Rajeev Verma, Eric T. Nalisnick, Christian A. Naesseth
2025 J jnl
CoRR
Alexander Timans, Rajeev Verma, Eric T. Nalisnick, Christian A. Naesseth
2025 J jnl
CoRR
Jakub Podolak, Rajeev Verma
2024 A conf
AISTATS
Dharmesh Tailor, Aditya Patra, Rajeev Verma, Putra Manggala, Eric T. Nalisnick
2024 J jnl
CoRR
Dharmesh Tailor, Aditya Patra, Rajeev Verma, Putra Manggala, Eric T. Nalisnick
2024 J jnl
CoRR
Rajeev Verma, Volker Fischer, Eric T. Nalisnick
2023 conf
ICCCNT
Rajeev Verma, Srikant Satya Sai, Ajay Kumar Sharma
2023 conf
IC3
Rajeev Verma, Avinash Chandra Pandey
2023 A conf
AISTATS
Rajeev Verma, Daniel Barrejón, Eric T. Nalisnick
2023 conf
SIGIR-AP
Rajeev Verma, Tirthankar Ghosal, Saprativa Bhattacharjee, Asif Ekbal, Pushpak Bhattacharyya
2022 A* conf
ICML
Rajeev Verma, Eric T. Nalisnick
2022 J jnl
CoRR
Rajeev Verma, Eric T. Nalisnick
2022 J jnl
Int. J. Electron. Gov. Res.
Ranjani Kumari, Alok Kumar Singh, Rajeev Verma, Abdulla Hamad M. A. Fetais
2022 J jnl
CoRR
Rajeev Verma, Daniel Barrejón, Eric T. Nalisnick
2022 conf
AACL/IJCNLP (1)
Rajeev Verma, Rajarshi Roychoudhury, Tirthankar Ghosal
2021 conf
ICONIP (6)
Rajeev Verma, Kartik Shinde, Hardik Arora, Tirthankar Ghosal
2020 conf
ICADL
Tirthankar Ghosal, Rajeev Verma, Asif Ekbal, Sriparna Saha, Pushpak Bhattacharyya
2019 conf
JCDL
Tirthankar Ghosal, Rajeev Verma, Asif Ekbal, Pushpak Bhattacharyya
2019 J jnl
CoRR
Richard McKinley, Lorenz Grunder, Rik Wepfer, Fabian Aschwanden, Tim Fischer, Christoph Friedli, Raphaela Muri, Christian Rummel, Rajeev Verma, Christian Weisstanner, Mauricio Reyes, Anke Salmen, Andrew Chan, Roland Wiest, Franca Wagner
2019 conf
ACL (1)
Tirthankar Ghosal, Rajeev Verma, Asif Ekbal, Pushpak Bhattacharyya
2019 J jnl
CoRR
Richard McKinley, Rik Wepfer, Fabian Aschwanden, Lorenz Grunder, Raphaela Muri, Christian Rummel, Rajeev Verma, Christian Weisstanner, Mauricio Reyes, Anke Salmen, Andrew Chan, Franca Wagner, Roland Wiest
2018 J jnl
CoRR
Tirthankar Ghosal, Rajeev Verma, Asif Ekbal, Sriparna Saha, Pushpak Bhattacharyya
2018 conf
JCDL
Tirthankar Ghosal, Rajeev Verma, Asif Ekbal, Sriparna Saha, Pushpak Bhattacharyya
2017 J jnl
IEEE Trans. Dependable Secur. Comput.
Reza Azarderakhsh, Dieter Fishbein, Gurleen Grewal, Shi Hu, David Jao, Patrick Longa, Rajeev Verma
2016 C conf
ACC
Chinmaya Patil, Payam Naghshtabrizi, Rajeev Verma, Zhijun Tang, Kandler Smith, Ying Shi
2012 J jnl
IEEE Trans. Autom. Control.
Rajeev Verma, Domitilla Del Vecchio
2011 conf
ITSC
Rajeev Verma, Domitilla Del Vecchio
2011 conf
CDC/ECC
Rajeev Verma, Domitilla Del Vecchio
2011 J jnl
IEEE Robotics Autom. Mag.
Rajeev Verma, Domitilla Del Vecchio
2010 conf
CDC
Rajeev Verma, Domitilla Del Vecchio
2009 C conf
ACC
Domitilla Del Vecchio, Michael Malisoff, Rajeev Verma
2009 conf
CDC
Rajeev Verma, Domitilla Del Vecchio
2006 J jnl
Appl. Math. Comput.
Rajeev Verma, Niranjan Roy, Ranjan Ganguli
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"