🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

BARR-C:2018 and MISRA C:2012: Synergy Between the Two Most Widely Used C Coding Standards

Roberto Bagnara, Michael Barr, Patricia M. Hill

cs.PL 🏛 arXiv 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Curious properties of latency distributions

Michał J. Gajda

cs.PL 🏛 Sai 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Solving Interactive Fiction Games via Partial Evaluation and Bounded Model Checking

Martin Mariusz Lester

cs.PL 🏛 arXiv 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Towards a more perfect union type

Michał J. Gajda

cs.PL 🏛 arXiv 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

PPL Bench: Evaluation Framework For Probabilistic Programming Languages

Sourabh Kulkarni, Kinjal Divesh Shah, ... (+10 more)

cs.PL 🏛 arXiv 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Psamathe: A DSL with Flows for Safe Blockchain Assets

Reed Oei, Michael Coblenz, Jonathan Aldrich

cs.PL 🏛 arXiv 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

A Type-Oriented Graph500 Benchmark

Nick Brown

cs.PL 🏛 Information Security Conference 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Applying Type Oriented Programming to the PGAS Memory Model

Nick Brown

cs.PL 🏛 arXiv 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Substructural Observed Communication Semantics

Ryan Kavanagh

cs.PL 🏛 Combined International Workshop Expressiveness Concurrency and Workshop Structural Operational Semantics 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Compiling a Higher-Order Smart Contract Language to LLVM

Vaivaswatha Nagaraj, Jacob Johannsen, ... (+4 more)

cs.PL 🏛 arXiv 📚 2 cites 5 years ago

R.I.P. 👻 Ghosted

Retrofitting Symbolic Holes to LLVM IR

Bruce Collie, Michael O'Boyle

cs.PL 🏛 arXiv 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Interactive Music and Synchronous Reactive Programming

Bertrand Petit, Manuel Serrano

cs.PL 🏛 Programming 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Sham: A DSL for Fast DSLs

Rajan Walia, Chung-chieh Shan, Sam Tobin-Hochstadt

cs.PL 🏛 Programming 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Efficient lambda encodings for Mendler-style coinductive types in Cedille

Christopher Jenkins, Aaron Stump, Larry Diehl

cs.PL 🏛 MSFP@ETAPS 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Reducing Commutativity Verification to Reachability with Differencing Abstractions

Eric Koskinen, Kshitij Bansal

cs.PL 🏛 arXiv 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Context-Aware Parse Trees

Fangke Ye, Shengtian Zhou, ... (+9 more)

cs.PL 🏛 arXiv 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Language-Integrated Updatable Views (Extended version)

Rudi Horn, Simon Fowler, James Cheney

cs.PL 🏛 ICIAFL 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Improving the GP 2 Compiler

Graham Campbell, Jack Romo, Detlef Plump

cs.PL 🏛 arXiv 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Verification of a Generative Separation Kernel

Inzemamul Haque, Deepak D'Souza, ... (+3 more)

cs.PL 🏛 ATVA 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Predicting Variable Types in Dynamically Typed Programming Languages

Abhinav Jangda, Gaurav Anand

cs.PL 🏛 arXiv 📚 2 cites 7 years ago

R.I.P. 👻 Ghosted

LLOV: A Fast Static Data-Race Checker for OpenMP Programs

Utpal Bora, Santanu Das, ... (+4 more)

cs.PL 🏛 ACM Transactions on Architecture and Code Optimization (TACO) 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Profiling minisat based on user defined execution time -- GPROF

Shubhendra Pal Singhal, Sandeep Gupta, Pierluigi Nuzzo

cs.PL 🏛 arXiv 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

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

Alexander A. Myltsev

cs.PL 🏛 arXiv 📚 2 cites 6 years ago

R.I.P. 👻 Ghosted

Integration of the Static Analysis Results Interchange Format in CogniCrypt

Sriteja Kummita, Goran Piskachev

cs.PL 🏛 arXiv 📚 2 cites 6 years ago