Showing 1–20 of 46 results
/ Date/ Name
Apr 24, 2026BLAST: Benchmarking LLMs with ASP-based Structured TestingApr 23, 2026Kernel Contracts: A Specification Language for ML Kernel Correctness Across Heterogeneous SiliconApr 23, 2026Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific LanguagesApr 21, 2026Adding Compilation Metadata To Binaries To Make Disassembly DecidableApr 20, 2026Compositional security definitions for higher-order where declassificationApr 20, 2026Enabling AI ASICs for Zero Knowledge ProofApr 20, 2026SDLLMFuzz: Dynamic-static LLM-assisted greybox fuzzing for structured input programsApr 18, 2026DALC-CT: Dynamic Analysis of Low-Level Code Traces for Constant-Time VerificationDec 29, 2025Yggdrasil: Bridging Dynamic Speculation and Static Runtime for Latency-Optimal Tree-Based LLM DecodingNov 24, 2025SLMFix: Leveraging Small Language Models for Error Fixing with Reinforcement LearningSep 23, 2025Compilation as Multi-Language SemanticsSep 23, 2025Macro-embedding Compiler Intermediate Languages in RacketAug 4, 2025Flow Sensitivity without Control Flow Graph: An Efficient Andersen-Style Flow-Sensitive Pointer AnalysisJul 16, 2025GitChameleon 2.0: Evaluating AI Code Generation Against Python Library Version IncompatibilitiesFeb 20, 2025Partial Incorrectness LogicDec 18, 2024Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic AnalysisJul 9, 2024Type Universes as Allocation EffectsJun 11, 2024McEval: Massively Multilingual Code EvaluationMay 28, 2024DSDL: Data Set Description Language for Bridging Modalities and Tasks in AI DataApr 16, 2024Can Language Models Solve Olympiad Programming?