CGO 2018 – Proceedings

Frontmatter

Keynote

Biological Computation (Keynote)
Sara-Jane Dunn
(Microsoft Research, UK)


@InProceedings{CGO18p1, author = {Sara-Jane Dunn}, title = {Biological Computation (Keynote)}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3179541.3179542}, year = {2018}, } Publisher's Version

Managed Runtimes

SIMD Intrinsics on Managed Language Runtimes
Alen Stojanov, Ivaylo Toskov, Tiark Rompf, and Markus Püschel
(ETH Zurich, Switzerland; Purdue University, USA)


@InProceedings{CGO18p16, author = {Alen Stojanov and Ivaylo Toskov and Tiark Rompf and Markus Püschel}, title = {SIMD Intrinsics on Managed Language Runtimes}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {16-15}, doi = {10.1145/3168810}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated

CollectionSwitch: A Framework for Efficient and Dynamic Collection Selection
Diego Costa and Artur Andrzejak
(University of Heidelberg, Germany)


@InProceedings{CGO18p31, author = {Diego Costa and Artur Andrzejak}, title = {CollectionSwitch: A Framework for Efficient and Dynamic Collection Selection}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {31-30}, doi = {10.1145/3168825}, year = {2018}, } Publisher's Version

Analyzing and Optimizing Task Granularity on the JVM
Andrea Rosà, Eduardo Rosales, and Walter Binder
(University of Lugano, Switzerland)


@InProceedings{CGO18p46, author = {Andrea Rosà and Eduardo Rosales and Walter Binder}, title = {Analyzing and Optimizing Task Granularity on the JVM}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {46-45}, doi = {10.1145/3168828}, year = {2018}, } Publisher's Version

Resilience and Security

Automating Efficient Variable-Grained Resiliency for Low-Power IoT Systems
Sara S. Baghsorkhi and Christos Margiolas
(Intel, USA)


@InProceedings{CGO18p61, author = {Sara S. Baghsorkhi and Christos Margiolas}, title = {Automating Efficient Variable-Grained Resiliency for Low-Power IoT Systems}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3168816}, year = {2018}, } Publisher's Version

Resilient Decentralized Android Application Repackaging Detection Using Logic Bombs
Qiang Zeng, Lannan Luo, Zhiyun Qian, Xiaojiang Du, and Zhoujun Li
(Temple University, USA; University of South Carolina, USA; University of California at Riverside, USA; Beihang University, China)


@InProceedings{CGO18p76, author = {Qiang Zeng and Lannan Luo and Zhiyun Qian and Xiaojiang Du and Zhoujun Li}, title = {Resilient Decentralized Android Application Repackaging Detection Using Logic Bombs}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {76-75}, doi = {10.1145/3168820}, year = {2018}, } Publisher's Version

nAdroid: Statically Detecting Ordering Violations in Android Applications
Xinwei Fu, Dongyoon Lee, and Changhee Jung
(Virginia Tech, USA)


