We gratefully acknowledge support from
the Simons Foundation and member institutions.

Programming Languages

Authors and titles for recent submissions

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

Fri, 22 Jan 2021

[1]  arXiv:2101.08733 [pdf, other]
Title: Deductive Verification of Floating-Point Java Programs in KeY
Authors: Rosa Abbasi Boroujeni, Jonas Schiffl, Eva Darulova, Mattias Ulbrich, Wolfgang Ahrendt
Subjects: Programming Languages (cs.PL)
[2]  arXiv:2101.08458 [pdf, other]
Title: UNIT: Unifying Tensorized Instruction Compilation
Authors: Jian Weng, Animesh Jain, Jie Wang, Leyuan Wang, Yida Wang, Tony Nowatzki
Comments: 13 pages, 13 figures, and 1 table
Subjects: Programming Languages (cs.PL); Hardware Architecture (cs.AR); Machine Learning (cs.LG); Performance (cs.PF)
[3]  arXiv:2101.08720 (cross-list from cs.FL) [pdf, ps, other]
Title: Leafy Automata for Higher-Order Concurrency
Authors: Alex Dixon, Ranko Lazić, Andrzej S. Murawski, Igor Walukiewicz
Comments: 18 pages plus appendices
Subjects: Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)
[4]  arXiv:2101.08611 (cross-list from cs.FL) [pdf, ps, other]
Title: General Decidability Results for Asynchronous Shared-Memory Programs: Higher-Order and Beyond
Authors: Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche
Subjects: Formal Languages and Automata Theory (cs.FL); Programming Languages (cs.PL)
[5]  arXiv:2101.08491 (cross-list from cs.LO) [pdf, ps, other]
Title: Complete trace models of state and control
Authors: Guilhem Jaber (GALLINETTE, LS2N), Andrzej S. Murawski
Subjects: Logic in Computer Science (cs.LO); Programming Languages (cs.PL)

Thu, 21 Jan 2021

[6]  arXiv:2101.08181 [pdf, ps, other]
Title: Fair Refinement for Asynchronous Session Types (extended version)
Authors: Mario Bravetti, Julien Lange, Gianluigi Zavattaro
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[7]  arXiv:2101.08095 [pdf, ps, other]
Title: Automatic Differentiation via Effects and Handlers: An Implementation in Frank
Authors: Jesse Sigal
Comments: Appeared as short paper in PEPM'21, see this https URL for associated talk
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)
[8]  arXiv:2101.08116 (cross-list from cs.SE) [pdf, ps, other]
Title: Improving type information inferred by decompilers with supervised machine learning
Authors: Javier Escalada (1), Ted Scully (2), Francisco Ortin (1 and 2) ((1) University of Oviedo, (2) Cork Institute of Technology)
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Programming Languages (cs.PL)
[9]  arXiv:2101.07888 (cross-list from cs.DM) [html]
Title: Proceedings of the 3rd Annual International Applied Category Theory Conference 2020
Authors: David I. Spivak (Massachusetts Institute of Technology), Jamie Vicary (University of Cambridge)
Journal-ref: EPTCS 333, 2021
Subjects: Discrete Mathematics (cs.DM); Programming Languages (cs.PL)

Tue, 19 Jan 2021

[10]  arXiv:2101.06759 [pdf, other]
Title: Proceedings of the 2020 Scheme and Functional Programming Workshop
Authors: Baptiste Saleil, Michael D. Adams
Comments: 85 pages; 30 figures; workshop website at this https URL
Subjects: Programming Languages (cs.PL)
[11]  arXiv:2101.06757 [pdf, ps, other]
Title: Higher Order Automatic Differentiation of Higher Order Functions
Authors: Mathieu Huot, Sam Staton, Matthijs Vákár
Comments: arXiv admin note: substantial text overlap with arXiv:2001.02209
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[12]  arXiv:2101.06542 (cross-list from cs.SE) [pdf, other]
Title: ConE: A Concurrent Edit Detection Tool for Large ScaleSoftware Development
Authors: Chandra Maddila, Nachiappan Nagappan, Christian Bird, Georgios Gousios, Arie van Deursen
Subjects: Software Engineering (cs.SE); Machine Learning (cs.LG); Programming Languages (cs.PL)

Mon, 18 Jan 2021

[13]  arXiv:2101.06249 [pdf, ps, other]
Title: Manifestly Phased Communication via Shared Session Types
Authors: Chuta Sano, Stephanie Balzer, Frank Pfenning
Comments: Technical report; 63 pages (30 from Appendix) and 2 figures
Subjects: Programming Languages (cs.PL)
[14]  arXiv:2101.06039 (cross-list from cs.CR) [pdf, other]
Title: Secure Optimization Through Opaque Observations
Authors: Son Tuan Vu, Albert Cohen, Karine Heydemann, Arnaud de Grandmaison, Christophe Guillon
Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL)

Fri, 15 Jan 2021

[15]  arXiv:2101.05702 [pdf, other]
Title: Structural Analysis of Multimode DAE Systems: summary of results
Authors: Albert Benveniste (HYCOMES), Benoît Caillaud (HYCOMES), Mathias Malandain (HYCOMES)
Comments: arXiv admin note: substantial text overlap with arXiv:2008.05166
Subjects: Programming Languages (cs.PL)
[ total of 15 entries: 1-15 ]
[ showing up to 25 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, new, 2101, contact, help  (Access key information)