arxiv cs.PL
@arxiv-cs-pl.bsky.social
Computer Science -- Programming Languages (cs.PL)
source: export.arxiv.org/rss/cs.PL
maintainer: @tmaehara.bsky.social
source: export.arxiv.org/rss/cs.PL
maintainer: @tmaehara.bsky.social
Bohdan Liesnikov (Delft University of Technology, Netherlands), David Binder (University of Kent, Canterbury, UK), Tim S\"uberkr\"ub (University of T\"ubingen, Germany)
Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
https://arxiv.org/abs/2511.15819
Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
https://arxiv.org/abs/2511.15819
November 21, 2025 at 5:12 AM
Bohdan Liesnikov (Delft University of Technology, Netherlands), David Binder (University of Kent, Canterbury, UK), Tim S\"uberkr\"ub (University of T\"ubingen, Germany)
Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
https://arxiv.org/abs/2511.15819
Filling the Gaps of Polarity: Implementing Dependent Data and Codata Types with Implicit Arguments
https://arxiv.org/abs/2511.15819
Ashton Wiersdorf (University of Utah, USA), Ben Greenman (University of Utah, USA)
Chorex: Restartable, Language-Integrated Choreographies
https://arxiv.org/abs/2511.15820
Chorex: Restartable, Language-Integrated Choreographies
https://arxiv.org/abs/2511.15820
November 21, 2025 at 5:11 AM
Ashton Wiersdorf (University of Utah, USA), Ben Greenman (University of Utah, USA)
Chorex: Restartable, Language-Integrated Choreographies
https://arxiv.org/abs/2511.15820
Chorex: Restartable, Language-Integrated Choreographies
https://arxiv.org/abs/2511.15820
Fumika Mochizuki (University of Tokyo, Tokyo, Japan), Tetsuro Yamazaki (University of Tokyo, Tokyo, Japan), Shigeru Chiba (University of Tokyo, Tokyo, Japan)
BlueScript: A Disaggregated Virtual Machine for Microcontrollers
https://arxiv.org/abs/2511.15821
BlueScript: A Disaggregated Virtual Machine for Microcontrollers
https://arxiv.org/abs/2511.15821
November 21, 2025 at 5:11 AM
Fumika Mochizuki (University of Tokyo, Tokyo, Japan), Tetsuro Yamazaki (University of Tokyo, Tokyo, Japan), Shigeru Chiba (University of Tokyo, Tokyo, Japan)
BlueScript: A Disaggregated Virtual Machine for Microcontrollers
https://arxiv.org/abs/2511.15821
BlueScript: A Disaggregated Virtual Machine for Microcontrollers
https://arxiv.org/abs/2511.15821
Sungbin Moon, Jiho Park, Suyoung Hwang, Donghyun Koh, Seunghyun Moon, Minhyeong Lee
Operon: Incremental Construction of Ragged Data via Named Dimensions
https://arxiv.org/abs/2511.16080
Operon: Incremental Construction of Ragged Data via Named Dimensions
https://arxiv.org/abs/2511.16080
November 21, 2025 at 5:10 AM
Sungbin Moon, Jiho Park, Suyoung Hwang, Donghyun Koh, Seunghyun Moon, Minhyeong Lee
Operon: Incremental Construction of Ragged Data via Named Dimensions
https://arxiv.org/abs/2511.16080
Operon: Incremental Construction of Ragged Data via Named Dimensions
https://arxiv.org/abs/2511.16080
Joey Velez-Ginorio, Nada Amin, Konrad Kording, Steve Zdancewic
Compiling to recurrent neurons
https://arxiv.org/abs/2511.14953
Compiling to recurrent neurons
https://arxiv.org/abs/2511.14953
November 20, 2025 at 5:02 AM
Joey Velez-Ginorio, Nada Amin, Konrad Kording, Steve Zdancewic
Compiling to recurrent neurons
https://arxiv.org/abs/2511.14953
Compiling to recurrent neurons
https://arxiv.org/abs/2511.14953
Alexander J Root, Christophe Gyurgyik, Purvi Goel, Kayvon Fatahalian, Jonathan Ragan-Kelley, Andrew Adams, Fredrik Kjolstad
Compiling Set Queries into Work-Efficient Tree Traversals
https://arxiv.org/abs/2511.15000
Compiling Set Queries into Work-Efficient Tree Traversals
https://arxiv.org/abs/2511.15000
November 20, 2025 at 5:02 AM
Alexander J Root, Christophe Gyurgyik, Purvi Goel, Kayvon Fatahalian, Jonathan Ragan-Kelley, Andrew Adams, Fredrik Kjolstad
Compiling Set Queries into Work-Efficient Tree Traversals
https://arxiv.org/abs/2511.15000
Compiling Set Queries into Work-Efficient Tree Traversals
https://arxiv.org/abs/2511.15000
Christophe Gyurgyik, Alexander J Root, Fredrik Kjolstad
Data Layout Polymorphism for Bounding Volume Hierarchies
https://arxiv.org/abs/2511.15028
Data Layout Polymorphism for Bounding Volume Hierarchies
https://arxiv.org/abs/2511.15028
November 20, 2025 at 5:01 AM
Christophe Gyurgyik, Alexander J Root, Fredrik Kjolstad
Data Layout Polymorphism for Bounding Volume Hierarchies
https://arxiv.org/abs/2511.15028
Data Layout Polymorphism for Bounding Volume Hierarchies
https://arxiv.org/abs/2511.15028
Youwei Xiao, Zizhang Luo, Weijie Peng, Yuyang Zou, Yun Liang
Cement2: Temporal Hardware Transactions for High-Level and Efficient FPGA Programming
https://arxiv.org/abs/2511.15073
Cement2: Temporal Hardware Transactions for High-Level and Efficient FPGA Programming
https://arxiv.org/abs/2511.15073
November 20, 2025 at 5:01 AM
Youwei Xiao, Zizhang Luo, Weijie Peng, Yuyang Zou, Yun Liang
Cement2: Temporal Hardware Transactions for High-Level and Efficient FPGA Programming
https://arxiv.org/abs/2511.15073
Cement2: Temporal Hardware Transactions for High-Level and Efficient FPGA Programming
https://arxiv.org/abs/2511.15073
Youwei Xiao, Yuyang Zou, Yun Liang
SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
https://arxiv.org/abs/2511.15323
SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
https://arxiv.org/abs/2511.15323
November 20, 2025 at 5:00 AM
Youwei Xiao, Yuyang Zou, Yun Liang
SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
https://arxiv.org/abs/2511.15323
SkyEgg: Joint Implementation Selection and Scheduling for Hardware Synthesis using E-graphs
https://arxiv.org/abs/2511.15323
Kayo Tei, Haruto Mishina, Naoki Yamamoto, Kazunori Ueda
Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi
https://arxiv.org/abs/2511.15581
Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi
https://arxiv.org/abs/2511.15581
November 20, 2025 at 5:00 AM
Kayo Tei, Haruto Mishina, Naoki Yamamoto, Kazunori Ueda
Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi
https://arxiv.org/abs/2511.15581
Graph Rewriting Language as a Platform for Quantum Diagrammatic Calculi
https://arxiv.org/abs/2511.15581
Manya Bansal, Daniel Sainati, Joseph W. Cutler, Saman Amarasinghe, Jonathan Ragan-Kelley
Modular GPU Programming with Typed Perspectives
https://arxiv.org/abs/2511.11939
Modular GPU Programming with Typed Perspectives
https://arxiv.org/abs/2511.11939
November 18, 2025 at 6:46 AM
Manya Bansal, Daniel Sainati, Joseph W. Cutler, Saman Amarasinghe, Jonathan Ragan-Kelley
Modular GPU Programming with Typed Perspectives
https://arxiv.org/abs/2511.11939
Modular GPU Programming with Typed Perspectives
https://arxiv.org/abs/2511.11939
Harrison Goldstein, Hila Peleg, Cassia Torczon, Daniel Sainati, Leonidas Lampropoulos, Benjamin C. Pierce
The Search for Constrained Random Generators
https://arxiv.org/abs/2511.12253
The Search for Constrained Random Generators
https://arxiv.org/abs/2511.12253
November 18, 2025 at 6:46 AM
Harrison Goldstein, Hila Peleg, Cassia Torczon, Daniel Sainati, Leonidas Lampropoulos, Benjamin C. Pierce
The Search for Constrained Random Generators
https://arxiv.org/abs/2511.12253
The Search for Constrained Random Generators
https://arxiv.org/abs/2511.12253
Kshitij Dubey, Benjamin Driscoll, Anjiang Wei, Neeraj Kayal, Rahul Sharma, Alex Aiken
Equivalence Checking of ML GPU Kernels
https://arxiv.org/abs/2511.12638
Equivalence Checking of ML GPU Kernels
https://arxiv.org/abs/2511.12638
November 18, 2025 at 6:45 AM
Kshitij Dubey, Benjamin Driscoll, Anjiang Wei, Neeraj Kayal, Rahul Sharma, Alex Aiken
Equivalence Checking of ML GPU Kernels
https://arxiv.org/abs/2511.12638
Equivalence Checking of ML GPU Kernels
https://arxiv.org/abs/2511.12638
Qiuhan Gu, Avaljot Singh, Gagandeep Singh
Cost-Driven Synthesis of Sound Abstract Interpreters
https://arxiv.org/abs/2511.13663
Cost-Driven Synthesis of Sound Abstract Interpreters
https://arxiv.org/abs/2511.13663
November 18, 2025 at 6:45 AM
Qiuhan Gu, Avaljot Singh, Gagandeep Singh
Cost-Driven Synthesis of Sound Abstract Interpreters
https://arxiv.org/abs/2511.13663
Cost-Driven Synthesis of Sound Abstract Interpreters
https://arxiv.org/abs/2511.13663
Michael Schwarz, Julian Erhard
Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
https://arxiv.org/abs/2511.11055
Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
https://arxiv.org/abs/2511.11055
November 17, 2025 at 6:02 AM
Michael Schwarz, Julian Erhard
Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
https://arxiv.org/abs/2511.11055
Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
https://arxiv.org/abs/2511.11055
Sangho Lim, Hyoungjin Lim, Wonyeol Lee, Xavier Rival, Hongseok Yang
Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
https://arxiv.org/abs/2511.11070
Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
https://arxiv.org/abs/2511.11070
November 17, 2025 at 6:01 AM
Sangho Lim, Hyoungjin Lim, Wonyeol Lee, Xavier Rival, Hongseok Yang
Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
https://arxiv.org/abs/2511.11070
Optimising Density Computations in Probabilistic Programs via Automatic Loop Vectorisation
https://arxiv.org/abs/2511.11070
November 17, 2025 at 6:01 AM
Santiago Arranz-Olmos, Gilles Barthe, Lionel Blatter, Benjamin Gr\'egoire, Vincent Laporte, Paolo Torrini
The Jasmin Compiler Preserves Cryptographic Security
https://arxiv.org/abs/2511.11292
The Jasmin Compiler Preserves Cryptographic Security
https://arxiv.org/abs/2511.11292
November 17, 2025 at 6:00 AM
Santiago Arranz-Olmos, Gilles Barthe, Lionel Blatter, Benjamin Gr\'egoire, Vincent Laporte, Paolo Torrini
The Jasmin Compiler Preserves Cryptographic Security
https://arxiv.org/abs/2511.11292
The Jasmin Compiler Preserves Cryptographic Security
https://arxiv.org/abs/2511.11292
Shiv Sundram, Akhilesh Balasingam, Nathan Zhang, Kunle Olukotun, Fredrik Kjolstad
Cyclotron: Compilation of Recurrences to Distributed and Systolic Architectures
https://arxiv.org/abs/2511.09987
Cyclotron: Compilation of Recurrences to Distributed and Systolic Architectures
https://arxiv.org/abs/2511.09987
November 14, 2025 at 5:54 AM
Shiv Sundram, Akhilesh Balasingam, Nathan Zhang, Kunle Olukotun, Fredrik Kjolstad
Cyclotron: Compilation of Recurrences to Distributed and Systolic Architectures
https://arxiv.org/abs/2511.09987
Cyclotron: Compilation of Recurrences to Distributed and Systolic Architectures
https://arxiv.org/abs/2511.09987
Alistair O'Brien, Didier R\'emy, Gabriel Scherer
Omnidirectional type inference for ML: principality any way
https://arxiv.org/abs/2511.10343
Omnidirectional type inference for ML: principality any way
https://arxiv.org/abs/2511.10343
November 14, 2025 at 5:54 AM
Alistair O'Brien, Didier R\'emy, Gabriel Scherer
Omnidirectional type inference for ML: principality any way
https://arxiv.org/abs/2511.10343
Omnidirectional type inference for ML: principality any way
https://arxiv.org/abs/2511.10343
Rodrigo Mesquita, Bernardo Toninho
Lazy Linearity for a Core Functional Language
https://arxiv.org/abs/2511.10361
Lazy Linearity for a Core Functional Language
https://arxiv.org/abs/2511.10361
November 14, 2025 at 5:53 AM
Rodrigo Mesquita, Bernardo Toninho
Lazy Linearity for a Core Functional Language
https://arxiv.org/abs/2511.10361
Lazy Linearity for a Core Functional Language
https://arxiv.org/abs/2511.10361
Somashekaracharya G Bhaskaracharya, Aravind Acharya, Bastian Hagedorn, Vinod Grover
Modeling Layout Abstractions Using Integer Set Relations
https://arxiv.org/abs/2511.10374
Modeling Layout Abstractions Using Integer Set Relations
https://arxiv.org/abs/2511.10374
November 14, 2025 at 5:53 AM
Somashekaracharya G Bhaskaracharya, Aravind Acharya, Bastian Hagedorn, Vinod Grover
Modeling Layout Abstractions Using Integer Set Relations
https://arxiv.org/abs/2511.10374
Modeling Layout Abstractions Using Integer Set Relations
https://arxiv.org/abs/2511.10374
Rahul Krishnan, Ashley Samuelson, Emily Yao, Ethan Cecchetti
zkStruDul: Programming zkSNARKs with Structural Duality
https://arxiv.org/abs/2511.10565
zkStruDul: Programming zkSNARKs with Structural Duality
https://arxiv.org/abs/2511.10565
November 14, 2025 at 5:52 AM
Rahul Krishnan, Ashley Samuelson, Emily Yao, Ethan Cecchetti
zkStruDul: Programming zkSNARKs with Structural Duality
https://arxiv.org/abs/2511.10565
zkStruDul: Programming zkSNARKs with Structural Duality
https://arxiv.org/abs/2511.10565
Sacha-\'Elie Ayoun, Opale Sj\"ostedt, Azalea Raad
Soteria: Efficient Symbolic Execution as a Functional Library
https://arxiv.org/abs/2511.08729
Soteria: Efficient Symbolic Execution as a Functional Library
https://arxiv.org/abs/2511.08729
November 13, 2025 at 5:10 AM
Sacha-\'Elie Ayoun, Opale Sj\"ostedt, Azalea Raad
Soteria: Efficient Symbolic Execution as a Functional Library
https://arxiv.org/abs/2511.08729
Soteria: Efficient Symbolic Execution as a Functional Library
https://arxiv.org/abs/2511.08729
Robert Atkey, Roly Perera
Galois Slicing as Automatic Differentiation
https://arxiv.org/abs/2511.09203
Galois Slicing as Automatic Differentiation
https://arxiv.org/abs/2511.09203
November 13, 2025 at 5:10 AM
Robert Atkey, Roly Perera
Galois Slicing as Automatic Differentiation
https://arxiv.org/abs/2511.09203
Galois Slicing as Automatic Differentiation
https://arxiv.org/abs/2511.09203