Programming Languages

Authors and titles for August 2016

[51] arXiv:1608.02829 (cross-list from cs.HC) [pdf, other]

Title: Semi-Automated SVG Programming via Direct Manipulation

Brian Hempel, Ravi Chugh

Comments: In 29th ACM User Interface Software and Technology Symposium (UIST 2016)

Subjects: Human-Computer Interaction (cs.HC); Graphics (cs.GR); Programming Languages (cs.PL)

[52] arXiv:1608.03125 (cross-list from cs.DC) [pdf, other]

Title: A Note on the Expressiveness of BIP

Eduard Baranov (Ecole polytechnique fédérale de Lausanne), Simon Bliudze (Ecole polytechnique fédérale de Lausanne)

Comments: In Proceedings EXPRESS/SOS 2016, arXiv:1608.02692

Journal-ref: EPTCS 222, 2016, pp. 1-14

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Logic in Computer Science (cs.LO); Programming Languages (cs.PL); Software Engineering (cs.SE)

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

Title: Unique Parallel Decomposition for the Pi-calculus

Matias David Lee (Univ. Lyon, ENS de Lyon, CNRS, UCB Lyon 1, LIP, France.), Bas Luttik (Eindhoven University of Technology, The Netherlands.)

Comments: In Proceedings EXPRESS/SOS 2016, arXiv:1608.02692

Journal-ref: EPTCS 222, 2016, pp. 45-59

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

[54] arXiv:1608.03322 (cross-list from cs.DC) [pdf, other]

Title: Multi-Threaded Actors

Keyvan Azadbakht (Centrum Wiskunde en Informatica), Frank S. de Boer (Centrum Wiskunde en Informatica), Vlad Serbanescu (Centrum Wiskunde en Informatica)

Comments: In Proceedings ICE 2016, arXiv:1608.03131

Journal-ref: EPTCS 223, 2016, pp. 51-66

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

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

Title: An Abstract Semantics of the Global View of Choreographies

Roberto Guanciale (KTH Royal Institute of Technology, Sweden), Emilio Tuosto (University of Leicester, UK)

Comments: In Proceedings ICE 2016, arXiv:1608.03131

Journal-ref: EPTCS 223, 2016, pp. 67-82

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

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

Title: A Modular Formalization of Reversibility for Concurrent Models and Languages

Alexis Bernadet (Dalhousie University, Canada), Ivan Lanese (Focus Team, University of Bologna/INRIA, Italy)

Comments: In Proceedings ICE 2016, arXiv:1608.03131

Journal-ref: EPTCS 223, 2016, pp. 98-112

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

[57] arXiv:1608.03355 (cross-list from quant-ph) [pdf, other]

Title: A Practical Quantum Instruction Set Architecture

Robert S. Smith, Michael J. Curtis, William J. Zeng

Comments: 15 pages, 4 figures

Subjects: Quantum Physics (quant-ph); Emerging Technologies (cs.ET); Programming Languages (cs.PL)

[58] arXiv:1608.03828 (cross-list from cs.CY) [pdf, other]

Title: Prutor: A System for Tutoring CS1 and Collecting Student Programs for Analysis

Rajdeep Das, Umair Z. Ahmed, Amey Karkare, Sumit Gulwani

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

[59] arXiv:1608.04041 (cross-list from cs.MS) [pdf, other]

Title: Julia Implementation of the Dynamic Distributed Dimensional Data Model

Alexander Chen, Alan Edelman, Jeremy Kepner, Vijay Gadepally, Dylan Hutchison

Comments: 7 pages, 16 figures, IEEE HPEC 2016

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

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

Title: Slicing Concurrent Constraint Programs

Moreno Falaschi, Maurizio Gabbrielli, Carlos Olarte, Catuscia Palamidessi

Comments: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534)

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

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

Title: lpopt: A Rule Optimization Tool for Answer Set Programming

Manuel Bichler, Michael Morak, Stefan Woltran

Comments: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534), 14 pages, LaTeX, 2 figures

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

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

Title: Reducing State Explosion for Software Model Checking with Relaxed Memory Consistency Models

Tatsuya Abe, Tomoharu Ugawa, Toshiyuki Maeda, Kousuke Matsumoto

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

[63] arXiv:1608.06009 (cross-list from cs.DS) [pdf, other]

Title: The Random Access Zipper: Simple, Purely-Functional Sequences

Kyle Headley, Matthew A. Hammer

Subjects: Data Structures and Algorithms (cs.DS); Programming Languages (cs.PL)

[64] arXiv:1608.06171 (cross-list from cs.DC) [pdf, other]

Title: MISO: An intermediate language to express parallel and dependable programs

Alcides Fonseca, Raul Barbosa

Comments: Editor: Gilles Tredan. 12th European Dependable Computing Conference (EDCC 2016), September 5-9, 2016, Gothenburg, Sweden. Fast Abstracts Proceedings- EDCC 2016

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

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

Title: Type-Directed Code Reuse using Integer Linear Programming

Yuepeng Wang, Yu Feng, Ruben Martins, Arati Kaushik, Isil Dillig, Steven P. Reiss

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

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

Title: A Programming Language With a POMDP Inside

Christopher H. Lin, Mausam, Daniel S. Weld

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

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

Title: Learning Syntactic Program Transformations from Examples

Reudismam Rolim, Gustavo Soares, Loris D'Antoni, Oleksandr Polozov, Sumit Gulwani, Rohit Gheyi, Ryo Suzuki, Bjoern Hartmann

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