We gratefully acknowledge support from
the Simons Foundation
and member institutions

Programming Languages

Authors and titles for recent submissions

[ total of 13 entries: 1-13 ]
[ showing up to 25 entries per page: fewer | more ]

Tue, 15 Aug 2017

[1]  arXiv:1708.03882 [pdf, ps, other]
Title: Monadic Remote Invocation
Authors: Raphael Jolly
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)
[2]  arXiv:1708.03786 (cross-list from cs.HC) [pdf, other]
Title: TraceDiff: Debugging Unexpected Code Behavior Using Trace Divergences
Authors: Ryo Suzuki, Gustavo Soares, Andrew Head, Elena Glassman, Ruan Reis, Melina Mongiovi, Loris D'Antoni, Bjoern Hartmann
Comments: VL/HCC 2017
Subjects: Human-Computer Interaction (cs.HC); Computers and Society (cs.CY); Programming Languages (cs.PL); Software Engineering (cs.SE)

Thu, 10 Aug 2017

[3]  arXiv:1708.02801 [pdf, ps, other]
Title: Safety Verification of Phaser Programs
Authors: Zeinab Ganjei, Ahmed Rezine, Petru Eles, Zebo Peng
Subjects: Programming Languages (cs.PL)
[4]  arXiv:1708.02710 [pdf, other]
Title: From Reversible Programs to Univalent Universes and Back
Authors: Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[5]  arXiv:1708.02651 (cross-list from q-bio.OT) [pdf, other]
Title: When rule-based models need to count
Authors: Pierre Boutillier (1), Ioana Cristescu (1) ((1) HMS)
Subjects: Other Quantitative Biology (q-bio.OT); Programming Languages (cs.PL)

Wed, 9 Aug 2017

[6]  arXiv:1708.02537 [pdf, other]
Title: Proving Expected Sensitivity of Probabilistic Programs
Authors: Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Pierre-Yves Strub
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[7]  arXiv:1708.02512 [pdf, other]
Title: On-Stack Replacement à la Carte
Authors: Daniele Cono D'Elia, Camil Demetrescu
Subjects: Programming Languages (cs.PL)
[8]  arXiv:1708.02328 [pdf, ps, other]
Title: Deriving Law-Abiding Instances
Authors: Ryan Scott, Vikraman Choudhury, Ryan Newton, Niki Vazou, Ranjit Jhala
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[9]  arXiv:1708.02319 [pdf, other]
Title: On the Learnability of Programming Language Semantics
Authors: Dan R. Ghica, Khulood Alyahya
Subjects: Programming Languages (cs.PL)
[10]  arXiv:1708.02318 [pdf, other]
Title: Adaptive Lock-Free Data Structures in Haskell: A General Method for Concurrent Implementation Swapping
Authors: Chao-Hong Chen, Vikraman Choudhury, Ryan R. Newton
Comments: To be published in ACM SIGPLAN Haskell Symposium 2017
Subjects: Programming Languages (cs.PL)

Tue, 8 Aug 2017

[11]  arXiv:1708.01679 [pdf, other]
Title: Scoped Extension Methods in Dynamically-Typed Languages
Authors: Guillermo Polito (Centre de Recherche en Informatique Signal et Automatique de Lille, France), Camille Teruel (Inria, France), Stéphane Ducasse (INRIA, France), Luc Fabresse (Mines Telecom Institute, Douai, France)
Journal-ref: The Art, Science, and Engineering of Programming, 2018, Vol. 2, Issue 1, Article 1
Subjects: Programming Languages (cs.PL)

Thu, 3 Aug 2017

[12]  arXiv:1708.00551 [pdf, other]
Title: Bonsai: Synthesis-Based Reasoning for Type Systems
Authors: Kartik Chandra, Rastislav Bodik
Subjects: Programming Languages (cs.PL)
[13]  arXiv:1708.00817 (cross-list from cs.SE) [pdf]
Title: Revisiting Exception Handling Practices with Exception Flow Analysis
Authors: Guilherme B. de Pádua, Weiyi Shang
Comments: Pre-print for SCAM 2017
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[ total of 13 entries: 1-13 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)