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

“...ACM SIGPLAN...”

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

“...ACM|27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming...”
Få fuldtekst

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

“...ACM|27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming...”
Få fuldtekst

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

“...ACM|27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming...”
Få fuldtekst

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

“...ACM|27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming...”
Få fuldtekst

A Deep Learning Model for Loop Interchange af 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...”
Få fuldtekst

Codon: A Compiler for High-Performance Pythonic Applications and DSLs af 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...”
Få fuldtekst

High-Performance GPU-to-CPU Transpilation and Optimization via High-Level Parallel Constructs af 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...”
Få fuldtekst

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

“...ACM|The 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming...”
Få fuldtekst

Block-STM: Scaling Blockchain Execution by Turning Ordering Curse to a Performance Blessing af 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...”
Få fuldtekst

Untangling Mechanized Proofs af Pit-Claudel, Cl?ment

“...ACM|Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering...”
Få fuldtekst

Aggregating Funnels for Faster Fetch&Add and Queues af 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...”
Få fuldtekst

DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning af 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...”
Få fuldtekst

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

“...ACM|Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation...”
Få fuldtekst

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

“...ACM|Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation...”
Få fuldtekst

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

“...ACM|Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation...”
Få fuldtekst

Relational Compilation for Performance-Critical Applications af 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...”
Få fuldtekst

Exocompilation for Productive Programming of Hardware Accelerators af 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...”
Få fuldtekst

RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms af 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...”
Få fuldtekst

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

“...ACM|Proceedings of the 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems...”
Få fuldtekst