Programming Languages

Authors and titles for July 2019

[1] arXiv:1907.00298 [pdf, other]

Title: Deciding Memory Safety for Single-Pass Heap-Manipulating Programs

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

Comments: StreamVerif tool for automata-based verification of uninterpreted programs can be found at this https URL

Journal-ref: Proceedings of the ACM on Programming Languages Vol. 4, Issue POPL, Article 35 (December 2019)

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

[2] arXiv:1907.00421 [pdf, other]

Title: A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro

Comments: This is an extended version of the CONCUR'19 version

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 1 (March 4, 2021) lmcs:5974

Subjects: Programming Languages (cs.PL)

[3] arXiv:1907.00509 [pdf, other]

Title: The Semantics of Rank Polymorphism

Justin Slepak, Olin Shivers, Panagiotis Manolios

Subjects: Programming Languages (cs.PL)

[4] arXiv:1907.00822 [pdf, other]

Title: Consistency types for replicated data in a higher-order distributed programming language

Xin Zhao, Philipp Haller

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

Subjects: Programming Languages (cs.PL)

[5] arXiv:1907.00844 [pdf, other]

Title: Coherence of Type Class Resolution

Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers

Comments: Accepted to ICFP 2019

Subjects: Programming Languages (cs.PL)

[6] arXiv:1907.00855 [pdf, other]

Title: Type Checking Program Code using SHACL (Extended Version)

Martin Leinberger, Philipp Seifer, Claudia Schon, Ralf Lämmel, Steffen Staab

Subjects: Programming Languages (cs.PL)

[7] arXiv:1907.00863 [pdf, other]

Title: Understanding GCC Builtins to Develop Better Tools

Manuel Rigger, Stefan Marr, Bram Adams, Hanspeter Mössenböck

Comments: Accepted at ESEC/FSE 2019 (see this https URL)

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

[8] arXiv:1907.01257 [pdf, other]

Title: A robust graph-based approach to observational equivalence

Dan R. Ghica, Koko Muroya, Todd Waugh Ambridge

Journal-ref: Logical Methods in Computer Science, Volume 21, Issue 2 (April 24, 2025) lmcs:8524

Subjects: Programming Languages (cs.PL)

[9] arXiv:1907.02558 [pdf, other]

Title: Integration of the Static Analysis Results Interchange Format in CogniCrypt

Sriteja Kummita, Goran Piskachev

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

[10] arXiv:1907.02859 [pdf, other]

Title: GTIRB: Intermediate Representation for Binaries

Eric Schulte, Jonathan Dorn, Antonio Flores-Montoya, Aaron Ballman, Tom Johnson

Subjects: Programming Languages (cs.PL)

[11] arXiv:1907.02952 [pdf, other]

Title: Solidity 0.5: when typed does not mean type safe

Silvia Crafa, Matteo Di Pirro

Subjects: Programming Languages (cs.PL)

[12] arXiv:1907.02990 [pdf, other]

Title: Type-safe, Polyvariadic Event Correlation

Oliver Bračevac, Guido Salvaneschi, Sebastian Erdweg, Mira Mezini

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

[13] arXiv:1907.03105 [pdf, other]

Title: Constraint-Based Type-Directed Program Synthesis

Peter-Michael Osera

Comments: Extended version of report that appeared in TyDe 2019

Subjects: Programming Languages (cs.PL)

[14] arXiv:1907.03436 [pdf, other]

Title: parboiled2: a macro-based approach for effective generators of parsing expressions grammars in Scala

Alexander A. Myltsev

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

[15] arXiv:1907.03536 [pdf, other]

Title: A Compositional Framework for Scientific Model Augmentation

Micah Halter (Georgia Tech Research Institute), Christine Herlihy (Georgia Tech Research Institute), James Fairbanks (Georgia Tech Research Institute)

Comments: In Proceedings ACT 2019, arXiv:2009.06334

Journal-ref: EPTCS 323, 2020, pp. 172-182

Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE); Category Theory (math.CT)

[16] arXiv:1907.03997 [pdf, other]

Title: Relational Verification via Invariant-Guided Synchronization

Qi Zhou (Georgia Institute of Technology), David Heath (Georgia Institute of Technology), William Harris (Galois Inc.)

Comments: In Proceedings HCVS/PERR 2019, arXiv:1907.03523

Journal-ref: EPTCS 296, 2019, pp. 28-41

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

[17] arXiv:1907.04134 [pdf, other]

Title: A Bridge Anchored on Both Sides: Formal Deduction in Introductory CS, and Code Proofs in Discrete Math

David G. Wonnacott, Peter-Michael Osera

Comments: 36 pages, including references; "experiments" section to be discussed at ICER 2019 work-in-progress session; prior material currently under review

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

[18] arXiv:1907.04241 [pdf, other]

Title: CHOP: Bypassing Runtime Bounds Checking Through Convex Hull OPtimization

Yurong Chen, Hongfa Xue, Tian Lan, Guru Venkataramani

Comments: 14 pages, 9 figures, 6 tables;

Subjects: Programming Languages (cs.PL); Performance (cs.PF)

[19] arXiv:1907.04243 [pdf, other]

Title: The Combinatorics of Barrier Synchronization

Olivier Bodini, Matthieu Dien, Antoine Genitrini, Frédéric Peschanski

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

[20] arXiv:1907.04262 [pdf, other]

Title: solc-verify: A Modular Verifier for Solidity Smart Contracts

Ákos Hajdu, Dejan Jovanović

Comments: Authors' manuscript. Published in S. Chakraborty and J. A. Navas (Eds.): VSTTE 2019, LNCS 12031, 2020. The final publication is available at Springer via this https URL

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

[21] arXiv:1907.04934 [pdf, other]

Title: CallE: An Effect System for Method Calls

Isaac Oscar Gariano, James Noble, Marco Servetto

Subjects: Programming Languages (cs.PL)

[22] arXiv:1907.05045 [pdf, other]

Title: Provenance for Large-scale Datalog

David Zhao, Pavle Subotic, Bernhard Scholz

Comments: 28 pages, 18 figures, technical report

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

[23] arXiv:1907.05118 [pdf, other]

Title: R Melts Brains -- An IR for First-Class Environments and Lazy Effectful Arguments

Olivier Flückiger, Guido Chari, Jan Ječmen, Ming-Ho Yee, Jakob Hain, Jan Vitek

Journal-ref: Proceedings of the 15th ACM SIGPLAN International Symposium on Dynamic Languages (DLS 2019)

Subjects: Programming Languages (cs.PL)

[24] arXiv:1907.05244 [pdf, other]

Title: The Next 700 Relational Program Logics

Kenji Maillard, Catalin Hritcu, Exequiel Rivas, Antoine Van Muylder

Comments: POPL 2020 camera-ready version

Subjects: Programming Languages (cs.PL); Cryptography and Security (cs.CR); Logic in Computer Science (cs.LO)

[25] arXiv:1907.05308 [pdf, other]

Title: Executable formal semantics for the POSIX shell

Michael Greenberg, Austin J. Blatt

Subjects: Programming Languages (cs.PL); Operating Systems (cs.OS)