🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

Synthesizing Database Programs for Schema Refactoring

Yuepeng Wang, James Dong, ... (+2 more)

cs.PL 🏛 ACM-SIGPLAN Symposium on Programming Language Design and Implementation 📚 44 cites 7 years ago

R.I.P. 👻 Ghosted

On Multiphase-Linear Ranking Functions

Amir M. Ben-Amram, Samir Genaim

cs.PL 🏛 CAV 📚 44 cites 9 years ago

R.I.P. 👻 Ghosted

Cantor meets Scott: Semantic Foundations for Probabilistic Networks

Steffen Smolka, Praveen Kumar, ... (+3 more)

cs.PL 🏛 ACM-SIGACT Symposium on Principles of Programming Languages 📚 44 cites 9 years ago

R.I.P. 👻 Ghosted

Data-driven Workflows for Microservices

Larisa Safina, Manuel Mazzara, Fabrizio Montesi

cs.PL 🏛 ICAINA 📚 44 cites 10 years ago

R.I.P. 👻 Ghosted

JSKETCH: Sketching for Java

Jinseong Jeon, Xiaokang Qiu, ... (+2 more)

cs.PL 🏛 FSE 📚 44 cites 10 years ago

R.I.P. 👻 Ghosted

Abstract Interpretation under Speculative Execution

Meng Wu, Chao Wang

cs.PL 🏛 ACM-SIGPLAN Symposium on Programming Language Design and Implementation 📚 43 cites 7 years ago

R.I.P. 👻 Ghosted

Automating Induction for Solving Horn Clauses

Hiroshi Unno, Sho Torii

cs.PL 🏛 CAV 📚 43 cites 9 years ago

R.I.P. 👻 Ghosted

CARMA: Collective Adaptive Resource-sharing Markovian Agents

Luca Bortolussi, Rocco De Nicola, ... (+6 more)

cs.PL 🏛 QAPL 📚 43 cites 10 years ago

R.I.P. 👻 Ghosted

Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR

Umer Liqat, Kyriakos Georgiou, ... (+5 more)

cs.PL 🏛 ICFPARA W 📚 43 cites 10 years ago

R.I.P. 👻 Ghosted

Automated Migration of Hierarchical Data to Relational Tables using Programming-by-Example

Navid Yaghmazadeh, Xinyu Wang, Isil Dillig

cs.PL 🏛 VLDB 📚 42 cites 8 years ago

R.I.P. 👻 Ghosted

Programming Not Only by Example

Hila Peleg, Sharon Shoham, Eran Yahav

cs.PL 🏛 ICSE 📚 42 cites 8 years ago

R.I.P. 👻 Ghosted

Proving Expected Sensitivity of Probabilistic Programs

Gilles Barthe, Thomas Espitau, ... (+3 more)

cs.PL 🏛 PACMPL 📚 42 cites 8 years ago

R.I.P. 👻 Ghosted

Hypercollecting Semantics and its Application to Static Analysis of Information Flow

Mounir Assaf, David A. Naumann, ... (+3 more)

cs.PL 🏛 ACM-SIGACT Symposium on Principles of Programming Languages 📚 42 cites 9 years ago

R.I.P. 👻 Ghosted

Type Inference for Static Compilation of JavaScript (Extended Version)

Satish Chandra, Colin S. Gordon, ... (+5 more)

cs.PL 🏛 ICOPSLA 📚 42 cites 9 years ago

R.I.P. 👻 Ghosted

Allo: A Programming Model for Composable Accelerator Design

Hongzheng Chen, Niansong Zhang, ... (+4 more)

cs.PL 🏛 PACMPL 📚 41 cites 2 years ago

R.I.P. 👻 Ghosted

A graded dependent type system with a usage-aware semantics (extended version)

Pritam Choudhury, Harley Eades, ... (+2 more)

cs.PL 🏛 PACMPL 📚 41 cites 5 years ago

R.I.P. 👻 Ghosted

Tea: A High-level Language and Runtime System for Automating Statistical Analysis

Eunice Jun, Maureen Daum, ... (+5 more)

cs.PL 🏛 UIST 📚 41 cites 7 years ago

R.I.P. 👻 Ghosted

goSLP: Globally Optimized Superword Level Parallelism Framework

Charith Mendis, Saman Amarasinghe

cs.PL 🏛 PACMPL 📚 41 cites 8 years ago

R.I.P. 👻 Ghosted

Eff Directly in OCaml

Oleg Kiselyov, KC Sivaramakrishnan

cs.PL 🏛 ML/OCAML 📚 41 cites 7 years ago

R.I.P. 👻 Ghosted

Invariant Generation for Multi-Path Loops with Polynomial Assignments

Andreas Humenberger, Maximilian Jaroschek, Laura Kovács

cs.PL 🏛 ICVMCAI 📚 41 cites 8 years ago

R.I.P. 👻 Ghosted

Notions of bidirectional computation and entangled state monads

Faris Abou-Saleh, James Cheney, ... (+3 more)

cs.PL 🏛 ICMPC 📚 41 cites 10 years ago

R.I.P. 👻 Ghosted

Optimal Prediction of Synchronization-Preserving Races

Umang Mathur, Andreas Pavlogiannis, Mahesh Viswanathan

cs.PL 🏛 PACMPL 📚 40 cites 5 years ago

R.I.P. 👻 Ghosted

Resource-Guided Program Synthesis

Tristan Knoth, Di Wang, ... (+2 more)

cs.PL 🏛 ACM-SIGPLAN Symposium on Programming Language Design and Implementation 📚 40 cites 7 years ago

R.I.P. 👻 Ghosted

Combinatorial Register Allocation and Instruction Scheduling

Roberto Castañeda Lozano, Mats Carlsson, ... (+2 more)

cs.PL 🏛 ACM Transactions on Programming Languages and Systems 📚 40 cites 8 years ago