Cover Image

Unboxing Virgil ADTs for Fun and Profit

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Teo, Bradley Wei Jie, Titzer, Ben L.
Format:	Preprint
Published:	2024
Subjects:	Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Flexible Non-intrusive Dynamic Instrumentation for WebAssembly
by: Titzer, Ben L., et al.
Published: (2024)

Execution-Aware Program Reduction for WebAssembly via Record and Replay
by: Baek, Doehyun, et al.
Published: (2025)

Unboxed data constructors -- or, how cpp decides a halting problem
by: Chataing, Nicolas, et al.
Published: (2023)

Wasm-R3: Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks
by: Baek, Doehyun, et al.
Published: (2024)

Analyzing 16,193 LLM Papers for Fun and Profits
by: Xia, Zhiqiu, et al.
Published: (2025)

BadReasoner: Planting Tunable Overthinking Backdoors into Large Reasoning Models for Fun or Profit
by: Yi, Biao, et al.
Published: (2025)

A Bibliography of Virgil.
by: Austin, R. G., Comp.
Published: (1968)

Chorex: Restartable, Language-Integrated Choreographies
by: Wiersdorf, Ashton, et al.
Published: (2025)

If-T: A Benchmark for Type Narrowing
by: Guo, Hanwen, et al.
Published: (2025)

Unboxing Occupational Bias: Grounded Debiasing of LLMs with U.S. Labor Data
by: Gorti, Atmika, et al.
Published: (2024)

Privacy-Respecting Type Error Telemetry at Scale
by: Greenman, Ben, et al.
Published: (2024)

Wasure: A Modular Toolkit for Comprehensive WebAssembly Benchmarking
by: Carissimi, Riccardo, et al.
Published: (2026)

Nice to Meet You: Synthesizing Practical MLIR Abstract Transformers
by: Peng, Xuanyu, et al.
Published: (2025)

Exploring Widevine for Fun and Profit
by: Patat, Gwendal, et al.
Published: (2022)

SUQL: Conversational Search over Structured and Unstructured Data with Large Language Models
by: Liu, Shicheng, et al.
Published: (2023)

Verified Code Transpilation with LLMs
by: Bhatia, Sahil, et al.
Published: (2024)

Typing Composable Coroutines
by: Gu, Qiqi, et al.
Published: (2023)

Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations (Extended Version)
by: Qiu, Jie, et al.
Published: (2024)

OpenCoder: The Open Cookbook for Top-Tier Code Large Language Models
by: Huang, Siming, et al.
Published: (2024)

ComPile: A Large IR Dataset from Production Sources
by: Grossman, Aiden, et al.
Published: (2023)

Conceptual Mutation Testing for Student Programming Misconceptions
by: Prasad, Siddhartha, et al.
Published: (2023)

A2H-MAS: An Algorithm-to-HLS Multi-Agent System for Automated and Reliable FPGA Implementation
by: Lei, Jie, et al.
Published: (2025)

Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
by: Foo, Darius, et al.
Published: (2023)

FlowFPX: Nimble Tools for Debugging Floating-Point Exceptions
by: Allred, Taylor, et al.
Published: (2024)

VyZX: Formal Verification of a Graphical Quantum Language
by: Lehmann, Adrian, et al.
Published: (2023)

Escape with Your Self: Sound and Expressive Bidirectional Typing with Avoidance for Reachability Types
by: Jia, Songlin, et al.
Published: (2024)

Modeling Reachability Types with Logical Relations
by: Bao, Yuyan, et al.
Published: (2023)

Incremental Bidirectional Typing via Order Maintenance
by: Porter, Thomas J., et al.
Published: (2025)

Equivalence Checking of ML GPU Kernels
by: Dubey, Kshitij, et al.
Published: (2025)

Unboxing Engagement in YouTube Influencer Videos: An Attention-Based Approach
by: Rajaram, Prashant, et al.
Published: (2020)

ViCAR: Visualizing Categories with Automated Rewriting in Coq
by: Shah, Bhakti, et al.
Published: (2024)

An Extensive Study on Text Serialization Formats and Methods
by: Wei, Wang, et al.
Published: (2025)

AI-Assisted Modeling: DSL-Driven AI Interactions
by: Smyth, Steven, et al.
Published: (2025)

PolyVer: A Compositional Approach for Polyglot System Modeling and Verification
by: Chen, Pei-Wei, et al.
Published: (2025)

Incremental Live Programming via Shortcut Memoization
by: Kirisame, Marisa, et al.
Published: (2026)

FunFuzz: An LLM-Powered Evolutionary Fuzzing Framework
by: Béjar, Mario Rodríguez, et al.
Published: (2026)

Fusing Gathers with Integer Linear Programming
by: van Balen, David, et al.
Published: (2024)

Sockeye: a language for analyzing hardware documentation
by: Fiedler, Ben, et al.
Published: (2025)

Relaxed exception semantics for Arm-A (extended version)
by: Simner, Ben, et al.
Published: (2024)

Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice
by: Daggitt, Matthew L., et al.
Published: (2026)