Programming Languages

Authors and titles for October 2019

[1] arXiv:1910.00241 [pdf, other]

Title: Optimal Dyck Reachability for Data-Dependence and Alias Analysis

Krishnendu Chatterjee, Bhavya Choudhary, Andreas Pavlogiannis

Subjects: Programming Languages (cs.PL)

[2] arXiv:1910.00709 [pdf, other]

Title: Mμl: The Power of Dynamic Multi-Methods

Isaac Oscar Gariano, Marco Servetto

Comments: Presented at Workshop on Meta-Programming Techniques and Reflection (META'19)

Subjects: Programming Languages (cs.PL)

[3] arXiv:1910.02146 [pdf, other]

Title: RecordFlux: Formal Message Specification and Generation of Verifiable Binary Parsers

Tobias Reiher, Alexander Senier, Jeronimo Castrillon, Thorsten Strufe

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR); Networking and Internet Architecture (cs.NI)

[4] arXiv:1910.02375 [pdf, other]

Title: Design and Use of Loop-Transformation Pragmas

Michael Kruse, Hal Finkel

Comments: IWOMP 2019, September 11-13, Auckland, preprint

Subjects: Programming Languages (cs.PL); Computation and Language (cs.CL)

[5] arXiv:1910.03001 [pdf, other]

Title: Trading off Complexity for Expressiveness in Programming Languages: Visions and Preliminary Experiences

Vincenzo De Florio, Chris Blondia

Comments: Appeared in Proc. of the 3rd Int.l Conference on Advanced Communication and Networking (ACN 2011), Lecture Notes in Computer Science. Springer

Subjects: Programming Languages (cs.PL)

[6] arXiv:1910.03784 [pdf, other]

Title: Generalized Property-Directed Reachability for Hybrid Systems

Kohei Suenaga, Takuya Ishizawa

Comments: To appear in VMCAI 2020

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)

[7] arXiv:1910.08480 [pdf, other]

Title: Gradual Typing for Extensibility by Rows

Taro Sekiyama, Atsushi Igarashi

Subjects: Programming Languages (cs.PL)

[8] arXiv:1910.08607 [pdf, other]

Title: Exorcising Spectres with Secure Compilers

Marco Patrignani, Marco Guarnieri

Subjects: Programming Languages (cs.PL)

[9] arXiv:1910.08634 [pdf, other]

Title: Universal Composability is Robust Compilation

Marco Patrignani, Robert Künnemann, Riad S. Wahby

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR)

[10] arXiv:1910.09521 [pdf, other]

Title: Reasoning About Recursive Tree Traversals

Yanjun Wang, Jinwei Liu, Dalin Zhang, Xiaokang Qiu

Subjects: Programming Languages (cs.PL)

[11] arXiv:1910.09579 [pdf, other]

Title: Transparent Synchronous Dataflow

Steven W.T. Cheung, Dan R. Ghica, Koko Muroya

Journal-ref: The Art, Science, and Engineering of Programming, 2021, Vol. 5, Issue 3, Article 12

Subjects: Programming Languages (cs.PL)

[12] arXiv:1910.09586 [pdf, other]

Title: Memory Safety Preservation for WebAssembly

Marco Vassena, Marco Patrignani

Subjects: Programming Languages (cs.PL)

[13] arXiv:1910.09744 [pdf, other]

Title: Decidable Synthesis of Programs with Uninterpreted Functions

Paul Krogmeier, Umang Mathur, Adithya Murali, P. Madhusudan, Mahesh Viswanathan

Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)

[14] arXiv:1910.10421 [pdf, other]

Title: Towards a Complete Picture of Lens Laws

Keisuke Nakano

Comments: Proceedings of the Third Workshop on Software Foundations for Data Interoperability (SFDI2019+), October 28, 2019, Fukuoka, Japan

Subjects: Programming Languages (cs.PL); Databases (cs.DB)

[15] arXiv:1910.10889 [pdf, other]

Title: What's Decidable About Program Verification Modulo Axioms?

Umang Mathur, P. Madhusudan, Mahesh Viswanathan

Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)

[16] arXiv:1910.10988 [pdf, other]

Title: A Polymorphic RPC Calculus

Kwanghoon Choi, James Cheney, Simon Fowler, Sam Lindley

Comments: SBMF-Brazilian Symposium on Formal Methods 2019

Subjects: Programming Languages (cs.PL)

[17] arXiv:1910.11108 [pdf, other]

Title: Model-View-Update-Communicate: Session Types meet the Elm Architecture

Simon Fowler

Comments: Extended version of paper to appear at ECOOP 2020

Subjects: Programming Languages (cs.PL)

[18] arXiv:1910.11629 [pdf, other]

Title: Runners in action

Danel Ahman, Andrej Bauer

Comments: ESOP 2020 final version + online appendix

Subjects: Programming Languages (cs.PL)

[19] arXiv:1910.11714 [pdf, other]

Title: Pointer Life Cycle Types for Lock-Free Data Structures with Memory Reclamation

Roland Meyer, Sebastian Wolff

Subjects: Programming Languages (cs.PL)

[20] arXiv:1910.11717 [pdf, other]

Title: Selective Lambda Lifting

Sebastian Graf, Simon Peyton Jones

Comments: Rejected from ICFP 2019

Subjects: Programming Languages (cs.PL)

[21] arXiv:1910.11724 [pdf, other]

Title: Embracing a mechanized formalization gap

Antal Spector-Zabusky, Joachim Breitner, Yao Li, Stephanie Weirich

Comments: Submitted to CPP'20

Subjects: Programming Languages (cs.PL)

[22] arXiv:1910.11741 [pdf, other]

Title: Implementing choreography extraction

Luís Cruz-Filipe, Fabrizio Montesi, Larisa Safina

Subjects: Programming Languages (cs.PL)

[23] arXiv:1910.11924 [pdf, other]

Title: A Calculus for Language Transformations

Benjamin Mourad, Matteo Cimini

Subjects: Programming Languages (cs.PL)

[24] arXiv:1910.12256 [pdf, other]

Title: Complexity and Information in Invariant Inference

Yotam M. Y. Feldman, Neil Immerman, Mooly Sagiv, Sharon Shoham

Subjects: Programming Languages (cs.PL)

[25] arXiv:1910.12272 [pdf, other]

Title: Declarative Semantics of the Hybrid Constraint Language HydLa

Kazunori Ueda, Hiroshi Hosobe, Daisuke Ishii

Comments: 10 pages, 3 figures. This is an English translation of the paper that originally appeared in Computer Software, Vol.28, No.1 (2011), pp.306-311, doi:https://doi.org/10.11309/jssst.28.1_306

Subjects: Programming Languages (cs.PL)