🏛️ The Programming Languages Crypt

R.I.P. 👻 Ghosted

TF-Coder: Program Synthesis for Tensor Manipulations

Kensen Shi, David Bieber, Rishabh Singh

cs.PL 🏛 ACM Transactions on Programming Languages and Systems 📚 47 cites 6 years ago

R.I.P. 👻 Ghosted

Optimizing Ordered Graph Algorithms with GraphIt

Yunming Zhang, Ajay Brahmakshatriya, ... (+5 more)

cs.PL 🏛 IEEE/ACM International Symposium on Code Generation and Optimization 📚 47 cites 6 years ago

R.I.P. 👻 Ghosted

Exorcising Spectres with Secure Compilers

Marco Patrignani, Marco Guarnieri

cs.PL 🏛 CCS 📚 47 cites 6 years ago

R.I.P. 👻 Ghosted

Meta-F*: Proof Automation with SMT, Tactics, and Metaprograms

Guido Martínez, Danel Ahman, ... (+11 more)

cs.PL 🏛 arXiv 📚 47 cites 8 years ago

R.I.P. 👻 Ghosted

Deriving Probability Density Functions from Probabilistic Functional Programs

Sooraj Bhat, Johannes Borgström, ... (+2 more)

cs.PL 🏛 Log. Methods Comput. Sci. 📚 47 cites 9 years ago

R.I.P. 👻 Ghosted

Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy

Joseph P. Near, David Darais, ... (+9 more)

cs.PL 🏛 PACMPL 📚 46 cites 6 years ago

R.I.P. 👻 Ghosted

AutoGraph: Imperative-style Coding with Graph-based Performance

Dan Moldovan, James M Decker, ... (+7 more)

cs.PL 🏛 USENIX workshop on Tackling computer systems problems with machine learning techniques 📚 46 cites 7 years ago

R.I.P. 👻 Ghosted

QDB: From Quantum Algorithms Towards Correct Quantum Programs

Yipeng Huang, Margaret Martonosi

cs.PL 🏛 PLATEAU@SPLASH 📚 46 cites 7 years ago

R.I.P. 👻 Ghosted

Skeletal Semantics and their Interpretations

Martin Bodin, Philippa Gardner, ... (+2 more)

cs.PL 🏛 PACMPL 📚 46 cites 7 years ago

R.I.P. 👻 Ghosted

Bidirectional Evaluation with Direct Manipulation

Mikaël Mayer, Viktor Kunčak, Ravi Chugh

cs.PL 🏛 PACMPL 📚 46 cites 7 years ago

R.I.P. 👻 Ghosted

Microservices: a Language-based Approach

Claudio Guidi, Ivan Lanese, ... (+2 more)

cs.PL 🏛 Present and Ulterior Software Engineering 📚 46 cites 9 years ago

R.I.P. 👻 Ghosted

Work Analysis with Resource-Aware Session Types

Ankush Das, Jan Hoffmann, Frank Pfenning

cs.PL 🏛 Logic in Computer Science 📚 46 cites 8 years ago

R.I.P. 👻 Ghosted

Probabilistic Termination by Monadic Affine Sized Typing (Long Version)

Ugo Dal Lago, Charles Grellois

cs.PL 🏛 European Symposium on Programming 📚 46 cites 9 years ago

R.I.P. 👻 Ghosted

Bounded Refinement Types

Niki Vazou, Alexander Bakst, Ranjit Jhala

cs.PL 🏛 ACM SIGPLAN International Conference on Functional Programming 📚 46 cites 10 years ago

R.I.P. 👻 Ghosted

Towards LLM-Powered Verilog RTL Assistant: Self-Verification and Self-Correction

Hanxian Huang, Zhenghan Lin, ... (+4 more)

cs.PL 🏛 arXiv 📚 45 cites 1 year ago

R.I.P. 👻 Ghosted

LLHD: A Multi-level Intermediate Representation for Hardware Description Languages

Fabian Schuiki, Andreas Kurth, ... (+2 more)

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

R.I.P. 👻 Ghosted

Visualization by Example

Chenglong Wang, Yu Feng, ... (+3 more)

cs.PL 🏛 PACMPL 📚 45 cites 6 years ago

R.I.P. 👻 Ghosted

CacheQuery: Learning Replacement Policies from Hardware Caches

Pepe Vila, Pierre Ganty, ... (+2 more)

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

R.I.P. 👻 Ghosted

Verifying Asynchronous Interactions via Communicating Session Automata

Julien Lange, Nobuko Yoshida

cs.PL 🏛 CAV 📚 45 cites 7 years ago

R.I.P. 👻 Ghosted

AutoPhase: Compiler Phase-Ordering for High Level Synthesis with Deep Reinforcement Learning

Ameer Haj-Ali, Qijing Huang, ... (+5 more)

cs.PL 🏛 ICFCCM 📚 45 cites 7 years ago

R.I.P. 👻 Ghosted

Proving Quantum Programs Correct

Kesha Hietala, Robert Rand, ... (+3 more)

cs.PL 🏛 ICITP 📚 44 cites 5 years ago

R.I.P. 👻 Ghosted

The Next 700 Relational Program Logics

Kenji Maillard, Catalin Hritcu, ... (+2 more)

cs.PL 🏛 PACMPL 📚 44 cites 6 years ago

R.I.P. 👻 Ghosted

Verification of Threshold-Based Distributed Algorithms by Decomposition to Decidable Logics

Idan Berkovits, Marijana Lazic, ... (+3 more)

cs.PL 🏛 CAV 📚 44 cites 6 years ago

R.I.P. 👻 Ghosted

A Probabilistic Separation Logic

Gilles Barthe, Justin Hsu, Kevin Liao

cs.PL 🏛 PACMPL 📚 44 cites 6 years ago