compilers

Documents about compilers

• Why don't compilers automatically insert deallocations?#796572Stack Exchange
• One Inverter - The loop that continuation forces, what its center reads, and compilers locked inside compilers#1450474Zenodo (CERN)
• Time complexity of a compiler#796599Stack Exchange
• CrossLangFuzzer: Differential Testing of Cross-Language JVM Compilers#319729arXiv CS
• Stateful Testing for Deep Learning Compilers#1357658arXiv (All)
• Laughter emotion recognition using gestures#1380763Animo Repository
• Parallel Sparse Outputs for Tensor Compilers#1335970arXiv CS
• Parallel Sparse Outputs for Tensor Compilers#1345131arXiv (All)
• Stateful Testing for Deep Learning Compilers#1348909arXiv CS
• Provenance Tracking in AI Compilers through the Lens of Coalgebra#271955arXiv CS
• Efficient LLM-Generated Shuttling Compilers for Complex Trapped-Ion Architectures#405686arXiv CS
• WingSpan: Concurrency and Dependence for Sparse and Structured Tensor Compilers#674448arXiv (OAI Expanded)
• WingSpan: Concurrency and Dependence for Sparse and Structured Tensor Compilers#677649arXiv (All)
• Tensor Algebraic Property Skeletons: Amplifying Property-Based Testing for AI Compilers#266250arXiv CS
• QuTuner: Feature- and Learning-Guided Optimization Pass Tuning for Quantum Compilers#343549arXiv CS
• Fast Random Compilers for Time-Dependent and Time-Independent Lindbladian Simulation#1201301arXiv (All)
• Mut4All: Fuzzing Compilers via LLM-Synthesized Mutators Learned from Bug Reports#1201900arXiv (All)
• Automated Testing and Repair for Verified Compilers Generated by a Coding Agent#422329arXiv CS
• From QCCD Trapped-Ion Hardware to Quantum Compilers: Capabilities, Architectures, and Compilation#1468569arXiv (All)
• NAKO: A Benchmarking Framework for Evaluating and Diagnosing Neutral-Atom Quantum Compilers#1490691arXiv (All)
• ParityFuzz: Finding Inconsistencies across Solidity Compilers via Fine-Grained Mutation and Differential Analysis#175346arXiv CS
• A survey on fully homomorphic encryption compilers#990032Springer Nature OA
• Testing and Verification of Quantum Compilers through Assurance Contracts and Evidence#1154878arXiv (All)
• LOW-LEVEL SEMANTICS AND OPTIMIZATIONS#929449ScholarlyCommons
• Selection-Invariant Communication Compilers for Privacy-Aware Multi-Agent LLM Workflows#1061979arXiv (All)
• Soliduzz: Finding Miscompilations in Smart-Contract Compilers with Assertion-Driven Equivalence Oracles#1343682arXiv (All)
• Efficient LLM-Generated Shuttling Compilers for Complex Trapped-Ion Architectures#1386326arXiv (All)
• Evaluation of LLVM Flang for Production HPC Applications and Modern Fortran Features#675884eScholarship
• Why are some programming languages "faster" or "slower" than others?#796546Stack Exchange
• Scalable and Efficient Systems for Large Deep Learning Models#1106802eScholarship
• Soliduzz: Finding Miscompilations in Smart-Contract Compilers with Assertion-Driven Equivalence Oracles#1319080arXiv CS
• What properties of a programming language make compilation impossible?#796565Stack Exchange
• Can a dynamic language like Ruby/Python reach C/C++ like performance?#796568Stack Exchange
• Multithreaded Parallelism: Languages and Compilers#3459MIT OpenCourseWare
• SAIA: a seamless Slurm-native solution for HPC-based services#164226Springer Nature OA
• The Canonical Parallel Form as a Substrate for Parallelizing Compilers and Agentic Optimizers#1076380arXiv (All)
• A methodology to perform cross-ecosystems case-control security studies#381290Springer Nature OA
• How can a language whose compiler is written in C ever be faster than C?#796523Stack Exchange
• Pakej 'Dengarlah Sayang'#1527313UM Research Repository
• Sistem pakar dietari#1527329UM Research Repository
• L2GT: a line loss analysis method for medium and low-voltage distribution networks#252045Springer Nature OA
• Security issues in python open-source software: a mining study from GitHub#306101Springer Nature OA
• STL-Witness: Signal Generation from STL Specifications#1226468Springer Nature OA
• Inferring Relations from Relations#447061Springer Nature OA
• A case tool for code inspection#1193829UM Research Repository
• On the Cohesion of Hub-like microservices#648537Springer Nature OA
• Lawatan maya ke Fakulti Sains Komputer dan Teknologi Maklumat#1502211UM Research Repository
• Discourse-Driven Decomposition of Diagrammatic Representations#447059Springer Nature OA
• Mapping the landscape of software vulnerabilities in connected vehicles#686946Springer Nature OA
• Less is more: usefulness of data flow diagrams and large language models for security threat validation#130606Springer Nature OA