@InProceedings{CGO18p91, author = {Xinwei Fu and Dongyoon Lee and Changhee Jung}, title = {nAdroid: Statically Detecting Ordering Violations in Android Applications}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {91-90}, doi = {10.1145/3168829}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated

SGXElide: Enabling Enclave Code Secrecy via Self-Modification
Erick Bauman, Huibo Wang, Mingwei Zhang, and Zhiqiang Lin
(University of Texas at Dallas, USA; Intel Labs, USA)


@InProceedings{CGO18p106, author = {Erick Bauman and Huibo Wang and Mingwei Zhang and Zhiqiang Lin}, title = {SGXElide: Enabling Enclave Code Secrecy via Self-Modification}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {106-105}, doi = {10.1145/3168833}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Replicated

Best Paper Finalists

Poker: Permutation-Based SIMD Execution of Intensive Tree Search by Path Encoding
Feng Zhang and Jingling Xue
(UNSW, Australia)


@InProceedings{CGO18p121, author = {Feng Zhang and Jingling Xue}, title = {Poker: Permutation-Based SIMD Execution of Intensive Tree Search by Path Encoding}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {121-120}, doi = {10.1145/3168808}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated

High Performance Stencil Code Generation with Lift
Bastian Hagedorn, Larisa Stoltzfus, Michel Steuwer, Sergei Gorlatch, and Christophe Dubach
(University of Münster, Germany; University of Edinburgh, UK; University of Glasgow, UK)


@InProceedings{CGO18p136, author = {Bastian Hagedorn and Larisa Stoltzfus and Michel Steuwer and Sergei Gorlatch and Christophe Dubach}, title = {High Performance Stencil Code Generation with Lift}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {136-135}, doi = {10.1145/3168824}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated

Qubit Allocation
Marcos Yukio Siraichi, Vinícius Fernandes dos Santos, Sylvain Collange, and Fernando Magno Quintao Pereira
(Federal University of Minas Gerais, Brazil; Inria, France; University of Rennes, France; CNRS, France; IRISA, France)


@InProceedings{CGO18p151, author = {Marcos Yukio Siraichi and Vinícius Fernandes dos Santos and Sylvain Collange and Fernando Magno Quintao Pereira}, title = {Qubit Allocation}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {151-150}, doi = {10.1145/3168822}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated

Dominance-Based Duplication Simulation (DBDS): Code Duplication to Enable Compiler Optimizations
David Leopoldseder, Lukas Stadler, Thomas Würthinger, Josef Eisl, Doug Simon, and Hanspeter Mössenböck
(JKU Linz, Austria; Oracle Labs, Austria; Oracle Labs, Switzerland)


@InProceedings{CGO18p166, author = {David Leopoldseder and Lukas Stadler and Thomas Würthinger and Josef Eisl and Doug Simon and Hanspeter Mössenböck}, title = {Dominance-Based Duplication Simulation (DBDS): Code Duplication to Enable Compiler Optimizations}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {166-165}, doi = {10.1145/3168811}, year = {2018}, } Publisher's Version

Linear Algebra and Vectorization

The Generalized Matrix Chain Algorithm
Henrik Barthels, Marcin Copik, and Paolo Bientinesi
(RWTH Aachen University, Germany)


@InProceedings{CGO18p181, author = {Henrik Barthels and Marcin Copik and Paolo Bientinesi}, title = {The Generalized Matrix Chain Algorithm}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {181-180}, doi = {10.1145/3168804}, year = {2018}, } Publisher's Version

CVR: Efficient Vectorization of SpMV on X86 Processors
Biwei Xie, Jianfeng Zhan, Xu Liu, Wanling Gao, Zhen Jia, Xiwen He, and Lixin Zhang
(Institute of Computing Technology at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; College of William and Mary, USA; Princeton University, USA)


@InProceedings{CGO18p196, author = {Biwei Xie and Jianfeng Zhan and Xu Liu and Wanling Gao and Zhen Jia and Xiwen He and Lixin Zhang}, title = {CVR: Efficient Vectorization of SpMV on X86 Processors}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {196-195}, doi = {10.1145/3168818}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Replicated

Look-Ahead SLP: Auto-vectorization in the Presence of Commutative Operations
Vasileios Porpodas, Rodrigo C. O. Rocha, and Luís F. W. Góes
(Intel, USA; University of Edinburgh, UK; PUC-MG, Brazil)


@InProceedings{CGO18p211, author = {Vasileios Porpodas and Rodrigo C. O. Rocha and Luís F. W. Góes}, title = {Look-Ahead SLP: Auto-vectorization in the Presence of Commutative Operations}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {211-210}, doi = {10.1145/3168807}, year = {2018}, } Publisher's Version

Conflict-Free Vectorization of Associative Irregular Applications with Recent SIMD Architectural Advances
Peng Jiang and Gagan Agrawal
(Ohio State University, USA; The Ohio State University, USA)


@InProceedings{CGO18p226, author = {Peng Jiang and Gagan Agrawal}, title = {Conflict-Free Vectorization of Associative Irregular Applications with Recent SIMD Architectural Advances}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {226-225}, doi = {10.1145/3168827}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Replicated

Static and Dynamic Analysis

Scalable Concurrency Debugging with Distributed Graph Processing
Long Zheng, Xiaofei Liao, Hai Jin, Jieshan Zhao, and Qinggang Wang
(Huazhong University of Science and Technology, China)


@InProceedings{CGO18p241, author = {Long Zheng and Xiaofei Liao and Hai Jin and Jieshan Zhao and Qinggang Wang}, title = {Scalable Concurrency Debugging with Distributed Graph Processing}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {241-240}, doi = {10.1145/3168817}, year = {2018}, } Publisher's Version

Lightweight Detection of Cache Conflicts
Probir Roy, Shuaiwen Leon Song, Sriram Krishnamoorthy, and Xu Liu
(College of William and Mary, USA; Pacific Northwest National Laboratory, USA)


@InProceedings{CGO18p256, author = {Probir Roy and Shuaiwen Leon Song and Sriram Krishnamoorthy and Xu Liu}, title = {Lightweight Detection of Cache Conflicts}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {256-255}, doi = {10.1145/3168819}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Replicated

CUDAAdvisor: LLVM-Based Runtime Profiling for Modern GPUs
Du Shen, Shuaiwen Leon Song, Ang Li, and Xu Liu
(College of William and Mary, USA; Pacific Northwest National Laboratory, USA)


@InProceedings{CGO18p271, author = {Du Shen and Shuaiwen Leon Song and Ang Li and Xu Liu}, title = {CUDAAdvisor: LLVM-Based Runtime Profiling for Modern GPUs}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {271-270}, doi = {10.1145/3168831}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Replicated

May-Happen-in-Parallel Analysis with Static Vector Clocks
Qing Zhou, Lian Li, Lei Wang, Jingling Xue, and Xiaobing Feng
(Institute of Computing Technology at Chinese Academy of Sciences, China; University at Chinese Academy of Sciences, China; UNSW, Australia)


@InProceedings{CGO18p286, author = {Qing Zhou and Lian Li and Lei Wang and Jingling Xue and Xiaobing Feng}, title = {May-Happen-in-Parallel Analysis with Static Vector Clocks}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {286-285}, doi = {10.1145/3168813}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Replicated

Memory Usage Optimisation

DeLICM: Scalar Dependence Removal at Zero Memory Cost
Michael Kruse and Tobias Grosser
(Inria, France; ETH Zurich, Switzerland)


@InProceedings{CGO18p301, author = {Michael Kruse and Tobias Grosser}, title = {DeLICM: Scalar Dependence Removal at Zero Memory Cost}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {301-300}, doi = {10.1145/3168815}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Replicated

Loop Transformations Leveraging Hardware Prefetching
Savvas Sioutas, Sander Stuijk, Henk Corporaal, Twan Basten, and Lou Somers
(Eindhoven University of Technology, Netherlands)


@InProceedings{CGO18p316, author = {Savvas Sioutas and Sander Stuijk and Henk Corporaal and Twan Basten and Lou Somers}, title = {Loop Transformations Leveraging Hardware Prefetching}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {316-315}, doi = {10.1145/3168823}, year = {2018}, } Publisher's Version

Transforming Loop Chains via Macro Dataflow Graphs
Eddie C. Davis, Michelle Mills Strout, and Catherine Olschanowsky
(Boise State University, USA; University of Arizona, USA)


@InProceedings{CGO18p331, author = {Eddie C. Davis and Michelle Mills Strout and Catherine Olschanowsky}, title = {Transforming Loop Chains via Macro Dataflow Graphs}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {331-330}, doi = {10.1145/3168832}, year = {2018}, } Publisher's Version

Local Memory-Aware Kernel Perforation
Daniel Maier, Biagio Cosenza, and Ben Juurlink
(TU Berlin, Germany)


@InProceedings{CGO18p346, author = {Daniel Maier and Biagio Cosenza and Ben Juurlink}, title = {Local Memory-Aware Kernel Perforation}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {346-345}, doi = {10.1145/3168814}, year = {2018}, } Publisher's Version

Program Generation and Synthesis

AutoPA: Automatically Generating Active Driver from Original Passive Driver Code
Jia-Ju Bai, Yu-Ping Wang, and Shi-Min Hu
(Tsinghua University, China)


@InProceedings{CGO18p361, author = {Jia-Ju Bai and Yu-Ping Wang and Shi-Min Hu}, title = {AutoPA: Automatically Generating Active Driver from Original Passive Driver Code}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {361-360}, doi = {10.1145/3168809}, year = {2018}, } Publisher's Version

Synthesizing an Instruction Selection Rule Library from Semantic Specifications
Sebastian Buchwald, Andreas Fried, and Sebastian Hack
(KIT, Germany; Saarland University, Germany)


@InProceedings{CGO18p376, author = {Sebastian Buchwald and Andreas Fried and Sebastian Hack}, title = {Synthesizing an Instruction Selection Rule Library from Semantic Specifications}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {376-375}, doi = {10.1145/3168821}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Results Replicated

Synthesizing Programs That Expose Performance Bottlenecks
Luca Della Toffola, Michael Pradel, and Thomas R. Gross
(ETH Zurich, Switzerland; TU Darmstadt, Germany)


@InProceedings{CGO18p391, author = {Luca Della Toffola and Michael Pradel and Thomas R. Gross}, title = {Synthesizing Programs That Expose Performance Bottlenecks}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {391-390}, doi = {10.1145/3168830}, year = {2018}, } Publisher's Version

Program Generation for Small-Scale Linear Algebra Applications
Daniele G. Spampinato, Diego Fabregat-Traver, Paolo Bientinesi, and Markus Püschel
(ETH Zurich, Switzerland; RWTH Aachen University, Germany)


@InProceedings{CGO18p406, author = {Daniele G. Spampinato and Diego Fabregat-Traver and Paolo Bientinesi and Markus Püschel}, title = {Program Generation for Small-Scale Linear Algebra Applications}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {406-405}, doi = {10.1145/3168812}, year = {2018}, } Publisher's Version

Compilation for Specialised Domains

Optimal DNN Primitive Selection with Partitioned Boolean Quadratic Programming
Andrew Anderson and David Gregg
(Trinity College Dublin, Ireland)


@InProceedings{CGO18p421, author = {Andrew Anderson and David Gregg}, title = {Optimal DNN Primitive Selection with Partitioned Boolean Quadratic Programming}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {421-420}, doi = {10.1145/3168805}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Results Replicated

Register Allocation for Intel Processor Graphics
Wei-Yu Chen, Guei-Yuan Lueh, Pratik Ashar, Kaiyu Chen, and Buqi Cheng
(Intel, USA; Intel, India)


@InProceedings{CGO18p436, author = {Wei-Yu Chen and Guei-Yuan Lueh and Pratik Ashar and Kaiyu Chen and Buqi Cheng}, title = {Register Allocation for Intel Processor Graphics}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {436-435}, doi = {10.1145/3168806}, year = {2018}, } Publisher's Version

A Compiler for Cyber-Physical Digital Microfluidic Biochips
Christopher Curtis, Daniel Grissom, and Philip Brisk
(University of California at Riverside, USA; Azusa Pacific University, USA)


@InProceedings{CGO18p451, author = {Christopher Curtis and Daniel Grissom and Philip Brisk}, title = {A Compiler for Cyber-Physical Digital Microfluidic Biochips}, booktitle = {Proc.\ CGO}, publisher = {ACM}, pages = {451-450}, doi = {10.1145/3168826}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available

proc time: 0.69