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 ]

Mon, 18 Jan 2021

[1]  arXiv:2101.06249 [pdf, ps, other]
Title: Manifestly Phased Communication via Shared Session Types
Comments: Technical report; 63 pages (30 from Appendix) and 2 figures
Subjects: Programming Languages (cs.PL)
[2]  arXiv:2101.06039 (cross-list from cs.CR) [pdf, other]
Title: Secure Optimization Through Opaque Observations
Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL)

Fri, 15 Jan 2021

[3]  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: text overlap with arXiv:2008.05166
Subjects: Programming Languages (cs.PL)

Thu, 14 Jan 2021

[4]  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)
[5]  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)
[6]  arXiv:2101.04718 [pdf, other]
Title: Declarative Demand-Driven Reverse Engineering
Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)

Wed, 13 Jan 2021

[7]  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)
[8]  arXiv:2101.04470 (cross-list from cs.LG) [pdf, other]
Title: Type4Py: Deep Similarity Learning-Based Type Inference for Python
Comments: Type4Py's source code and dataset can be retrieved here: this https URL
Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL); Software Engineering (cs.SE)
[9]  arXiv:2101.04395 (cross-list from cs.DC) [pdf, ps, other]
Title: Symbolic Loop Compilation for Tightly Coupled Processor Arrays
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Hardware Architecture (cs.AR); Programming Languages (cs.PL)

Tue, 12 Jan 2021

[10]  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)
[11]  arXiv:2101.03391 [pdf, other]
Title: Paradoxes of Probabilistic Programming
Authors: Jules Jacobs
Subjects: Programming Languages (cs.PL)
[12]  arXiv:2101.03263 (cross-list from cs.LG) [pdf, other]
Title: SyReNN: A Tool for Analyzing Deep Neural Networks
Comments: Accepted paper at TACAS 2021. Tool is available at this https URL
Subjects: Machine Learning (cs.LG); Programming Languages (cs.PL)
[13]  arXiv:2101.03238 (cross-list from cs.MA) [pdf, other]
Title: Neurosymbolic Transformers for Multi-Agent Communication
Subjects: Multiagent Systems (cs.MA); Machine Learning (cs.LG); Programming Languages (cs.PL)
[ total of 13 entries: 1-13 ]
[ 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)