𝔖 Bobbio Scriptorium

✦ LIBER ✦

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - The implicit calculus

✍ Scribed by Oliveira, Bruno C.d.S.; Schrijvers, Tom; Choi, Wontae; Lee, Wonchan; Yi, Kwangkeun

Book ID: 120949543
Publisher: ACM Press
Year: 2012
Weight: 447 KB
Category: Article
ISBN: 1450312055
DOI: 10.1145/2254064.2254070

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[ACM Press the 33rd ACM SIGPLAN conferen

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - Concurrent data representation synthesis

✍ Hawkins, Peter; Aiken, Alex; Fisher, Kathleen; Rinard, Martin; Sagiv, Mooly 📂 Article 📅 2012 🏛 ACM Press ⚖ 676 KB

[ACM Press the 33rd ACM SIGPLAN conferen

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - Deterministic parallelism via liquid effects

✍ Kawaguchi, Ming; Rondon, Patrick; Bakst, Alexander; Jhala, Ranjit 📂 Article 📅 2012 🏛 ACM Press ⚖ 697 KB

[ACM Press the 33rd ACM SIGPLAN conferen

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - Logical inference techniques for loop parallelization

✍ Oancea, Cosmin E.; Rauchwerger, Lawrence 📂 Article 📅 2012 🏛 ACM Press ⚖ 812 KB

[ACM Press the 33rd ACM SIGPLAN conferen

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - Dynamic trace-based analysis of vectorization potential of applications

✍ Holewinski, Justin; Ramamurthi, Ragavendar; Ravishankar, Mahesh; Fauzia, Naznin; 📂 Article 📅 2012 🏛 ACM Press ⚖ 691 KB

[ACM Press the 33rd ACM SIGPLAN conferen

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - A compiler framework for extracting superword level parallelism

✍ Liu, Jun; Zhang, Yuanrui; Jang, Ohyoung; Ding, Wei; Kandemir, Mahmut 📂 Article 📅 2012 🏛 ACM Press ⚖ 1005 KB

[ACM Press the 2009 ACM SIGPLAN conferen

[ACM Press the 2009 ACM SIGPLAN conference - Dublin, Ireland (2009.06.15-2009.06.21)] Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09 - PetaBricks

✍ Ansel, Jason; Chan, Cy; Wong, Yee Lok; Olszewski, Marek; Zhao, Qin; Edelman, Ala 📂 Article 📅 2009 🏛 ACM Press ⚖ 538 KB