Synthical
Your space
Profile
Activity
Favorites
Folders
Feeds
All articles
Simple
Original
Articles about
Programming Languages
A Virtual Machine for Arbitrary Low-Precision GPGPU Computation in LLM Serving
17 April 2025 by
Yaoyao Ding
and
others
Machine Learning
,
Artificial Intelligence
The Incredible Shrinking Context... in a Decompiler Near You
17 April 2025 by
Sifis Lagouvardos
and
others
Programming Languages
Is Productivity in Quantum Programming Equivalent to Expressiveness?
17 April 2025 by
Francini Corrales-Garro
and
others
Quantum Physics
,
Programming Languages
Crash-Stop Failures in Asynchronous Multiparty Session Types
17 April 2025 by
Adam Barwell
and
others
Logic in Computer Science
,
Programming Languages
Dead Gate Elimination
17 April 2025 by
Yanbin Chen
and
others
Quantum Physics
,
Programming Languages
A Saturation-Based Unification Algorithm for Higher-Order Rational Patterns
16 April 2025 by
Zhibo Chen
and
Frank Pfenning
at
Carnegie Mellon University
Logic in Computer Science
,
Programming Languages
Canonicity for Cost-Aware Logical Framework via Synthetic Tait Computability
16 April 2025 by
Runming Li
and
Robert Harper
Programming Languages
,
Logic in Computer Science
Generating Pragmatic Examples to Train Neural Program Synthesizers
16 April 2025 by
Saujas Vaduguru
and
others
Machine Learning
,
Artificial Intelligence
What is a monoid?
16 April 2025 by
Paul Blain Levy
and
Morgan Rogers
Category Theory
,
Programming Languages
VeriMind: Agentic LLM for Automated Verilog Generation with a Novel Evaluation Metric
16 April 2025 by
Bardia Nadimi
and
others
at
University of South Florida
Hardware Architecture
,
Artificial Intelligence
Proof-Carrying Neuro-Symbolic Code
16 April 2025 by
Ekaterina Komendantskaya
Programming Languages
,
Artificial Intelligence
Bounded Exhaustive Random Program Generation for Testing Solidity Compilers and Analyzers
16 April 2025 by
Haoyang Ma
and
others
Programming Languages
Pathological Cases for a Class of Reachability-Based Garbage Collectors
15 April 2025 by
Matthew Sotoudeh
Programming Languages
Verified Parameterized Choreographies Technical Report
15 April 2025 by
Robert Rubbens
and
others
Programming Languages
Enhanced Data Race Prediction Through Modular Reasoning
15 April 2025 by
Zhendong Ang
and
others
Programming Languages
Products of Recursive Programs for Hypersafety Verification
15 April 2025 by
Ruotong Cheng
and
Azadeh Farzan
Programming Languages
,
Logic in Computer Science
SymRTLO: Enhancing RTL Code Optimization with LLMs and Neuron-Inspired Symbolic Reasoning
14 April 2025 by
Yiting Wang
and
others
Hardware Architecture
,
Artificial Intelligence
Rel: A Programming Language for Relational Data
14 April 2025 by
Mohammadreza Aref
and
others
Databases
,
Programming Languages
Universal Algebra and Effectful Computation
14 April 2025 by
Nayan Rajesh
Programming Languages
,
Category Theory
Monadic type-and-effect soundness
14 April 2025 by
Francesco Dagnino
and
others
Programming Languages
Ember: A Compiler for Efficient Embedding Operations on Decoupled Access-Execute Architectures
14 April 2025 by
Marco Siracusa
and
others
at
Stanford University
Hardware Architecture
,
Machine Learning
Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity
13 April 2025 by
Dylan Zhang
and
others
Computation and Language
,
Programming Languages
A Complete Theory of Sequential Digital Circuits: Denotational, Operational and Algebraic Semantics
13 April 2025 by
Dan Ghica
and
others
at
University of Birmingham
Logic in Computer Science
,
Programming Languages
Type-Constrained Code Generation with Language Models
12 April 2025 by
Niels Mündler
and
others
Machine Learning
,
Programming Languages
Unleashing Optimizations in Dynamic Circuits through Branch Expansion
12 April 2025 by
Yanbin Chen
Programming Languages
,
Emerging Technologies
Incremental Bidirectional Typing via Order Maintenance
11 April 2025 by
Thomas Porter
and
others
Programming Languages
Nanopass Back-Translation of Call-Return Trees for Mechanized Secure Compilation Proofs
11 April 2025 by
Jérémy Thibault
and
others
Programming Languages
,
Cryptography and Security
A refined operational semantics for FreeCHR
11 April 2025 by
Sascha Rechenberger
and
Thom Frühwirth
Programming Languages
Membership Testing for Semantic Regular Expressions
11 April 2025 by
Yifei Huang
and
others
at
Rice University
Programming Languages
Data Spatial Programming
11 April 2025 by
Jason Mars
Programming Languages
,
Multiagent Systems
Load more
