:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Shi, Zheng, Mathur, Umang, Pavlogiannis, Andreas
Format:	Preprint
Published:	2024
Subjects:	Software Engineering
Online Access:	https://arxiv.org/abs/2401.05642
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Tree Clock Data Structure for Causal Orderings in Concurrent Executions
by: Mathur, Umang, et al.
Published: (2022)

Enhanced Data Race Prediction Through Modular Reasoning
by: Ang, Zhendong, et al.
Published: (2025)

Compiling Away the Overhead of Race Detection
by: Paznikov, Alexey, et al.
Published: (2025)

Efficient Decrease-and-Conquer Linearizability Monitoring
by: Han, Lee Zheng, et al.
Published: (2024)

GPUMC: A Stateless Model Checker for GPU Weak Memory Concurrency
by: Chakraborty, Soham, et al.
Published: (2025)

HardRace: A Dynamic Data Race Monitor for Production Use
by: Sun, Xudong, et al.
Published: (2024)

Program Skeletons for Automated Program Translation
by: Wang, Bo, et al.
Published: (2025)

RaceFixer -- An Automated Data Race Fixer
by: Malakar, Sanjay, et al.
Published: (2024)

Towards an Accurate GPU Data Race Detector
by: Nayak, Ajay, et al.
Published: (2026)

Adversarial Agent Collaboration for Correctness Improvements of C to Safe Rust Translation
by: Li, Tianyu, et al.
Published: (2025)

The Complexity of Testing Message-Passing Concurrency
by: Shi, Zheng, et al.
Published: (2025)

RacerF: Lightweight Static Data Race Detection for C Code
by: Dacík, Tomáš, et al.
Published: (2025)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
by: Schwarz, Michael, et al.
Published: (2025)

RacerF: Data Race Detection with Frama-C (Competition Contribution)
by: Dacík, Tomáš, et al.
Published: (2025)

Scalable Supervisory Architecture for Autonomous Race Cars
by: Demeter, Zalán, et al.
Published: (2024)

Racing Against the Clock: Exploring the Impact of Scheduled Deadlines on Technical Debt
by: Edbert, Joshua Aldrich, et al.
Published: (2025)

Racing the Market: An Industry Support Analysis for Pricing-Driven DevOps in SaaS
by: Garcia-Fernández, Alejandro, et al.
Published: (2024)

Understanding by Reconstruction: Reversing the Software Development Process for LLM Pretraining
by: Zeng, Zhiyuan, et al.
Published: (2026)

AROLA: A Modular Layered Architecture for Scaled Autonomous Racing
by: Shihata, Fam, et al.
Published: (2026)

KBX: Verified Model Synchronization via Formal Bidirectional Transformation
by: Zhao, Jianhong, et al.
Published: (2024)

Bounded Synthesis of Synchronized Distributed Models from Lightweight Specifications
by: Castro, Pablo F., et al.
Published: (2025)

Context-Adaptive Requirements Defect Prediction through Human-LLM Collaboration
by: Unterbusch, Max, et al.
Published: (2026)

ICCheck: A Portable, Language-Agnostic Tool for Synchronizing Code Clones
by: Abe, Motoki, et al.
Published: (2025)

MBTModelGenerator: Automated Reverse Engineering of Test Models from Clickstream Data for Model-Based Testing of Web Applications
by: Garousi, Vahid, et al.
Published: (2025)

Empirical Studies on Adversarial Reverse Engineering with Students
by: Tab, et al.
Published: (2026)

ForzaETH Race Stack -- Scaled Autonomous Head-to-Head Racing on Fully Commercial off-the-Shelf Hardware
by: Baumann, Nicolas, et al.
Published: (2024)

Generating Software Architecture Description from Source Code using Reverse Engineering and Large Language Model
by: Hatahet, Ahmad, et al.
Published: (2025)

R2ComSync: Improving Code-Comment Synchronization with In-Context Learning and Reranking
by: Yang, Zhen, et al.
Published: (2025)

reAnalyst: Scalable Annotation of Reverse Engineering Activities
by: Zhang, Tab, et al.
Published: (2024)

Evaluation of Local Planner-Based Stanley Control in Autonomous RC Car Racing Series
by: Fazekas, Máté, et al.
Published: (2024)

React-tRace: A Semantics for Understanding React Hooks
by: Lee, Jay, et al.
Published: (2025)

Research on Mobile Network High-precision Absolute Time Synchronization based on TAP
by: Zhang, Chenyu, et al.
Published: (2024)

Fast and Modular Autonomy Software for Autonomous Racing Vehicles
by: Saba, Andrew, et al.
Published: (2024)

HyLiMo: A Hybrid Live-Synchronized Modular Diagramming Editor as IDE Extension for Technical and Scientific Publications
by: Krieger, Niklas, et al.
Published: (2024)

You Augment Me: Exploring ChatGPT-based Data Augmentation for Semantic Code Search
by: Wang, Yanlin, et al.
Published: (2024)

Beyond C/C++: Probabilistic and LLM Methods for Next-Generation Software Reverse Engineering
by: Zhuo, Zhuo, et al.
Published: (2025)

A Context-Sensitive, Outlier-Based Static Analysis to Find Kernel Race Conditions
by: Dossche, Niels, et al.
Published: (2024)

ModelWriter: Text & Model-Synchronized Document Engineering Platform
by: Erata, Ferhat, et al.
Published: (2024)

Enhancing Function Name Prediction using Votes-Based Name Tokenization and Multi-Task Learning
by: Zhang, Xiaoling, et al.
Published: (2024)

HumanEvo: An Evolution-aware Benchmark for More Realistic Evaluation of Repository-level Code Generation
by: Zheng, Dewu, et al.
Published: (2024)