Skip to main content
Cornell University
We gratefully acknowledge support from the Simons Foundation, member institutions, and all contributors. Donate
arxiv logo > cs.PL

Help | Advanced Search

arXiv logo
Cornell University Logo

quick links

  • Login
  • Help Pages
  • About

Programming Languages

Authors and titles for May 2019

Total of 65 entries : 1-50 51-65
Showing up to 50 entries per page: fewer | more | all
[1] arXiv:1905.00402 [pdf, other]
Title: Next-Paradigm Programming Languages: What Will They Look Like and What Changes Will They Bring?
Yannis Smaragdakis
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[2] arXiv:1905.01453 [pdf, other]
Title: A Type System for First-Class Layers with Inheritance, Subtyping, and Swapping
Hiroaki Inoue, Atsushi Igarashi
Journal-ref: Sci. Comput. Program. 179: 54-86 (2019)
Subjects: Programming Languages (cs.PL)
[3] arXiv:1905.01469 [pdf, other]
Title: An experiment with denotational semantics
Blikle Andrzej
Comments: A preprint of 44 pages. All comments will be highly appreciated. You may contact me on this http URL@moznainaczej.this http URL
Subjects: Programming Languages (cs.PL)
[4] arXiv:1905.01473 [pdf, other]
Title: A Denotational Engineering of Programming Languages
Blikle Andrzej
Comments: A preprint of a book; 340 pages. All comments will be highly appreciated. You may write to me on this http URL@moznainaczej.this http URL
Subjects: Programming Languages (cs.PL)
[5] arXiv:1905.02033 [pdf, other]
Title: TryLinks: An interactive tutorial system for a cross-tier Web programming language
Junao Wu, Arek Mikolajczak, James Cheney
Comments: ProWeb 2019 workshop paper
Subjects: Programming Languages (cs.PL)
[6] arXiv:1905.02051 [pdf, other]
Title: Language-integrated provenance by trace analysis
Stefan Fehrenbach, James Cheney
Comments: DBPL 2019
Subjects: Programming Languages (cs.PL); Databases (cs.DB)
[7] arXiv:1905.02088 [pdf, other]
Title: Heaps Don't Lie: Countering Unsoundness with Heap Snapshots
Neville Grech, George Fourtounis, Adrian Francalanza, Yannis Smaragdakis
Comments: OOPSLA 2017
Journal-ref: Proceedings of the ACM on Programming Languages archive Volume 1 Issue OOPSLA, October 2017 Article No. 68
Subjects: Programming Languages (cs.PL)
[8] arXiv:1905.02145 [pdf, other]
Title: Automatic Syntax Error Reporting and Recovery in Parsing Expression Grammars
Sérgio Queiroz de Medeiros, Gilney de Azevedo Alvez Junior, Fabio Mascarenhas
Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL)
[9] arXiv:1905.02529 [pdf, other]
Title: Programming Unikernels in the Large via Functor Driven Development
Gabriel Radanne, Thomas Gazagnaire, Anil Madhavapeddy, Jeremy Yallop, Richard Mortier, Hannes Mehnert, Mindy Preston, David Scott
Subjects: Programming Languages (cs.PL); Operating Systems (cs.OS)
[10] arXiv:1905.03746 [pdf, other]
Title: Research Note: An Open Source Bluespec Compiler
David J. Greaves
Subjects: Programming Languages (cs.PL)
[11] arXiv:1905.03957 [pdf, other]
Title: Dynamic Verification with Observational Equivalence of C/C++ Concurrency
Sanjana Singh, Divyanjali Sharma, Subodh Sharma
Comments: The claims in the paper are incorrect. The claims have been corrected in arXiv:2103.01553
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC)
[12] arXiv:1905.04366 [pdf, other]
Title: A true concurrent model of smart contracts executions
Massimo Bartoletti, Letterio Galletta, Maurizio Murgia
Comments: Full version of the paper presented at COORDINATION 2020
Subjects: Programming Languages (cs.PL)
[13] arXiv:1905.05251 [pdf, other]
Title: Learning Scalable and Precise Representation of Program Semantics
Ke Wang
Comments: 9 pages
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)
[14] arXiv:1905.05684 [pdf, other]
Title: Automated Parameterized Verification of CRDTs
Kartik Nagar, Suresh Jagannathan
Comments: Extended Version of CAV 2019 Paper
Subjects: Programming Languages (cs.PL)
[15] arXiv:1905.05800 [pdf, other]
Title: Proving Unrealizability for Syntax-Guided Synthesis
Qinheping Hu, Jason Breck, John Cyphert, Loris D'Antoni, Thomas Reps
Subjects: Programming Languages (cs.PL)
[16] arXiv:1905.05909 [pdf, other]
Title: Proceedings ML Family / OCaml Users and Developers workshops
Sam Lindley, Gabriel Scherer
Journal-ref: EPTCS 294, 2019
Subjects: Programming Languages (cs.PL)
[17] arXiv:1905.06495 [pdf, other]
Title: Loop Summarization with Rational Vector Addition Systems (extended version)
Jake Silverman, Zachary Kincaid
Subjects: Programming Languages (cs.PL)
[18] arXiv:1905.06543 [pdf, other]
Title: Extending OCaml's 'open'
Runhang Li (Twitter, Inc), Jeremy Yallop (University of Cambridge)
Comments: In Proceedings ML 2017, arXiv:1905.05909
Journal-ref: EPTCS 294, 2019, pp. 1-14
Subjects: Programming Languages (cs.PL)
[19] arXiv:1905.06544 [pdf, other]
Title: Effects Without Monads: Non-determinism -- Back to the Meta Language
Oleg Kiselyov (Tohoku University, Japan)
Comments: In Proceedings ML 2017, arXiv:1905.05909
Journal-ref: EPTCS 294, 2019, pp. 15-40
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Symbolic Computation (cs.SC)
[20] arXiv:1905.06545 [pdf, other]
Title: Direct Interpretation of Functional Programs for Debugging
John Whitington, Tom Ridge
Comments: In Proceedings ML 2017, arXiv:1905.05909
Journal-ref: EPTCS 294, 2019, pp. 41-73
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[21] arXiv:1905.06546 [pdf, other]
Title: First-Class Subtypes
Jeremy Yallop (University of Cambridge), Stephen Dolan (University of Cambridge)
Comments: In Proceedings ML 2017, arXiv:1905.05909
Journal-ref: EPTCS 294, 2019, pp. 74-85
Subjects: Programming Languages (cs.PL)
[22] arXiv:1905.07212 [pdf, other]
Title: Implementing a Library for Probabilistic Programming using Non-strict Non-determinism
Sandra Dylus, Jan Christiansen, Finn Teegen
Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)
Subjects: Programming Languages (cs.PL)
[23] arXiv:1905.07362 [pdf, other]
Title: Simple and Effective Relation-Based Approaches To XPath and XSLT Type Checking (Technical Report, Bad Honnef 2015)
Baltasar Trancón y Widemann, Markus Lepper
Comments: 10 pages, 6 tables
Subjects: Programming Languages (cs.PL)
[24] arXiv:1905.07457 [pdf, other]
Title: Overfitting in Synthesis: Theory and Practice (Extended Version)
Saswat Padhi, Todd Millstein, Aditya Nori, Rahul Sharma
Comments: 24 pages (5 pages of appendices), 7 figures, includes proofs of theorems
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)
[25] arXiv:1905.07639 [pdf, other]
Title: Developing secure Bitcoin contracts with BitML
Nicola Atzei, Massimo Bartoletti, Stefano Lande, Nobuko Yoshida, Roberto Zunino
Subjects: Programming Languages (cs.PL)
[26] arXiv:1905.07705 [pdf, other]
Title: Property Directed Self Composition
Ron Shemer, Arie Gurfinkel, Sharon Shoham, Yakir Vizel
Comments: 28 pages, accepted to CAV 2019
Subjects: Programming Languages (cs.PL)
[27] arXiv:1905.07739 [pdf, other]
Title: Inferring Inductive Invariants from Phase Structures
Yotam M. Y. Feldman, James R. Wilcox, Sharon Shoham, Mooly Sagiv
Subjects: Programming Languages (cs.PL)
[28] arXiv:1905.07805 [pdf, other]
Title: Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics
Idan Berkovits, Marijana Lazic, Giuliano Losa, Oded Padon, Sharon Shoham
Comments: 23 pages, extended version of the paper with the same title presented in CAV 2019
Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO)
[29] arXiv:1905.08178 [pdf, other]
Title: Partial Redundancy Elimination using Lazy Code Motion
Sandeep Dasgupta, Tanmay Gangwani
Subjects: Programming Languages (cs.PL)
[30] arXiv:1905.08325 [pdf, other]
Title: Towards Neural Decompilation
Omer Katz, Yuval Olshaker, Yoav Goldberg, Eran Yahav
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG)
[31] arXiv:1905.08364 [pdf, other]
Title: Efficient Synthesis with Probabilistic Constraints
Samuel Drews, Aws Albarghouthi, Loris D'Antoni
Subjects: Programming Languages (cs.PL)
[32] arXiv:1905.08921 [pdf, other]
Title: D2d -- XML for Authors
Markus Lepper, Baltasar Trancón y Widemann
Comments: 10 pages, 4 tables (Technical Report -- Bad Honnef 2013)
Subjects: Programming Languages (cs.PL)
[33] arXiv:1905.09137 [pdf, other]
Title: A Quick Introduction to Functional Verification of Array-Intensive Programs
Kunal Banerjee, Chandan Karfa
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[34] arXiv:1905.09242 [pdf, other]
Title: Reductions for Automated Hypersafety Verification
Azadeh Farzan, Anthony Vandikas
Subjects: Programming Languages (cs.PL)
[35] arXiv:1905.09423 [pdf, other]
Title: Set Constraints, Pattern Match Analysis, and SMT
Joseph Eremondi
Comments: Accepted in Post-Conference Proceedings of TFP 2019. Recipient of the John McCarthy Best Paper award
Subjects: Programming Languages (cs.PL)
[36] arXiv:1905.09610 [pdf, other]
Title: Hypothetical answers to continuous queries over data streams
Luís Cruz-Filipe, Graça Gaspar, Isabel Nunes
Subjects: Programming Languages (cs.PL); Artificial Intelligence (cs.AI)
[37] arXiv:1905.09825 [pdf, other]
Title: Synthesizing Functional Reactive Programs
Bernd Finkbeiner, Felix Klein, Ruzica Piskac, Mark Santolucito
Comments: arXiv admin note: text overlap with arXiv:1712.00246
Subjects: Programming Languages (cs.PL)
[38] arXiv:1905.09996 [pdf, other]
Title: Verifying Asynchronous Event-Driven Programs Using Partial Abstract Transformers (Extended Manuscript)
Peizun Liu, Thomas Wahl, Akash LaL
Comments: This is an extended technical report of a paper published in CAV 2019
Subjects: Programming Languages (cs.PL); Formal Languages and Automata Theory (cs.FL); Logic in Computer Science (cs.LO)
[39] arXiv:1905.10728 [pdf, other]
Title: Programming with Applicative-like expressions
Jan Malakhovski, Sergei Soloviev
Comments: 18 pages
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO); Software Engineering (cs.SE)
[40] arXiv:1905.10855 [pdf, other]
Title: Data Race Prediction for Inaccurate Traces
Martin Sulzmann, Kai Stadtmüller
Comments: 26 pages with appendix
Subjects: Programming Languages (cs.PL)
[41] arXiv:1905.12292 [pdf, other]
Title: Categorization of Program Regions for Agile Compilation using Machine Learning and Hardware Support
Sanket Tavarageri
Subjects: Programming Languages (cs.PL); Machine Learning (cs.LG); Performance (cs.PF)
[42] arXiv:1905.12444 [pdf, other]
Title: An Experiment with a User Manual of a Programming Language Based on a Denotational Semantics
Andrzej Blikle
Comments: 47 pages. This paper is based on my preprinted book 'A Denotational Engineering of Programming Languages' (available on arXiv:1905.01473), which describes a virtual programming language whose manual is discussed in the paper. To make the paper possibly self-contained large parts of the book are quoted in the paper. arXiv admin note: substantial text overlap with arXiv:1905.01469
Subjects: Programming Languages (cs.PL)
[43] arXiv:1905.12594 [pdf, other]
Title: Fuzzi: A Three-Level Logic for Differential Privacy
Hengchu Zhang, Edo Roth, Andreas Haeberlen, Benjamin C. Pierce, Aaron Roth
Subjects: Programming Languages (cs.PL); Logic in Computer Science (cs.LO)
[44] arXiv:1905.12734 [pdf, other]
Title: Sub-Turing Islands in the Wild
Earl T. Barr, David W. Binkley, Mark Harman, Mohamed Nassim Seghir
Subjects: Programming Languages (cs.PL)
[45] arXiv:1905.13674 [pdf, other]
Title: On the Interaction of Object-Oriented Design Patterns and Programming Languages
Gerald Baumgartner, Konstantin Läufer, Vincent F. Russo
Comments: Purdue University Department of Computer Science Technical Report
Subjects: Programming Languages (cs.PL); Software Engineering (cs.SE)
[46] arXiv:1905.13706 [pdf, other]
Title: A Role for Dependent Types in Haskell (Extended version)
Stephanie Weirich, Pritam Choudhury, Antoine Voizard, Richard A. Eisenberg
Subjects: Programming Languages (cs.PL)
[47] arXiv:1905.13716 [pdf, other]
Title: Reference Capabilities for Safe Parallel Array Programming
Beatrice à kerblom (Stockholm University, Sweden), Elias Castegren (KTH Royal Institute of Technology, Sweden), Tobias Wrigstad (Uppsala University, Sweden)
Journal-ref: The Art, Science, and Engineering of Programming, 2020, Vol. 4, Issue 1, Article 1
Subjects: Programming Languages (cs.PL)
[48] arXiv:1905.00922 (cross-list from cs.CR) [pdf, other]
Title: Type-based Declassification for Free
Minh Ngo, David A. Naumann, Tamara Rezk
Comments: The short version of this paper is accepted in ICFEM 2020. 100 pages
Subjects: Cryptography and Security (cs.CR); Programming Languages (cs.PL)
[49] arXiv:1905.01659 (cross-list from cs.SE) [pdf, other]
Title: SIF: A Framework for Solidity Code Instrumentation and Analysis
Chao Peng, Sefa Akca, Ajitha Rajan
Subjects: Software Engineering (cs.SE); Programming Languages (cs.PL)
[50] arXiv:1905.02158 (cross-list from cs.DC) [pdf, other]
Title: Parsl: Pervasive Parallel Programming in Python
Yadu Babuji, Anna Woodard, Zhuozhao Li, Daniel S. Katz, Ben Clifford, Rohan Kumar, Lukasz Lacinski, Ryan Chard, Justin M. Wozniak, Ian Foster, Michael Wilde, Kyle Chard
Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)
Total of 65 entries : 1-50 51-65
Showing up to 50 entries per page: fewer | more | all
  • About
  • Help
  • contact arXivClick here to contact arXiv Contact
  • subscribe to arXiv mailingsClick here to subscribe Subscribe
  • Copyright
  • Privacy Policy
  • Web Accessibility Assistance
  • arXiv Operational Status
    Get status notifications via email or slack