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
ZeHao Yu
Evaluate the Stack Management in Effect Handlers using the libseff C Library
https://arxiv.org/abs/2512.03083
Evaluate the Stack Management in Effect Handlers using the libseff C Library
https://arxiv.org/abs/2512.03083
December 4, 2025 at 5:01 AM
ZeHao Yu
Evaluate the Stack Management in Effect Handlers using the libseff C Library
https://arxiv.org/abs/2512.03083
Evaluate the Stack Management in Effect Handlers using the libseff C Library
https://arxiv.org/abs/2512.03083
Le Chen, Nuo Xu, Winson Chen, Bin Lei, Pei-Hung Lin, Dunzhi Zhou, Rajeev Thakur, Caiwen Ding, Ali Jannesari, Chunhua Liao
Beyond Code Pairs: Dialogue-Based Data Generation for LLM Code Translation
https://arxiv.org/abs/2512.03086
Beyond Code Pairs: Dialogue-Based Data Generation for LLM Code Translation
https://arxiv.org/abs/2512.03086
December 4, 2025 at 5:00 AM
Le Chen, Nuo Xu, Winson Chen, Bin Lei, Pei-Hung Lin, Dunzhi Zhou, Rajeev Thakur, Caiwen Ding, Ali Jannesari, Chunhua Liao
Beyond Code Pairs: Dialogue-Based Data Generation for LLM Code Translation
https://arxiv.org/abs/2512.03086
Beyond Code Pairs: Dialogue-Based Data Generation for LLM Code Translation
https://arxiv.org/abs/2512.03086
Hassan Arafat, David Bremner, Kenneth B. Kent, Julian Wang
OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
https://arxiv.org/abs/2512.03972
OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
https://arxiv.org/abs/2512.03972
December 4, 2025 at 5:00 AM
Hassan Arafat, David Bremner, Kenneth B. Kent, Julian Wang
OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
https://arxiv.org/abs/2512.03972
OOPredictor: Predicting Object-Oriented Accesses using Static Analysis
https://arxiv.org/abs/2512.03972
Yihong Zhang, Derek Gerstmann, Andrew Adams, Maaz Bin Safeer Ahmad
Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language
https://arxiv.org/abs/2512.02371
Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language
https://arxiv.org/abs/2512.02371
December 3, 2025 at 5:26 AM
Yihong Zhang, Derek Gerstmann, Andrew Adams, Maaz Bin Safeer Ahmad
Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language
https://arxiv.org/abs/2512.02371
Pushing Tensor Accelerators Beyond MatMul in a User-Schedulable Language
https://arxiv.org/abs/2512.02371
Joel Nyholm, Wojciech Mostowski, Christoph Reichenbach
Probabilistic energy profiler for statically typed JVM-based programming languages
https://arxiv.org/abs/2512.02738
Probabilistic energy profiler for statically typed JVM-based programming languages
https://arxiv.org/abs/2512.02738
December 3, 2025 at 5:25 AM
Joel Nyholm, Wojciech Mostowski, Christoph Reichenbach
Probabilistic energy profiler for statically typed JVM-based programming languages
https://arxiv.org/abs/2512.02738
Probabilistic energy profiler for statically typed JVM-based programming languages
https://arxiv.org/abs/2512.02738
Isha Chaudhary, Vedaant Jain, Avaljot Singh, Kavya Sachdeva, Sayan Ranu, Gagandeep Singh
Lumos: Let there be Language Model System Certification
https://arxiv.org/abs/2512.02966
Lumos: Let there be Language Model System Certification
https://arxiv.org/abs/2512.02966
December 3, 2025 at 5:25 AM
Isha Chaudhary, Vedaant Jain, Avaljot Singh, Kavya Sachdeva, Sayan Ranu, Gagandeep Singh
Lumos: Let there be Language Model System Certification
https://arxiv.org/abs/2512.02966
Lumos: Let there be Language Model System Certification
https://arxiv.org/abs/2512.02966
December 2, 2025 at 5:49 AM
Doruk Alp Mutlu
Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
https://arxiv.org/abs/2511.22075
Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
https://arxiv.org/abs/2511.22075
December 1, 2025 at 6:12 AM
Doruk Alp Mutlu
Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
https://arxiv.org/abs/2511.22075
Expanding Specification Capabilities of a Gradual Verifier with Pure Functions
https://arxiv.org/abs/2511.22075
Ken Sakayori, Andrea Colledan, Ugo Dal Lago
On Circuit Description Languages, Indexed Monads, and Resource Analysis
https://arxiv.org/abs/2511.22419
On Circuit Description Languages, Indexed Monads, and Resource Analysis
https://arxiv.org/abs/2511.22419
December 1, 2025 at 6:12 AM
Ken Sakayori, Andrea Colledan, Ugo Dal Lago
On Circuit Description Languages, Indexed Monads, and Resource Analysis
https://arxiv.org/abs/2511.22419
On Circuit Description Languages, Indexed Monads, and Resource Analysis
https://arxiv.org/abs/2511.22419
David Castro-Perez, Francisco Ferreira, Sung-Shik Jongmans
A Synthetic Reconstruction of Multiparty Session Types (with Appendix)
https://arxiv.org/abs/2511.22692
A Synthetic Reconstruction of Multiparty Session Types (with Appendix)
https://arxiv.org/abs/2511.22692
December 1, 2025 at 6:11 AM
David Castro-Perez, Francisco Ferreira, Sung-Shik Jongmans
A Synthetic Reconstruction of Multiparty Session Types (with Appendix)
https://arxiv.org/abs/2511.22692
A Synthetic Reconstruction of Multiparty Session Types (with Appendix)
https://arxiv.org/abs/2511.22692
Alexandre Moine, Sam Westrick, Joseph Tassarotti
All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
https://arxiv.org/abs/2511.23283
All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
https://arxiv.org/abs/2511.23283
December 1, 2025 at 6:11 AM
Alexandre Moine, Sam Westrick, Joseph Tassarotti
All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
https://arxiv.org/abs/2511.23283
All for One and One for All: Program Logics for Exploiting Internal Determinism in Parallel Programs
https://arxiv.org/abs/2511.23283
Alexandre Moine, Stephanie Balzer, Alex Xu, Sam Westrick
TypeDis: A Type System for Disentanglement
https://arxiv.org/abs/2511.23358
TypeDis: A Type System for Disentanglement
https://arxiv.org/abs/2511.23358
December 1, 2025 at 6:10 AM
Alexandre Moine, Stephanie Balzer, Alex Xu, Sam Westrick
TypeDis: A Type System for Disentanglement
https://arxiv.org/abs/2511.23358
TypeDis: A Type System for Disentanglement
https://arxiv.org/abs/2511.23358
Yusuke Matsushita, Kengo Hirata, Ryo Wakizaka, Emanuele D'Osualdo
RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
https://arxiv.org/abs/2511.23472
RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
https://arxiv.org/abs/2511.23472
December 1, 2025 at 6:10 AM
Yusuke Matsushita, Kengo Hirata, Ryo Wakizaka, Emanuele D'Osualdo
RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
https://arxiv.org/abs/2511.23472
RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing
https://arxiv.org/abs/2511.23472
Russel Arbore, Alvin Cheung, Max Willsey
Optimism in Equality Saturation
https://arxiv.org/abs/2511.20782
Optimism in Equality Saturation
https://arxiv.org/abs/2511.20782
November 27, 2025 at 5:49 AM
Russel Arbore, Alvin Cheung, Max Willsey
Optimism in Equality Saturation
https://arxiv.org/abs/2511.20782
Optimism in Equality Saturation
https://arxiv.org/abs/2511.20782
Yee-Jian Tan, Andreas Nuyts, Dominique Devriese
Towards Computational UIP in Cubical Agda
https://arxiv.org/abs/2511.21209
Towards Computational UIP in Cubical Agda
https://arxiv.org/abs/2511.21209
November 27, 2025 at 5:49 AM
Yee-Jian Tan, Andreas Nuyts, Dominique Devriese
Towards Computational UIP in Cubical Agda
https://arxiv.org/abs/2511.21209
Towards Computational UIP in Cubical Agda
https://arxiv.org/abs/2511.21209
Dirk Beyer, Gidon Ernst, Martin Jon\'a\v{s}, Marian Lingsch-Rosenfeld
SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
https://arxiv.org/abs/2511.21509
SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
https://arxiv.org/abs/2511.21509
November 27, 2025 at 5:48 AM
Dirk Beyer, Gidon Ernst, Martin Jon\'a\v{s}, Marian Lingsch-Rosenfeld
SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
https://arxiv.org/abs/2511.21509
SV-LIB 1.0: A Standard Exchange Format for Software-Verification Tasks
https://arxiv.org/abs/2511.21509
Tesla Zhang, Asher Kornfeld, Rui Li, Sonya Simkin, Yue Yao, Stephanie Balzer
Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols
https://arxiv.org/abs/2511.19521
Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols
https://arxiv.org/abs/2511.19521
November 26, 2025 at 5:27 AM
Tesla Zhang, Asher Kornfeld, Rui Li, Sonya Simkin, Yue Yao, Stephanie Balzer
Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols
https://arxiv.org/abs/2511.19521
Mechanizing a Proof-Relevant Logical Relation for Timed Message-Passing Protocols
https://arxiv.org/abs/2511.19521
Ayaka Yorihiro, Griffin Berlstein, Pedro Pontes Garc\'ia, Kevin Laeufer, Adrian Sampson
Understanding Accelerator Compilers via Performance Profiling
https://arxiv.org/abs/2511.19764
Understanding Accelerator Compilers via Performance Profiling
https://arxiv.org/abs/2511.19764
November 26, 2025 at 5:26 AM
Ayaka Yorihiro, Griffin Berlstein, Pedro Pontes Garc\'ia, Kevin Laeufer, Adrian Sampson
Understanding Accelerator Compilers via Performance Profiling
https://arxiv.org/abs/2511.19764
Understanding Accelerator Compilers via Performance Profiling
https://arxiv.org/abs/2511.19764
Frank Sch\"ussele, Matthias Zumkeller, Miriam Lagunes-Rochin, Dominik Klumpp
The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs (Extended Version)
https://arxiv.org/abs/2511.20369
The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs (Extended Version)
https://arxiv.org/abs/2511.20369
November 26, 2025 at 5:26 AM
Frank Sch\"ussele, Matthias Zumkeller, Miriam Lagunes-Rochin, Dominik Klumpp
The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs (Extended Version)
https://arxiv.org/abs/2511.20369
The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs (Extended Version)
https://arxiv.org/abs/2511.20369
Jai Arora, Sirui Lu, Devansh Jain, Tianfan Xu, Farzin Houshmand, Phitchaya Mangpo Phothilimthana, Mohsen Lesani, Praveen Narayanan, Karthik Srinivasa Murthy, Rastislav Bodik, Amit Sabne, Charith Mendis
TensorRight: Automated Verification of Tensor Graph Rewrites
https://arxiv.org/abs/2511.17838
TensorRight: Automated Verification of Tensor Graph Rewrites
https://arxiv.org/abs/2511.17838
November 25, 2025 at 5:06 AM
Jai Arora, Sirui Lu, Devansh Jain, Tianfan Xu, Farzin Houshmand, Phitchaya Mangpo Phothilimthana, Mohsen Lesani, Praveen Narayanan, Karthik Srinivasa Murthy, Rastislav Bodik, Amit Sabne, Charith Mendis
TensorRight: Automated Verification of Tensor Graph Rewrites
https://arxiv.org/abs/2511.17838
TensorRight: Automated Verification of Tensor Graph Rewrites
https://arxiv.org/abs/2511.17838
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