Programming Languages

Lumos: Let there be Language Model System Certification

Lumos: Let there be Language Model System Cert...

Programming Languages
Avatar
librarian
378 views
Functional Ownership through Fractional Uniqueness

Functional Ownership through Fractional Uniqueness

Programming Languages
Avatar
Daniel Marshall
1253 views
Verifying Programs with Logic and Extended Proof Rules: Deep Embedding v.s. Shallow Embedding

Verifying Programs with Logic and Extended Pro...

Programming Languages
Avatar
Zhongye Wang
1002 views
Correctness Witness Validation by Abstract Interpretation

Correctness Witness Validation by Abstract Int...

Programming Languages
Avatar
Simmo Saan
974 views
Multi-structure Objects Points-to Analysis

Multi-structure Objects Points-to Analysis

Programming Languages
Avatar
Xun An
1043 views
Predictive Monitoring against Pattern Regular Languages

Predictive Monitoring against Pattern Regular ...

Programming Languages
Avatar
Zhendong Ang
1034 views
Definitional Functoriality for Dependent (Sub)Types

Definitional Functoriality for Dependent (Sub)...

Programming Languages
Avatar
Théo Laurent
1056 views
Seamless, Correct, and Generic Programming over Serialised Data

Seamless, Correct, and Generic Programming ove...

Programming Languages
Avatar
Guillaume Allais
1012 views
A R4RS Compliant REPL in 7 KB

A R4RS Compliant REPL in 7 KB

Programming Languages
Avatar
Léonard Oest O'Leary
1036 views
Compiler Testing With Relaxed Memory Models

Compiler Testing With Relaxed Memory Models

Programming Languages
Avatar
Luke Geeson
1113 views
Exploiting array manipulation habits to optimize garbage collection and type flow analysis

Exploiting array manipulation habits to optimi...

Programming Languages
Avatar
Dominique Colnet
994 views
Nondeterminism and Guarded Commands

Nondeterminism and Guarded Commands

Programming Languages
Avatar
Krzysztof Apt
1027 views
Martin-Löf à la Coq

Martin-Löf à la Coq

Programming Languages
Avatar
Arthur Adjedj
1123 views
mlirSynth: Automatic, Retargetable Program Raising in Multi-Level IR using Program Synthesis

mlirSynth: Automatic, Retargetable Program Rai...

Programming Languages
Avatar
Alexander Brauckmann
999 views
A Core Calculus for Documents

A Core Calculus for Documents

Programming Languages
Avatar
Will Crichton
1024 views
Reverse-Mode AD of Reduce-by-Index and Scan in Futhark

Reverse-Mode AD of Reduce-by-Index and Scan in...

Programming Languages
Avatar
Lotte Maria Bruun
1085 views
Soda: An Object-Oriented Functional Language for Specifying Human-Centered Problems

Soda: An Object-Oriented Functional Language f...

Programming Languages
Avatar
Julian Mendez
1120 views
Type-Based Verification of Delegated Control in Hybrid~Systems (Full Version)

Type-Based Verification of Delegated Control i...

Programming Languages
Avatar
Eduard Kamburjan
1108 views
Fully Abstract Normal Form Bisimulation for Call-by-Value PCF

Fully Abstract Normal Form Bisimulation for Ca...

Programming Languages
Avatar
Vasileios Koutavas
942 views