Programming Languages

Authors and titles for September 2015

[1] arXiv:1509.00413 [pdf, other]

Title: Program Synthesis using Natural Language

Aditya Desai, Sumit Gulwani, Vineet Hingorani, Nidhi Jain, Amey Karkare, Mark Marron, Sailesh R, Subhajit Roy

Subjects: Programming Languages (cs.PL)

[2] arXiv:1509.00996 [pdf, other]

Title: A Strong Distillery

Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza

Comments: Accepted at APLAS 2015

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

[3] arXiv:1509.02439 [pdf, other]

Title: Parsing Expression Grammars Made Practical

Nicolas Laurent, Kim Mens

Comments: "Proceedings of the International Conference on Software Language Engineering (SLE 2015)" - 167-172 (ISBN : 978-1-4503-3686-4)

Subjects: Programming Languages (cs.PL)

[4] arXiv:1509.03705 [pdf, other]

Title: A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs

Yuting Wang, Gopalan Nadathur

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

[5] arXiv:1509.04040 [pdf, other]

Title: Programs as proofs

Jørgen Steensgaard-Madsen

Subjects: Programming Languages (cs.PL)

[6] arXiv:1509.04315 [pdf, other]

Title: Implementing a teleo-reactive programming system

Robert Webb

Subjects: Programming Languages (cs.PL)

[7] arXiv:1509.05100 [pdf, other]

Title: Rehearsal: A Configuration Verification Tool for Puppet

Rian Shambaugh, Aaron Weiss, Arjun Guha

Comments: In proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) 2016

Subjects: Programming Languages (cs.PL)

[8] arXiv:1509.06503 [pdf, other]

Title: A Verified Information-Flow Architecture

Arthur Azevedo de Amorim, Nathan Collins, André DeHon, Delphine Demange, Catalin Hritcu, David Pichardie, Benjamin C. Pierce, Randy Pollack, Andrew Tolmach

Subjects: Programming Languages (cs.PL)

[9] arXiv:1509.07036 [pdf, other]

Title: Towards a Direct, By-Need Evaluator for Dependently Typed Languages

David M. Rogers

Comments: Submitted Version, 8 pages, 5 figures

Subjects: Programming Languages (cs.PL)

[10] arXiv:1509.08068 [pdf, other]

Title: Block-Level Parallelism in Parsing Block Structured Languages

Abhinav Jangda

Subjects: Programming Languages (cs.PL)

[11] arXiv:1509.08560 [pdf, other]

Title: CARMA: Collective Adaptive Resource-sharing Markovian Agents

Luca Bortolussi (Saarland University, University of Trieste, ISTI-CNR), Rocco De Nicola (IMT Lucca), Vashti Galpin (University of Edinburgh), Stephen Gilmore (University of Edinburgh), Jane Hillston (University of Edinburgh), Diego Latella (ISTI-CNR), Michele Loreti (Università di Firenze, IMT Lucca), Mieke Massink (ISTI-CNR)

Comments: In Proceedings QAPL 2015, arXiv:1509.08169

Journal-ref: EPTCS 194, 2015, pp. 16-31

Subjects: Programming Languages (cs.PL); Distributed, Parallel, and Cluster Computing (cs.DC); Performance (cs.PF)

[12] arXiv:1509.08566 [pdf, other]

Title: Probabilistic Output Analysis by Program Manipulation

Mads Rosendahl (Roskilde University, Denmark), Maja H. Kirkeby (Roskilde University, Denmark)

Comments: In Proceedings QAPL 2015, arXiv:1509.08169

Journal-ref: EPTCS 194, 2015, pp. 110-124

Subjects: Programming Languages (cs.PL)

[13] arXiv:1509.08605 [pdf, other]

Title: A Sound and Complete Hoare Logic for Dynamically-Typed, Object-Oriented Programs -- Extended Version --

Björn Engelmann, Ernst-Rüdiger Olderog

