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

"...ACM SIGPLAN..."

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

"...ACM|27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming..."
קבל טקסט מלא

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

"...ACM|27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming..."
קבל טקסט מלא

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

"...ACM|27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming..."
קבל טקסט מלא

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

"...ACM|27th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming..."
קבל טקסט מלא

A Deep Learning Model for Loop Interchange מאת 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..."
קבל טקסט מלא

Codon: A Compiler for High-Performance Pythonic Applications and DSLs מאת 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..."
קבל טקסט מלא

High-Performance GPU-to-CPU Transpilation and Optimization via High-Level Parallel Constructs מאת 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..."
קבל טקסט מלא

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

"...ACM|The 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming..."
קבל טקסט מלא

Block-STM: Scaling Blockchain Execution by Turning Ordering Curse to a Performance Blessing מאת 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..."
קבל טקסט מלא

Untangling Mechanized Proofs מאת Pit-Claudel, Cl?ment

"...ACM|Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering..."
קבל טקסט מלא

Aggregating Funnels for Faster Fetch&Add and Queues מאת 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..."
קבל טקסט מלא

DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning מאת 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..."
קבל טקסט מלא

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

"...ACM|Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation..."
קבל טקסט מלא

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

"...ACM|Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation..."
קבל טקסט מלא

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

"...ACM|Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation..."
קבל טקסט מלא

Relational Compilation for Performance-Critical Applications מאת 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..."
קבל טקסט מלא

Exocompilation for Productive Programming of Hardware Accelerators מאת 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..."
קבל טקסט מלא

RaceInjector: Injecting Races to Evaluate and Learn Dynamic Race Detection Algorithms מאת 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..."
קבל טקסט מלא

Compiler 2.0: Using Machine Learning to Modernize Compiler Technology מאת Amarasinghe, Saman

"...ACM|Proceedings of the 21st ACM SIGPLAN/SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems..."
קבל טקסט מלא