Affine monads and lazy structures for Bayesian programming by Dash, S, Kaddar, Y, Paquet, H, Staton, S

“…ACM SIGPLAN…”

Optimizing Consistency for Partially Replicated Data Stores by Kuraj, Ivan, Solar-Lezama, Armando, Polikarpova, Nadia

“…ACM|27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming…”
Get full text

Automatic Synthesis of Parallel Unix Commands and Pipelines with KumQuat by Shen, Jiasi, Rinard, Martin, Vasilakis, Nikos

“…ACM|27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming…”
Get full text

ParGeo: A Library for Parallel Computational Geometry by Wang, Yiqiu, Yu, Shangdi, Dhulipala, Laxman, Gu, Yan, Shun, Julian

“…ACM|27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming…”
Get full text

Mashup: Making Serverless Computing Useful for HPC Workflows via Hybrid Execution by Basu Roy, Rohan, Patel, Tirthak, Gadepally, Vijay, Tiwari, Devesh

“…ACM|27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming…”
Get full text

A Deep Learning Model for Loop Interchange by Mezdour, Lina, Kadem, Khadidja, Merouani, Massinissa, Haichour, Amina Selma, Amarasinghe, Saman, Baghdadi, Riyadh

“…ACM|Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction…”
Get full text

Codon: A Compiler for High-Performance Pythonic Applications and DSLs by Shajii, Ariya, Ramirez, Gabriel, Smajlovi?, Haris, Ray, Jessica, Berger, Bonnie, Amarasinghe, Saman, Numanagi?, Ibrahim

“…ACM|Proceedings of the 32nd ACM SIGPLAN International Conference on Compiler Construction…”
Get full text

High-Performance GPU-to-CPU Transpilation and Optimization via High-Level Parallel Constructs by Moses, William, Ivanov, Ivan, Domke, Jens, Endo, Toshio, Doerfert, Johannes, Zinenko, Oleksandr

“…ACM|The 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming…”
Get full text

OpenCilk: A Modular and Extensible Software Infrastructure for Fast Task-Parallel Code by Schardl, Tao, Lee, I-Ting

“…ACM|The 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming…”
Get full text

Block-STM: Scaling Blockchain Execution by Turning Ordering Curse to a Performance Blessing by Gelashvili, Rati, Spiegelman, Alexander, Xiang, Zhuolun, Danezis, George, Li, Zekun, Malkhi, Dahlia, Xia, Yu, Zhou, Runtian

“…ACM|The 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming…”
Get full text

Untangling Mechanized Proofs by Pit-Claudel, Cl?ment

“…ACM|Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering…”
Get full text

Aggregating Funnels for Faster Fetch&Add and Queues by Roh, Younghun, Wei, Yuanhao, Ruppert, Eric, Fatourou, Panagiota, Jayanti, Siddhartha, Shun, Julian

“…ACM|The 30th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming…”
Get full text

DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning by Ellis, Kevin, Wong, Catherine, Nye, Maxwell, Sablé-Meyer, Mathias, Morales, Lucas, Hewitt, Luke, Cary, Luc, Solar-Lezama, Armando, Tenenbaum, Joshua B.

“…ACM|Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation…”
Get full text

BLISS: Auto-tuning Complex Applications Using A Pool of Diverse Lightweight Learning Models by Roy, Rohan Basu, Patel, Tirthak, Gadepally, Vijay, Tiwari, Devesh

“…ACM|Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation…”
Get full text

All You Need Is Superword-Level Parallelism: Systematic Control-Flow Vectorization with SLP by Chen, Yishen, Mendis, Charith, Amarasinghe, Saman

“…ACM|Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation…”
Get full text

Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model by Ahrens, Willow, Kjolstad, Fredrik, Amarasinghe, Saman

“…ACM|Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation…”
Get full text

Relational Compilation for Performance-Critical Applications by Pit-Claudel, Cl?ment, Philipoom, Jade, Jamner, Dustin, Erbsen, Andres, Chlipala, Adam

“…ACM|Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation…”
Get full text

Exocompilation for Productive Programming of Hardware Accelerators by Ikarashi, Yuka, Bernstein, Gilbert, Reinking, Alex, Genc, Hasan, Ragan-Kelley, Jonathan

“…ACM|Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation…”
Get full text

RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms by Wang, Michael, Srikant, Shashank, Samak, Malavika, O?Reilly, Una-May

“…ACM|Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis…”
Get full text

Compiler 2.0: Using Machine Learning to Modernize Compiler Technology by Amarasinghe, Saman

“…ACM|Proceedings of the 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems…”
Get full text