Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
Compilers
⚙️ Compilers
compiler design, LLVM, GCC, code generation, IR
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
52
posts in
7.7
ms
SNN-MLIR
: An
MLIR
Dialect for
Compiling
Neuromorphic SNNs from NIR to Bare-Metal C
🧩
Intermediate Representation
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for SNN-MLIR: An MLIR Dialect for Compiling Neuromorphic SNNs from NIR to Bare-Metal C
A Normative
Intermediate
Representation
for ASP-Based Compliance Reasoning
🧩
Intermediate Representation
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for A Normative Intermediate Representation for ASP-Based Compliance Reasoning
Tensor Algebraic Property Skeletons: Amplifying Property-Based Testing for AI
Compilers
🛡️
Vulnerability Research
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Tensor Algebraic Property Skeletons: Amplifying Property-Based Testing for AI Compilers
TICoder: A Repository-Level
Code
Generation
Framework with Test-Driven Planning and Implementation-Aware Reuse
🖥️
Interpreters
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for TICoder: A Repository-Level Code Generation Framework with Test-Driven Planning and Implementation-Aware Reuse
CodegenBench
: Can LLMs Write Efficient Code Across Architectures?
⚡
JIT Exploitation
Content type:
Academic
arxiv.org
·
6d
6 days ago
·
Hacker News
Actions for CodegenBench: Can LLMs Write Efficient Code Across Architectures?
PrivCode++: Latent-Conditioned Differentially Private
Code
Generation
for Comprehensive Guarantees
🔀
Concolic Execution
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for PrivCode++: Latent-Conditioned Differentially Private Code Generation for Comprehensive Guarantees
Chiseling Out Efficiency: Structured Skeleton Supervision for Efficient
Code
Generation
🔣
Type Systems
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Chiseling Out Efficiency: Structured Skeleton Supervision for Efficient Code Generation
StepPRM-RTL: Stepwise Process-Reward Guided LLM Fine-Tuning for Enhanced RTL Synthesis
🧩
Intermediate Representation
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for StepPRM-RTL: Stepwise Process-Reward Guided LLM Fine-Tuning for Enhanced RTL Synthesis
Beyond Universality: The
GCC-FER
Dataset and Culture-Aware Adaptation for Dynamic Facial Expression Recognition
🧩
Intermediate Representation
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Beyond Universality: The GCC-FER Dataset and Culture-Aware Adaptation for Dynamic Facial Expression Recognition
SkelDPO: A Skeleton-Guided Direct Preference
Optimization
Framework for Efficient
Code
Generation
🧮
Symbolic Execution
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for SkelDPO: A Skeleton-Guided Direct Preference Optimization Framework for Efficient Code Generation
TeleSWEBench: A Commit-Driven Benchmark for Evaluating LLM-Powered Software Engineering in Telecommunications
⚡
JIT Exploitation
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for TeleSWEBench: A Commit-Driven Benchmark for Evaluating LLM-Powered Software Engineering in Telecommunications
From Statute to Control Flow: Span-Grounded Deontic
Trees
for Defeasible Scope Parsing
🧩
Intermediate Representation
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for From Statute to Control Flow: Span-Grounded Deontic Trees for Defeasible Scope Parsing
CASS-RTL: Correctness-Aware Subspace Steering for RTL
Generation
with LLMs
🧩
Intermediate Representation
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for CASS-RTL: Correctness-Aware Subspace Steering for RTL Generation with LLMs
Claude
Code-Driving
Scenario Mining for the Argoverse 2 Challenge
🌊
Dataflow Analysis
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Claude Code-Driving Scenario Mining for the Argoverse 2 Challenge
Formal
verification of the S-two AIR
✅
Formal Verification
Content type:
Academic
arxiv.org
·
6d
6 days ago
Actions for Formal verification of the S-two AIR
Native3D: End-to-End 3D Scene
Generation
via Unified Mesh-Texture Modeling and Semantic Alignment
🧩
Intermediate Representation
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Native3D: End-to-End 3D Scene Generation via Unified Mesh-Texture Modeling and Semantic Alignment
Beyond Pass Rate: A Multilingual, Execution-Grounded Evaluation of Open
Code
LLMs
🔍
Program Analysis
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for Beyond Pass Rate: A Multilingual, Execution-Grounded Evaluation of Open Code LLMs
Empirical Study on the Characteristics and Evolution of AI-usage in GitHub Repositories: Evidence from
Code
Comments
⚡
JIT Exploitation
Content type:
Academic
arxiv.org
·
2d
2 days ago
Actions for Empirical Study on the Characteristics and Evolution of AI-usage in GitHub Repositories: Evidence from Code Comments
Microskill Architecture: A Modular Skill-Driven Framework for AI-Native
Code
Generation
🔣
Type Systems
Content type:
Academic
arxiv.org
·
5d
5 days ago
Actions for Microskill Architecture: A Modular Skill-Driven Framework for AI-Native Code Generation
LongRTL: Graph-Similarity-Guided LLM-driven Long Context RTL
Optimization
🧩
Intermediate Representation
Content type:
Academic
arxiv.org
·
1d
1 day ago
Actions for LongRTL: Graph-Similarity-Guided LLM-driven Long Context RTL Optimization
Page 2 »
Log in to enable infinite scrolling
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help