Comments: Extended Version -- contains all proofs, proof rules and additional information; new version -- elaborated explanations in section 7, added reference, minor visual improvements; new version -- incorporated reviews & improved formalizations

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

[14] arXiv:1509.09092 [pdf, other]

Title: An encoding of array verification problems into array-free Horn clauses

David Monniaux (VERIMAG - IMAG), Laure Gonnord (LIP)

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

[15] arXiv:1509.00040 (cross-list from cs.AR) [pdf, other]

Title: DSL-based Design Space Exploration for Temporal and Spatial Parallelism of Custom Stream Computing

Kentaro Sano

Comments: Presented at Second International Workshop on FPGAs for Software Programmers (FSP 2015) (arXiv:1508.06320)

Subjects: Hardware Architecture (cs.AR); Computational Engineering, Finance, and Science (cs.CE); Distributed, Parallel, and Cluster Computing (cs.DC); Programming Languages (cs.PL)

[16] arXiv:1509.01763 (cross-list from cs.CR) [pdf, other]

Title: Implementing Support for Pointers to Private Data in a General-Purpose Secure Multi-Party Compiler

Yihua Zhang, Marina Blanton, Ghada Almashaqbeh

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

[17] arXiv:1509.02151 (cross-list from cs.AI) [pdf, other]

Title: C3: Lightweight Incrementalized MCMC for Probabilistic Programs using Continuations and Callsite Caching

Daniel Ritchie, Andreas Stuhlmüller, Noah D. Goodman

Comments: Fix typo in author name

Subjects: Artificial Intelligence (cs.AI); Programming Languages (cs.PL)

[18] arXiv:1509.03013 (cross-list from cs.LO) [pdf, other]

Title: Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs

Angelos Charalambidis, Panos Rondogiannis, Ioanna Symeonidou

Comments: In Proceedings FICS 2015, arXiv:1509.02826

Journal-ref: EPTCS 191, 2015, pp. 18-32

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

[19] arXiv:1509.03014 (cross-list from cs.LO) [pdf, other]

Title: Formalizing Termination Proofs under Polynomial Quasi-interpretations

Naohi Eguchi

Comments: In Proceedings FICS 2015, arXiv:1509.02826

Journal-ref: EPTCS 191, 2015, pp. 33-47

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

[20] arXiv:1509.03020 (cross-list from cs.LO) [pdf, other]

Title: A Type-Directed Negation Elimination

Etienne Lozes (ENS Cachan, CNRS)

Comments: In Proceedings FICS 2015, arXiv:1509.02826

Journal-ref: EPTCS 191, 2015, pp. 132-142

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

[21] arXiv:1509.03339 (cross-list from cs.LO) [pdf, other]

Title: A Formal C Memory Model for Separation Logic

Robbert Krebbers

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

[22] arXiv:1509.03424 (cross-list from cs.LO) [pdf, other]

Title: Program Analysis with Local Policy Iteration

George Karpenkov, David Monniaux, Philipp Wendler

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

[23] arXiv:1509.03476 (cross-list from cs.LO) [pdf, other]

Title: Relational reasoning via probabilistic coupling

Gilles Barthe, Thomas Espitau, Benjamin Grégoire, Justin Hsu, Léo Stefanesco, Pierre-Yves Strub

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

[24] arXiv:1509.04207 (cross-list from cs.SE) [pdf, other]

Title: DeltaImpactFinder: Assessing Semantic Merge Conflicts with Dependency Analysis

Martín Dias (RMOD), Guillermo Polito (RMOD), Damien Cassou (RMOD), Stéphane Ducasse (RMOD)

Comments: International Workshop on Smalltalk Technologies 2015, Jul 2015, Brescia, Italy

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

[25] arXiv:1509.05659 (cross-list from cs.LO) [pdf, other]

Title: Type-based Self-stabilisation for Computational Fields

Ferruccio Damiani (University of Torino), Mirko Viroli (University of Bologna)

