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

Programming Languages

Authors and titles for cs.PL in Jan 2021

[ total of 63 entries: 1-10 | 11-20 | 21-30 | 31-40 | ... | 61-63 ]
[ showing 10 entries per page: fewer | more | all ]
[1]  arXiv:2101.00930 [pdf, ps, other]
Title: Lassie: HOL4 Tactics by Example
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[2]  arXiv:2101.01312 [pdf, other]
Title: An Ownership Policy and Deadlock Detector for Promises
Journal-ref: Principles and Practice of Parallel Programming, 2021, ACM, pp. 348-361
Subjects: Programming Languages (cs.PL)
[3]  arXiv:2101.03391 [pdf, other]
Title: Paradoxes of Probabilistic Programming
Authors: Jules Jacobs
Subjects: Programming Languages (cs.PL)
[4]  arXiv:2101.04102 [pdf, other]
Title: Query Lifting: Language-integrated query for heterogeneous nested collections
Comments: Full version of ESOP 2021 conference paper
Subjects: Programming Languages (cs.PL); Databases (cs.DB)
[5]  arXiv:2101.04622 [pdf, other]
Title: Communication-Safe Web Programming in TypeScript with Routed Multiparty Session Types
Authors: Anson Miu (1 and 2), Francisco Ferreira (1), Nobuko Yoshida (1), Fangyi Zhou (1) ((1) Imperial College London, (2) Bloomberg)
Comments: Long version for the paper accepted at CC '21
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[6]  arXiv:2101.04718 [pdf, other]
Title: Declarative Demand-Driven Reverse Engineering
Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)
[7]  arXiv:2101.04742 [pdf, ps, other]
Title: Programming and Reasoning with Partial Observability
Journal-ref: Proc. ACM Program. Lang. 4, OOPSLA, Article 200 (November 2020), 28 pages
Subjects: Programming Languages (cs.PL)
[8]  arXiv:2101.04808 [pdf, other]
Title: MLGO: a Machine Learning Guided Compiler Optimizations Framework
Authors: Mircea Trofin (1), Yundi Qian (1), Eugene Brevdo (1), Zinan Lin (2), Krzysztof Choromanski (1), David Li (1) ((1) Google, Inc., (2) Carnegie Mellon University)
Comments: First two authors are equal contributors
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)
[9]  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)
[10]  arXiv:2101.06249 [pdf, ps, other]
Title: Manifestly Phased Communication via Shared Session Types
Comments: Extended and revised version of a paper presented at COORDINATION 2021
Subjects: Programming Languages (cs.PL)
[ total of 63 entries: 1-10 | 11-20 | 21-30 | 31-40 | ... | 61-63 ]
[ showing 10 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

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