:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Sarkar, Abhiroop, Svensson, Bo Joel, Sheeran, Mary
Format:	Preprint
Published:	2022
Subjects:	Programming Languages
Online Access:	https://arxiv.org/abs/2205.03262
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

HasTEE+ : Confidential Cloud Computing and Analytics with Haskell
by: Sarkar, Abhiroop, et al.
Published: (2024)

QuickerCheck: Implementing and Evaluating a Parallel Run-Time for QuickCheck
by: Krook, Robert, et al.
Published: (2024)

SynQ: An Embedded DSL for Synchronous System Design with Quantitative Types
by: Chen, Rui, et al.
Published: (2025)

TickTalk -- Timing API for Dynamically Federated Cyber-Physical Systems
by: Iannucci, Bob, et al.
Published: (2019)

Accompanist: A Runtime for Resilient Choreographic Programming
by: Kløvedal, Viktor Strate, et al.
Published: (2026)

An Effectively $Ω(c)$ Language and Runtime
by: Marron, Mark
Published: (2024)

Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
by: Finkbeiner, Bernd, et al.
Published: (2026)

Synchronous Programming with Refinement Types
by: Chen, Jiawei, et al.
Published: (2024)

A Conceptual Framework for API Refactoring in Enterprise Application Architectures
by: Montesi, Fabrizio, et al.
Published: (2024)

Runtime Verification on Abstract Finite State Models
by: Jevitha, KP, et al.
Published: (2024)

Teaching Synchronous Dataflow Modelling with Learn-Heptagon
by: Garoche, Pierre-Loïc, et al.
Published: (2026)

Lua API and benchmark design using 3n+1 sequences: Comparing API elegance and raw speed in Redis and YottaDB databases
by: Hoyt, Berwyn
Published: (2024)

Mimosa: A Language for Asynchronous Implementation of Embedded Systems Software
by: Huber, Nikolaus, et al.
Published: (2025)

Fat API bindings of C++ objects into scripting languages
by: Standish, Russell K.
Published: (2024)

Potential of WebAssembly for Embedded Systems
by: Wallentowitz, Stefan, et al.
Published: (2024)

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types
by: Dane, Serra Z., et al.
Published: (2026)

Theorem-Carrying Transactions: Runtime Verification to Ensure Interface Specifications for Smart Contract Safety
by: Ball, Thomas, et al.
Published: (2024)

Reverse Chain: A Generic-Rule for LLMs to Master Multi-API Planning
by: Zhang, Yinger, et al.
Published: (2023)

Yggdrasil: Bridging Dynamic Speculation and Static Runtime for Latency-Optimal Tree-Based LLM Decoding
by: Guan, Yue, et al.
Published: (2025)

Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types
by: Udomsrirungruang, Thien, et al.
Published: (2024)

OpenAPI Specification Extended Security Scheme: A method to reduce the prevalence of Broken Object Level Authorization
by: Haddad, Rami, et al.
Published: (2022)

Hydra: Virtualized Multi-Language Runtime for High-Density Serverless Platforms
by: Ivanenko, Serhii, et al.
Published: (2022)

APRIL: API Synthesis with Automatic Prompt Optimization and Reinforcement Learning
by: Zhong, Hua, et al.
Published: (2025)

Clove: Object-Level CXL Memory Management in Managed Runtimes
by: Son, Sam, et al.
Published: (2026)

Beyond QA Pairs: Assessing Parameter-Efficient Fine-Tuning for Fact Embedding in LLMs
by: Ratnakar, Shivam, et al.
Published: (2025)

You Can Run But You Can't Hide: Runtime Protection Against Malicious Package Updates For Node.js
by: Ohm, Marc, et al.
Published: (2023)

OverrideFuzz: Semantic-Aware Grammar Fuzzing for Script-Runtime Vulnerabilities
by: Qiu, Yiran
Published: (2026)

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
by: Bollig, Benedikt
Published: (2026)

Shepherd: A Runtime Substrate Empowering Meta-Agents with a Formalized Execution Trace
by: Yu, Simon, et al.
Published: (2026)

Fast and Extensible Hybrid Embeddings with Micros
by: Bocirnea, Sean, et al.
Published: (2025)

Probabilistic energy profiler for statically typed JVM-based programming languages
by: Nyholm, Joel, et al.
Published: (2025)

Multiparty Session Typing, Embedded (Technical Report)
by: Jongmans, Sung-Shik
Published: (2025)

FreeCHR: An Algebraic Framework for CHR-Embeddings
by: Rechenberger, Sascha, et al.
Published: (2023)

Typed Embedding of miniKanren for Functional Conversion
by: Engel, Igor, et al.
Published: (2025)

Virtual Garbage Collector (VGC): A Zone-Based Garbage Collection Architecture for Python's Parallel Runtime
by: M, Abdulla
Published: (2025)

Mirage Persistent Kernel: A Compiler and Runtime for Mega-Kernelizing Tensor Programs
by: Cheng, Xinhao, et al.
Published: (2025)

Text2Mem: A Unified Memory Operation Language for Memory Operating System
by: Wang, Yi, et al.
Published: (2025)

An Enumerative Embedding of the Python Type System in ACL2s
by: Xifaras, Samuel, et al.
Published: (2025)

VeriAgent: A Tool-Integrated Multi-Agent System with Evolving Memory for PPA-Aware RTL Code Generation
by: Wang, Yaoxiang, et al.
Published: (2026)

A Taxonomy of Prompt Defects in LLM Systems
by: Tian, Haoye, et al.
Published: (2025)