Comments: Logical Methods in Computer Science accepted paper, 53 pages

Journal-ref: Logical Methods in Computer Science, Volume 11, Issue 4 (December 31, 2015) lmcs:1622

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

[26] arXiv:1509.06079 (cross-list from cs.LO) [pdf, other]

Title: Fix Your Types

Sol Swords (Centaur Technology, Inc.), Jared Davis (Centaur Technology, Inc.)

Comments: In Proceedings ACL2 2015, arXiv:1509.05526

Journal-ref: EPTCS 192, 2015, pp. 3-16

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

[27] arXiv:1509.06082 (cross-list from cs.LO) [pdf, other]

Title: Extending ACL2 with SMT Solvers

Yan Peng (University of British Columbia), Mark Greenstreet (University of British Columbia)

Comments: In Proceedings ACL2 2015, arXiv:1509.05526

Journal-ref: EPTCS 192, 2015, pp. 61-77

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

[28] arXiv:1509.06083 (cross-list from cs.LO) [pdf, other]

Title: Reasoning About LLVM Code Using Codewalker

David S. Hardin (Rockwell Collins)

Comments: In Proceedings ACL2 2015, arXiv:1509.05526

Journal-ref: EPTCS 192, 2015, pp. 79-92

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

[29] arXiv:1509.06085 (cross-list from cs.LO) [pdf, other]

Title: Proving Skipping Refinement with ACL2s

Mitesh Jain (Northeastern University), Panagiotis Manolios (Northeastern University)

Comments: In Proceedings ACL2 2015, arXiv:1509.05526. arXiv admin note: text overlap with arXiv:1502.02942

Journal-ref: EPTCS 192, 2015, pp. 111-127

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

[30] arXiv:1509.06220 (cross-list from cs.LO) [pdf, other]

Title: Hoare-style Specifications as Correctness Conditions for Non-linearizable Concurrent Objects

Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, German Andres Delbianco

Comments: 18 pages

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

[31] arXiv:1509.07238 (cross-list from cs.SE) [pdf, other]

Title: Frequency Distribution of Error Messages

David Pritchard

Comments: To appear at PLATEAU 2015

Subjects: Software Engineering (cs.SE); Computers and Society (cs.CY); Programming Languages (cs.PL); Applications (stat.AP)

[32] arXiv:1509.07326 (cross-list from cs.SE) [pdf, other]

Title: An IMS DSL Developed at Ericsson

Pascal Potvin, Mario Bonja, Gordon Bailey, Pierre Busnel

Comments: 19 pages, 2 figures, 1 table, oral presentation at SDL 2013: Model-Driven Dependability Engineering conference

Journal-ref: SDL 2013: Model-Driven Dependability Engineering Volume 7916 of the series Lecture Notes in Computer Science pp 144-162

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

[33] arXiv:1509.08169 (cross-list from cs.LO) [pdf, other]

Title: Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems

Nathalie Bertrand (Inria Rennes, France), Mirco Tribastone (IMT - Institute for Advanced Studies Lucca, Italy)

Journal-ref: EPTCS 194, 2015

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

[34] arXiv:1509.08562 (cross-list from cs.CR) [pdf, other]

Title: Quantitative Information Flow for Scheduler-Dependent Systems

Yusuke Kawamoto, Thomas Given-Wilson

Comments: In Proceedings QAPL 2015, arXiv:1509.08169

Journal-ref: EPTCS 194, 2015, pp. 48-62

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

[35] arXiv:1509.08565 (cross-list from cs.LO) [pdf, other]

Title: Semiring-based Specification Approaches for Quantitative Security

Fabio Martinelli (IIT-CNR), Ilaria Matteucci (IIT-CNR), Francesco Santini (IIT-CNR)

Comments: In Proceedings QAPL 2015, arXiv:1509.08169

Journal-ref: EPTCS 194, 2015, pp. 95-109

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