Cover Image

Quest Complete: the Holy Grail of Gradual Security

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Chen, Tianyu, Siek, Jeremy G.
Format:	Preprint
Published:	2023
Subjects:	Programming Languages 68N15 D.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Idempotent Slices with Applications to Code-Size Reduction
by: de Azevedo, Rafael Alvarenga, et al.
Published: (2026)

Multi-Language Benchmark Generation via L-Systems
by: da Silva, Vinícius Francisco, et al.
Published: (2025)

Gradual Guarantee via Step-Indexed Logical Relations in Agda
by: Siek, Jeremy G.
Published: (2024)

Gradual Metaprogramming
by: Chen, Tianyu, et al.
Published: (2025)

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation
by: Niketan, Nripesh, et al.
Published: (2025)

ChiBench: a Benchmark Suite for Testing Electronic Design Automation Tools
by: Sumitani, Rafael, et al.
Published: (2024)

Emulation-Completeness of Programming Languages
by: Morse, Gregory, et al.
Published: (2026)

Three non-cubical applications of extension types
by: Zhang, Tesla
Published: (2023)

Taming Scope Extrusion in Gradual Imperative Metaprogramming
by: Chen, Tianyu, et al.
Published: (2026)

The Semantics of Metapropramming in Prolog
by: Warren, David S.
Published: (2024)

Hazel Deriver: A Live Editor for Constructing Rule-Based Derivations
by: Zhong, Zhiyao, et al.
Published: (2025)

Vanilla Object Orientation (VOO): A Value-Semantics Approach to Classes in Tcl
by: Araujo, Alan
Published: (2026)

Grid Programs: A Two-Dimensional, Variable-Free Model of Computation
by: López-Rubio, Ezequiel
Published: (2026)

(Co)condition hits the Path
by: Zhang, Tesla, et al.
Published: (2024)

High-Performance Generation of Constrained Inputs
by: Crump, Addison, et al.
Published: (2025)

Trustworthy Clinical Decision Support Using Meta-Predicates and Domain-Specific Languages
by: Bouzinier, Michael, et al.
Published: (2026)

Computing $\sqrt{2}$ with FRACTRAN
by: Kaushik, Khushi, et al.
Published: (2024)

Internalizing Extensions in Lattices of Type Theories
by: Chan, Jonathan
Published: (2025)

Bounded First-Class Universe Levels in Dependent Type Theory
by: Chan, Jonathan, et al.
Published: (2025)

Vectorization of Verilog Designs and its Effects on Verification and Synthesis
by: Guimarães, Maria Fernanda Oliveira, et al.
Published: (2026)

Explore as a Storm, Exploit as a Raindrop: On the Benefit of Fine-Tuning Kernel Schedulers with Coordinate Descent
by: Canesche, Michael, et al.
Published: (2024)

Decentralized Annuity: A Quest for the Holy Grail of Lifetime Financial Security
by: Runhuan, Feng, et al.
Published: (2025)

KnowTeX: Visualizing Mathematical Dependencies
by: Uskuplu, Elif, et al.
Published: (2025)

Optimal Software Pipelining using an SMT-Solver
by: Roorda, Jan-Willem
Published: (2026)

Erlang Binary and Source Code Obfuscation
by: Morse, Gregory, et al.
Published: (2026)

Transport via Partial Galois Connections and Equivalences
by: Kappelmann, Kevin
Published: (2023)

Complexity of Consistency Testing for the Release-Acquire Semantics
by: Govind, R., et al.
Published: (2026)

Bottom-Up Generation of Verilog Designs for Testing EDA Tools
by: Vieira, João Victor Amorim, et al.
Published: (2025)

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version)
by: Erhard, Julian, et al.
Published: (2024)

Hashing Modulo Context-Sensitive $α$-Equivalence
by: Blaauwbroek, Lasse, et al.
Published: (2024)

Multiple Query Satisfiability of Constrained Horn Clauses
by: De Angelis, Emanuele, et al.
Published: (2022)

Implementing backjumping by means of exception handling
by: Drabent, Włodzimierz
Published: (2023)

Optimal matching for sharing and linearity analysis
by: Amato, Gianluca, et al.
Published: (2024)

CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking
by: Oza, Neeva, et al.
Published: (2025)

Uniform Algebras: Models and constructive Completeness for Full, Simply Typed λProlog
by: Amato, Gianluca, et al.
Published: (2024)

BRIDGE: Building Representations In Domain Guided Program Synthesis
by: George, Robert Joseph, et al.
Published: (2025)

Deconstructed Proto-Quipper: A Rational Reconstruction
by: Kavanagh, Ryan, et al.
Published: (2025)

React-ing to Grace Hopper 200: Five Open-Weights Coding Models, One React Native App, One GH200, One Weekend
by: Potanin, Alex
Published: (2026)

A Unified Framework for Quantitative Cache Analysis
by: Kahlen, Sophie, et al.
Published: (2025)

Completing the Functional Approach in Object-Oriented Languages
by: Pluemicke, Martin
Published: (2024)