| |
Abdeljallal, Fahd
|
CC '18: "A Session Type Provider: Compile-Time ..."
A Session Type Provider: Compile-Time API Generation of Distributed Protocols with Refinements in F#
Rumyana Neykova, Raymond Hu, Nobuko Yoshida, and Fahd Abdeljallal
(Imperial College London, UK)
@InProceedings{CC18p148,
author = {Rumyana Neykova and Raymond Hu and Nobuko Yoshida and Fahd Abdeljallal},
title = {A Session Type Provider: Compile-Time API Generation of Distributed Protocols with Refinements in F#},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {148-147},
doi = {10.1145/3178372.3179495},
year = {2018},
}
 Publisher's Version
Article: cc18main-p15-p doi:10.1145/3178372.3179495
|
| |
Adam, Justus |
CC '18: "Compiling for Concise Code ..."
Compiling for Concise Code and Efficient I/O
Sebastian Ertel, Andrés Goens, Justus Adam, and Jeronimo Castrillon
(TU Dresden, Germany)
@InProceedings{CC18p124,
author = {Sebastian Ertel and Andrés Goens and Justus Adam and Jeronimo Castrillon},
title = {Compiling for Concise Code and Efficient I/O},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {124-123},
doi = {10.1145/3178372.3179505},
year = {2018},
}
Publisher's Version
Article: cc18main-p23-p doi:10.1145/3178372.3179505
|
| |
Balatsouras, George
|
CC '18: "An Efficient Data Structure ..."
An Efficient Data Structure for Must-Alias Analysis
George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, and Yannis Smaragdakis
(University of Athens, Greece; University of Texas at Austin, USA)
@InProceedings{CC18p68,
author = {George Kastrinis and George Balatsouras and Kostas Ferles and Nefeli Prokopaki-Kostopoulou and Yannis Smaragdakis},
title = {An Efficient Data Structure for Must-Alias Analysis},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {68-67},
doi = {10.1145/3178372.3179519},
year = {2018},
}
Publisher's Version
Article: cc18main-p51-p doi:10.1145/3178372.3179519
|
| |
Barany, Gergö |
CC '18: "Finding Missed Compiler Optimizations ..."
Finding Missed Compiler Optimizations by Differential Testing
Gergö Barany
(Inria, France)
@InProceedings{CC18p102,
author = {Gergö Barany},
title = {Finding Missed Compiler Optimizations by Differential Testing},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {102-101},
doi = {10.1145/3178372.3179521},
year = {2018},
}
Publisher's Version
Article: cc18main-p57-p doi:10.1145/3178372.3179521
|
| |
Binder, Walter |
CC '18: "Efficient Dynamic Analysis ..."
Efficient Dynamic Analysis for Node.js
Haiyang Sun, Daniele Bonetta, Christian Humer, and Walter Binder
(University of Lugano, Switzerland; Oracle Labs, USA; Oracle Labs, Switzerland)
@InProceedings{CC18p216,
author = {Haiyang Sun and Daniele Bonetta and Christian Humer and Walter Binder},
title = {Efficient Dynamic Analysis for Node.js},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {216-215},
doi = {10.1145/3178372.3179527},
year = {2018},
}
Publisher's Version
Article: cc18main-p69-p doi:10.1145/3178372.3179527
|
| |
Bonetta, Daniele |
CC '18: "Efficient Dynamic Analysis ..."
Efficient Dynamic Analysis for Node.js
Haiyang Sun, Daniele Bonetta, Christian Humer, and Walter Binder
(University of Lugano, Switzerland; Oracle Labs, USA; Oracle Labs, Switzerland)
@InProceedings{CC18p216,
author = {Haiyang Sun and Daniele Bonetta and Christian Humer and Walter Binder},
title = {Efficient Dynamic Analysis for Node.js},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {216-215},
doi = {10.1145/3178372.3179527},
year = {2018},
}
Publisher's Version
Article: cc18main-p69-p doi:10.1145/3178372.3179527
|
| |
Brock, Jacob |
CC '18: "PAYJIT: Space-Optimal JIT ..."
PAYJIT: Space-Optimal JIT Compilation and Its Practical Implementation
Jacob Brock, Chen Ding, Xiaoran Xu, and Yan Zhang
(University of Rochester, USA; Rice University, USA; Futurewei Technologies, USA)
@InProceedings{CC18p91,
author = {Jacob Brock and Chen Ding and Xiaoran Xu and Yan Zhang},
title = {PAYJIT: Space-Optimal JIT Compilation and Its Practical Implementation},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3178372.3179523},
year = {2018},
}
Publisher's Version
Article: cc18main-p62-p doi:10.1145/3178372.3179523
|
| |
Burke, Michael G. |
CC '18: "Parallel Sparse Flow-Sensitive ..."
Parallel Sparse Flow-Sensitive Points-to Analysis
Jisheng Zhao, Michael G. Burke, and Vivek Sarkar
(Rice University, USA)
@InProceedings{CC18p79,
author = {Jisheng Zhao and Michael G. Burke and Vivek Sarkar},
title = {Parallel Sparse Flow-Sensitive Points-to Analysis},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3178372.3179517},
year = {2018},
}
Publisher's Version
Article: cc18main-p50-p doi:10.1145/3178372.3179517
|
| |
Castrillon, Jeronimo
|
CC '18: "Compiling for Concise Code ..."
Compiling for Concise Code and Efficient I/O
Sebastian Ertel, Andrés Goens, Justus Adam, and Jeronimo Castrillon
(TU Dresden, Germany)
@InProceedings{CC18p124,
author = {Sebastian Ertel and Andrés Goens and Justus Adam and Jeronimo Castrillon},
title = {Compiling for Concise Code and Efficient I/O},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {124-123},
doi = {10.1145/3178372.3179505},
year = {2018},
}
Publisher's Version
Article: cc18main-p23-p doi:10.1145/3178372.3179505
|
| |
Cohen, Albert |
CC '18: "Modeling the Conflicting Demands ..."
Modeling the Conflicting Demands of Parallelism and Temporal/Spatial Locality in Affine Scheduling
Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, and Albert Cohen
(Inria, France; ENS, France; KU Leuven, Belgium; Polly Labs, Belgium; Georgia Tech, USA; ETH Zurich, Switzerland)
@InProceedings{CC18p23,
author = {Oleksandr Zinenko and Sven Verdoolaege and Chandan Reddy and Jun Shirako and Tobias Grosser and Vivek Sarkar and Albert Cohen},
title = {Modeling the Conflicting Demands of Parallelism and Temporal/Spatial Locality in Affine Scheduling},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3178372.3179507},
year = {2018},
}
Publisher's Version
Article: cc18main-p24-p doi:10.1145/3178372.3179507
CC '18: "A Polyhedral Compilation Framework ..."
A Polyhedral Compilation Framework for Loops with Dynamic Data-Dependent Bounds
Jie Zhao, Michael Kruse, and Albert Cohen
(Inria, France; ENS, France)
@InProceedings{CC18p34,
author = {Jie Zhao and Michael Kruse and Albert Cohen},
title = {A Polyhedral Compilation Framework for Loops with Dynamic Data-Dependent Bounds},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {34-33},
doi = {10.1145/3178372.3179509},
year = {2018},
}
Publisher's Version
Article: cc18main-p32-p doi:10.1145/3178372.3179509
|
| |
Cole, Murray |
CC '18: "Towards a Compiler Analysis ..."
Towards a Compiler Analysis for Parallel Algorithmic Skeletons
Tobias J. K. Edler von Koch, Stanislav Manilov, Christos Vasiladiotis, Murray Cole, and Björn Franke
(Qualcomm Innovation Center, USA; University of Edinburgh, UK)
@InProceedings{CC18p194,
author = {Tobias J. K. Edler von Koch and Stanislav Manilov and Christos Vasiladiotis and Murray Cole and Björn Franke},
title = {Towards a Compiler Analysis for Parallel Algorithmic Skeletons},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {194-193},
doi = {10.1145/3178372.3179513},
year = {2018},
}
Publisher's Version
Article: cc18main-p38-p doi:10.1145/3178372.3179513
|
| |
Colin, Alexei |
CC '18: "Termination Checking and Task ..."
Termination Checking and Task Decomposition for Task-Based Intermittent Programs
Alexei Colin and Brandon Lucia
(Carnegie Mellon University, USA)
@InProceedings{CC18p136,
author = {Alexei Colin and Brandon Lucia},
title = {Termination Checking and Task Decomposition for Task-Based Intermittent Programs},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {136-135},
doi = {10.1145/3178372.3179525},
year = {2018},
}
Publisher's Version
Article: cc18main-p64-p doi:10.1145/3178372.3179525
|
| |
Crawford, Lewis |
CC '18: "CAnDL: A Domain Specific Language ..."
CAnDL: A Domain Specific Language for Compiler Analysis
Philip Ginsbach, Lewis Crawford, and Michael F. P. O'Boyle
(University of Edinburgh, UK)
@InProceedings{CC18p171,
author = {Philip Ginsbach and Lewis Crawford and Michael F. P. O'Boyle},
title = {CAnDL: A Domain Specific Language for Compiler Analysis},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {171-170},
doi = {10.1145/3178372.3179515},
year = {2018},
}
Publisher's Version
Article: cc18main-p41-p doi:10.1145/3178372.3179515
|
| |
Demange, Delphine
|
CC '18: "Semantic Reasoning about the ..."
Semantic Reasoning about the Sea of Nodes
Delphine Demange, Yon Fernández de Retana, and David Pichardie
(Univ Rennes, France; Inria, France; CNRS, France; IRISA, France)
@InProceedings{CC18p183,
author = {Delphine Demange and Yon Fernández de Retana and David Pichardie},
title = {Semantic Reasoning about the Sea of Nodes},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {183-182},
doi = {10.1145/3178372.3179503},
year = {2018},
}
Publisher's Version
Article: cc18main-p22-p doi:10.1145/3178372.3179503
|
| |
Ding, Chen |
CC '18: "PAYJIT: Space-Optimal JIT ..."
PAYJIT: Space-Optimal JIT Compilation and Its Practical Implementation
Jacob Brock, Chen Ding, Xiaoran Xu, and Yan Zhang
(University of Rochester, USA; Rice University, USA; Futurewei Technologies, USA)
@InProceedings{CC18p91,
author = {Jacob Brock and Chen Ding and Xiaoran Xu and Yan Zhang},
title = {PAYJIT: Space-Optimal JIT Compilation and Its Practical Implementation},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3178372.3179523},
year = {2018},
}
Publisher's Version
Article: cc18main-p62-p doi:10.1145/3178372.3179523
|
| |
Doerfert, Johannes |
CC '18: "Polyhedral Expression Propagation ..."
Polyhedral Expression Propagation
Johannes Doerfert, Shrey Sharma, and Sebastian Hack
(Saarland University, Germany)
@InProceedings{CC18p45,
author = {Johannes Doerfert and Shrey Sharma and Sebastian Hack},
title = {Polyhedral Expression Propagation},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3178372.3179529},
year = {2018},
}
Publisher's Version
Article: cc18main-p73-p doi:10.1145/3178372.3179529
|
| |
Ertel, Sebastian
|
CC '18: "Compiling for Concise Code ..."
Compiling for Concise Code and Efficient I/O
Sebastian Ertel, Andrés Goens, Justus Adam, and Jeronimo Castrillon
(TU Dresden, Germany)
@InProceedings{CC18p124,
author = {Sebastian Ertel and Andrés Goens and Justus Adam and Jeronimo Castrillon},
title = {Compiling for Concise Code and Efficient I/O},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {124-123},
doi = {10.1145/3178372.3179505},
year = {2018},
}
Publisher's Version
Article: cc18main-p23-p doi:10.1145/3178372.3179505
|
| |
Ertl, M. Anton |
CC '18: "Fast and Flexible Instruction ..."
Fast and Flexible Instruction Selection with Constraints
Patrick Thier, M. Anton Ertl, and Andreas Krall
(Vienna University of Technology, Austria)
@InProceedings{CC18p113,
author = {Patrick Thier and M. Anton Ertl and Andreas Krall},
title = {Fast and Flexible Instruction Selection with Constraints},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {113-112},
doi = {10.1145/3178372.3179501},
year = {2018},
}
Publisher's Version
Article: cc18main-p20-p doi:10.1145/3178372.3179501
|
| |
Ferles, Kostas
|
CC '18: "An Efficient Data Structure ..."
An Efficient Data Structure for Must-Alias Analysis
George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, and Yannis Smaragdakis
(University of Athens, Greece; University of Texas at Austin, USA)
@InProceedings{CC18p68,
author = {George Kastrinis and George Balatsouras and Kostas Ferles and Nefeli Prokopaki-Kostopoulou and Yannis Smaragdakis},
title = {An Efficient Data Structure for Must-Alias Analysis},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {68-67},
doi = {10.1145/3178372.3179519},
year = {2018},
}
Publisher's Version
Article: cc18main-p51-p doi:10.1145/3178372.3179519
|
| |
Fernández de Retana, Yon |
CC '18: "Semantic Reasoning about the ..."
Semantic Reasoning about the Sea of Nodes
Delphine Demange, Yon Fernández de Retana, and David Pichardie
(Univ Rennes, France; Inria, France; CNRS, France; IRISA, France)
@InProceedings{CC18p183,
author = {Delphine Demange and Yon Fernández de Retana and David Pichardie},
title = {Semantic Reasoning about the Sea of Nodes},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {183-182},
doi = {10.1145/3178372.3179503},
year = {2018},
}
Publisher's Version
Article: cc18main-p22-p doi:10.1145/3178372.3179503
|
| |
Franke, Björn |
CC '18: "Towards a Compiler Analysis ..."
Towards a Compiler Analysis for Parallel Algorithmic Skeletons
Tobias J. K. Edler von Koch, Stanislav Manilov, Christos Vasiladiotis, Murray Cole, and Björn Franke
(Qualcomm Innovation Center, USA; University of Edinburgh, UK)
@InProceedings{CC18p194,
author = {Tobias J. K. Edler von Koch and Stanislav Manilov and Christos Vasiladiotis and Murray Cole and Björn Franke},
title = {Towards a Compiler Analysis for Parallel Algorithmic Skeletons},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {194-193},
doi = {10.1145/3178372.3179513},
year = {2018},
}
Publisher's Version
Article: cc18main-p38-p doi:10.1145/3178372.3179513
CC '18: "Generalized Profile-Guided ..."
Generalized Profile-Guided Iterator Recognition
Stanislav Manilov, Christos Vasiladiotis, and Björn Franke
(University of Edinburgh, UK)
@InProceedings{CC18p205,
author = {Stanislav Manilov and Christos Vasiladiotis and Björn Franke},
title = {Generalized Profile-Guided Iterator Recognition},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {205-204},
doi = {10.1145/3178372.3179511},
year = {2018},
}
Publisher's Version
Article: cc18main-p37-p doi:10.1145/3178372.3179511
|
| |
Ginsbach, Philip
|
CC '18: "CAnDL: A Domain Specific Language ..."
CAnDL: A Domain Specific Language for Compiler Analysis
Philip Ginsbach, Lewis Crawford, and Michael F. P. O'Boyle
(University of Edinburgh, UK)
@InProceedings{CC18p171,
author = {Philip Ginsbach and Lewis Crawford and Michael F. P. O'Boyle},
title = {CAnDL: A Domain Specific Language for Compiler Analysis},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {171-170},
doi = {10.1145/3178372.3179515},
year = {2018},
}
Publisher's Version
Article: cc18main-p41-p doi:10.1145/3178372.3179515
|
| |
Goens, Andrés |
CC '18: "Compiling for Concise Code ..."
Compiling for Concise Code and Efficient I/O
Sebastian Ertel, Andrés Goens, Justus Adam, and Jeronimo Castrillon
(TU Dresden, Germany)
@InProceedings{CC18p124,
author = {Sebastian Ertel and Andrés Goens and Justus Adam and Jeronimo Castrillon},
title = {Compiling for Concise Code and Efficient I/O},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {124-123},
doi = {10.1145/3178372.3179505},
year = {2018},
}
Publisher's Version
Article: cc18main-p23-p doi:10.1145/3178372.3179505
|
| |
Grosser, Tobias |
CC '18: "Modeling the Conflicting Demands ..."
Modeling the Conflicting Demands of Parallelism and Temporal/Spatial Locality in Affine Scheduling
Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, and Albert Cohen
(Inria, France; ENS, France; KU Leuven, Belgium; Polly Labs, Belgium; Georgia Tech, USA; ETH Zurich, Switzerland)
@InProceedings{CC18p23,
author = {Oleksandr Zinenko and Sven Verdoolaege and Chandan Reddy and Jun Shirako and Tobias Grosser and Vivek Sarkar and Albert Cohen},
title = {Modeling the Conflicting Demands of Parallelism and Temporal/Spatial Locality in Affine Scheduling},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3178372.3179507},
year = {2018},
}
Publisher's Version
Article: cc18main-p24-p doi:10.1145/3178372.3179507
|
| |
Hack, Sebastian
|
CC '18: "Polyhedral Expression Propagation ..."
Polyhedral Expression Propagation
Johannes Doerfert, Shrey Sharma, and Sebastian Hack
(Saarland University, Germany)
@InProceedings{CC18p45,
author = {Johannes Doerfert and Shrey Sharma and Sebastian Hack},
title = {Polyhedral Expression Propagation},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3178372.3179529},
year = {2018},
}
Publisher's Version
Article: cc18main-p73-p doi:10.1145/3178372.3179529
|
| |
Heim, Bettina |
CC '18: "Compiler and Language Design ..."
Compiler and Language Design for Quantum Computing (Keynote)
Bettina Heim
(Microsoft Research, USA)
@InProceedings{CC18p12,
author = {Bettina Heim},
title = {Compiler and Language Design for Quantum Computing (Keynote)},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {12-11},
doi = {10.1145/3178372.3183636},
year = {2018},
}
Publisher's Version
Article: cc18main-a2-p doi:10.1145/3178372.3183636
|
| |
Hu, Raymond |
CC '18: "A Session Type Provider: Compile-Time ..."
A Session Type Provider: Compile-Time API Generation of Distributed Protocols with Refinements in F#
Rumyana Neykova, Raymond Hu, Nobuko Yoshida, and Fahd Abdeljallal
(Imperial College London, UK)
@InProceedings{CC18p148,
author = {Rumyana Neykova and Raymond Hu and Nobuko Yoshida and Fahd Abdeljallal},
title = {A Session Type Provider: Compile-Time API Generation of Distributed Protocols with Refinements in F#},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {148-147},
doi = {10.1145/3178372.3179495},
year = {2018},
}
Publisher's Version
Article: cc18main-p15-p doi:10.1145/3178372.3179495
|
| |
Humer, Christian |
CC '18: "Efficient Dynamic Analysis ..."
Efficient Dynamic Analysis for Node.js
Haiyang Sun, Daniele Bonetta, Christian Humer, and Walter Binder
(University of Lugano, Switzerland; Oracle Labs, USA; Oracle Labs, Switzerland)
@InProceedings{CC18p216,
author = {Haiyang Sun and Daniele Bonetta and Christian Humer and Walter Binder},
title = {Efficient Dynamic Analysis for Node.js},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {216-215},
doi = {10.1145/3178372.3179527},
year = {2018},
}
Publisher's Version
Article: cc18main-p69-p doi:10.1145/3178372.3179527
|
| |
Kastrinis, George
|
CC '18: "An Efficient Data Structure ..."
An Efficient Data Structure for Must-Alias Analysis
George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, and Yannis Smaragdakis
(University of Athens, Greece; University of Texas at Austin, USA)
@InProceedings{CC18p68,
author = {George Kastrinis and George Balatsouras and Kostas Ferles and Nefeli Prokopaki-Kostopoulou and Yannis Smaragdakis},
title = {An Efficient Data Structure for Must-Alias Analysis},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {68-67},
doi = {10.1145/3178372.3179519},
year = {2018},
}
Publisher's Version
Article: cc18main-p51-p doi:10.1145/3178372.3179519
|
| |
Khedker, Uday P. |
CC '18: "Computing Partially Path-Sensitive ..."
Computing Partially Path-Sensitive MFP Solutions in Data Flow Analyses
Komal Pathade and Uday P. Khedker
(Tata Consultancy Services, India; IIT Bombay, India)
@InProceedings{CC18p57,
author = {Komal Pathade and Uday P. Khedker},
title = {Computing Partially Path-Sensitive MFP Solutions in Data Flow Analyses},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {57-56},
doi = {10.1145/3178372.3179497},
year = {2018},
}
Publisher's Version
Article: cc18main-p17-p doi:10.1145/3178372.3179497
|
| |
Krall, Andreas |
CC '18: "Fast and Flexible Instruction ..."
Fast and Flexible Instruction Selection with Constraints
Patrick Thier, M. Anton Ertl, and Andreas Krall
(Vienna University of Technology, Austria)
@InProceedings{CC18p113,
author = {Patrick Thier and M. Anton Ertl and Andreas Krall},
title = {Fast and Flexible Instruction Selection with Constraints},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {113-112},
doi = {10.1145/3178372.3179501},
year = {2018},
}
Publisher's Version
Article: cc18main-p20-p doi:10.1145/3178372.3179501
|
| |
Kruse, Michael |
CC '18: "A Polyhedral Compilation Framework ..."
A Polyhedral Compilation Framework for Loops with Dynamic Data-Dependent Bounds
Jie Zhao, Michael Kruse, and Albert Cohen
(Inria, France; ENS, France)
@InProceedings{CC18p34,
author = {Jie Zhao and Michael Kruse and Albert Cohen},
title = {A Polyhedral Compilation Framework for Loops with Dynamic Data-Dependent Bounds},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {34-33},
doi = {10.1145/3178372.3179509},
year = {2018},
}
Publisher's Version
Article: cc18main-p32-p doi:10.1145/3178372.3179509
|
| |
Lhoták, Ondřej
|
CC '18: "Tail Call Elimination and ..."
Tail Call Elimination and Data Representation for Functional Languages on the Java Virtual Machine
Magnus Madsen, Ramin Zarifi, and Ondřej Lhoták
(Aalborg University, Denmark; University of Waterloo, Canada)
@InProceedings{CC18p159,
author = {Magnus Madsen and Ramin Zarifi and Ondřej Lhoták},
title = {Tail Call Elimination and Data Representation for Functional Languages on the Java Virtual Machine},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {159-158},
doi = {10.1145/3178372.3179499},
year = {2018},
}
Publisher's Version
Article: cc18main-p18-p doi:10.1145/3178372.3179499
|
| |
Lucia, Brandon |
CC '18: "Termination Checking and Task ..."
Termination Checking and Task Decomposition for Task-Based Intermittent Programs
Alexei Colin and Brandon Lucia
(Carnegie Mellon University, USA)
@InProceedings{CC18p136,
author = {Alexei Colin and Brandon Lucia},
title = {Termination Checking and Task Decomposition for Task-Based Intermittent Programs},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {136-135},
doi = {10.1145/3178372.3179525},
year = {2018},
}
Publisher's Version
Article: cc18main-p64-p doi:10.1145/3178372.3179525
|
| |
Madsen, Magnus
|
CC '18: "Tail Call Elimination and ..."
Tail Call Elimination and Data Representation for Functional Languages on the Java Virtual Machine
Magnus Madsen, Ramin Zarifi, and Ondřej Lhoták
(Aalborg University, Denmark; University of Waterloo, Canada)
@InProceedings{CC18p159,
author = {Magnus Madsen and Ramin Zarifi and Ondřej Lhoták},
title = {Tail Call Elimination and Data Representation for Functional Languages on the Java Virtual Machine},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {159-158},
doi = {10.1145/3178372.3179499},
year = {2018},
}
Publisher's Version
Article: cc18main-p18-p doi:10.1145/3178372.3179499
|
| |
Manilov, Stanislav |
CC '18: "Towards a Compiler Analysis ..."
Towards a Compiler Analysis for Parallel Algorithmic Skeletons
Tobias J. K. Edler von Koch, Stanislav Manilov, Christos Vasiladiotis, Murray Cole, and Björn Franke
(Qualcomm Innovation Center, USA; University of Edinburgh, UK)
@InProceedings{CC18p194,
author = {Tobias J. K. Edler von Koch and Stanislav Manilov and Christos Vasiladiotis and Murray Cole and Björn Franke},
title = {Towards a Compiler Analysis for Parallel Algorithmic Skeletons},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {194-193},
doi = {10.1145/3178372.3179513},
year = {2018},
}
Publisher's Version
Article: cc18main-p38-p doi:10.1145/3178372.3179513
CC '18: "Generalized Profile-Guided ..."
Generalized Profile-Guided Iterator Recognition
Stanislav Manilov, Christos Vasiladiotis, and Björn Franke
(University of Edinburgh, UK)
@InProceedings{CC18p205,
author = {Stanislav Manilov and Christos Vasiladiotis and Björn Franke},
title = {Generalized Profile-Guided Iterator Recognition},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {205-204},
doi = {10.1145/3178372.3179511},
year = {2018},
}
Publisher's Version
Article: cc18main-p37-p doi:10.1145/3178372.3179511
|
| |
Neykova, Rumyana
|
CC '18: "A Session Type Provider: Compile-Time ..."
A Session Type Provider: Compile-Time API Generation of Distributed Protocols with Refinements in F#
Rumyana Neykova, Raymond Hu, Nobuko Yoshida, and Fahd Abdeljallal
(Imperial College London, UK)
@InProceedings{CC18p148,
author = {Rumyana Neykova and Raymond Hu and Nobuko Yoshida and Fahd Abdeljallal},
title = {A Session Type Provider: Compile-Time API Generation of Distributed Protocols with Refinements in F#},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {148-147},
doi = {10.1145/3178372.3179495},
year = {2018},
}
Publisher's Version
Article: cc18main-p15-p doi:10.1145/3178372.3179495
|
| |
O'Boyle, Michael F. P.
|
CC '18: "CAnDL: A Domain Specific Language ..."
CAnDL: A Domain Specific Language for Compiler Analysis
Philip Ginsbach, Lewis Crawford, and Michael F. P. O'Boyle
(University of Edinburgh, UK)
@InProceedings{CC18p171,
author = {Philip Ginsbach and Lewis Crawford and Michael F. P. O'Boyle},
title = {CAnDL: A Domain Specific Language for Compiler Analysis},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {171-170},
doi = {10.1145/3178372.3179515},
year = {2018},
}
Publisher's Version
Article: cc18main-p41-p doi:10.1145/3178372.3179515
|
| |
Pathade, Komal
|
CC '18: "Computing Partially Path-Sensitive ..."
Computing Partially Path-Sensitive MFP Solutions in Data Flow Analyses
Komal Pathade and Uday P. Khedker
(Tata Consultancy Services, India; IIT Bombay, India)
@InProceedings{CC18p57,
author = {Komal Pathade and Uday P. Khedker},
title = {Computing Partially Path-Sensitive MFP Solutions in Data Flow Analyses},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {57-56},
doi = {10.1145/3178372.3179497},
year = {2018},
}
Publisher's Version
Article: cc18main-p17-p doi:10.1145/3178372.3179497
|
| |
Pichardie, David |
CC '18: "Semantic Reasoning about the ..."
Semantic Reasoning about the Sea of Nodes
Delphine Demange, Yon Fernández de Retana, and David Pichardie
(Univ Rennes, France; Inria, France; CNRS, France; IRISA, France)
@InProceedings{CC18p183,
author = {Delphine Demange and Yon Fernández de Retana and David Pichardie},
title = {Semantic Reasoning about the Sea of Nodes},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {183-182},
doi = {10.1145/3178372.3179503},
year = {2018},
}
Publisher's Version
Article: cc18main-p22-p doi:10.1145/3178372.3179503
|
| |
Prokopaki-Kostopoulou, Nefeli |
CC '18: "An Efficient Data Structure ..."
An Efficient Data Structure for Must-Alias Analysis
George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, and Yannis Smaragdakis
(University of Athens, Greece; University of Texas at Austin, USA)
@InProceedings{CC18p68,
author = {George Kastrinis and George Balatsouras and Kostas Ferles and Nefeli Prokopaki-Kostopoulou and Yannis Smaragdakis},
title = {An Efficient Data Structure for Must-Alias Analysis},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {68-67},
doi = {10.1145/3178372.3179519},
year = {2018},
}
Publisher's Version
Article: cc18main-p51-p doi:10.1145/3178372.3179519
|
| |
Reddy, Chandan
|
CC '18: "Modeling the Conflicting Demands ..."
Modeling the Conflicting Demands of Parallelism and Temporal/Spatial Locality in Affine Scheduling
Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, and Albert Cohen
(Inria, France; ENS, France; KU Leuven, Belgium; Polly Labs, Belgium; Georgia Tech, USA; ETH Zurich, Switzerland)
@InProceedings{CC18p23,
author = {Oleksandr Zinenko and Sven Verdoolaege and Chandan Reddy and Jun Shirako and Tobias Grosser and Vivek Sarkar and Albert Cohen},
title = {Modeling the Conflicting Demands of Parallelism and Temporal/Spatial Locality in Affine Scheduling},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3178372.3179507},
year = {2018},
}
Publisher's Version
Article: cc18main-p24-p doi:10.1145/3178372.3179507
|
| |
Sarkar, Vivek
|
CC '18: "Modeling the Conflicting Demands ..."
Modeling the Conflicting Demands of Parallelism and Temporal/Spatial Locality in Affine Scheduling
Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, and Albert Cohen
(Inria, France; ENS, France; KU Leuven, Belgium; Polly Labs, Belgium; Georgia Tech, USA; ETH Zurich, Switzerland)
@InProceedings{CC18p23,
author = {Oleksandr Zinenko and Sven Verdoolaege and Chandan Reddy and Jun Shirako and Tobias Grosser and Vivek Sarkar and Albert Cohen},
title = {Modeling the Conflicting Demands of Parallelism and Temporal/Spatial Locality in Affine Scheduling},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3178372.3179507},
year = {2018},
}
Publisher's Version
Article: cc18main-p24-p doi:10.1145/3178372.3179507
CC '18: "Parallel Sparse Flow-Sensitive ..."
Parallel Sparse Flow-Sensitive Points-to Analysis
Jisheng Zhao, Michael G. Burke, and Vivek Sarkar
(Rice University, USA)
@InProceedings{CC18p79,
author = {Jisheng Zhao and Michael G. Burke and Vivek Sarkar},
title = {Parallel Sparse Flow-Sensitive Points-to Analysis},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3178372.3179517},
year = {2018},
}
Publisher's Version
Article: cc18main-p50-p doi:10.1145/3178372.3179517
|
| |
Sharma, Shrey |
CC '18: "Polyhedral Expression Propagation ..."
Polyhedral Expression Propagation
Johannes Doerfert, Shrey Sharma, and Sebastian Hack
(Saarland University, Germany)
@InProceedings{CC18p45,
author = {Johannes Doerfert and Shrey Sharma and Sebastian Hack},
title = {Polyhedral Expression Propagation},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {45-44},
doi = {10.1145/3178372.3179529},
year = {2018},
}
Publisher's Version
Article: cc18main-p73-p doi:10.1145/3178372.3179529
|
| |
Shen, Xipeng |
CC '18: "Rethinking Compilers in the ..."
Rethinking Compilers in the Rise of Machine Learning and AI (Keynote)
Xipeng Shen
(North Carolina State University, USA)
@InProceedings{CC18p1,
author = {Xipeng Shen},
title = {Rethinking Compilers in the Rise of Machine Learning and AI (Keynote)},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3178372.3183634},
year = {2018},
}
Publisher's Version
Article: cc18main-a1-p doi:10.1145/3178372.3183634
|
| |
Shirako, Jun |
CC '18: "Modeling the Conflicting Demands ..."
Modeling the Conflicting Demands of Parallelism and Temporal/Spatial Locality in Affine Scheduling
Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, and Albert Cohen
(Inria, France; ENS, France; KU Leuven, Belgium; Polly Labs, Belgium; Georgia Tech, USA; ETH Zurich, Switzerland)
@InProceedings{CC18p23,
author = {Oleksandr Zinenko and Sven Verdoolaege and Chandan Reddy and Jun Shirako and Tobias Grosser and Vivek Sarkar and Albert Cohen},
title = {Modeling the Conflicting Demands of Parallelism and Temporal/Spatial Locality in Affine Scheduling},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3178372.3179507},
year = {2018},
}
Publisher's Version
Article: cc18main-p24-p doi:10.1145/3178372.3179507
|
| |
Smaragdakis, Yannis |
CC '18: "An Efficient Data Structure ..."
An Efficient Data Structure for Must-Alias Analysis
George Kastrinis, George Balatsouras, Kostas Ferles, Nefeli Prokopaki-Kostopoulou, and Yannis Smaragdakis
(University of Athens, Greece; University of Texas at Austin, USA)
@InProceedings{CC18p68,
author = {George Kastrinis and George Balatsouras and Kostas Ferles and Nefeli Prokopaki-Kostopoulou and Yannis Smaragdakis},
title = {An Efficient Data Structure for Must-Alias Analysis},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {68-67},
doi = {10.1145/3178372.3179519},
year = {2018},
}
Publisher's Version
Article: cc18main-p51-p doi:10.1145/3178372.3179519
|
| |
Sun, Haiyang |
CC '18: "Efficient Dynamic Analysis ..."
Efficient Dynamic Analysis for Node.js
Haiyang Sun, Daniele Bonetta, Christian Humer, and Walter Binder
(University of Lugano, Switzerland; Oracle Labs, USA; Oracle Labs, Switzerland)
@InProceedings{CC18p216,
author = {Haiyang Sun and Daniele Bonetta and Christian Humer and Walter Binder},
title = {Efficient Dynamic Analysis for Node.js},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {216-215},
doi = {10.1145/3178372.3179527},
year = {2018},
}
Publisher's Version
Article: cc18main-p69-p doi:10.1145/3178372.3179527
|
| |
Thier, Patrick
|
CC '18: "Fast and Flexible Instruction ..."
Fast and Flexible Instruction Selection with Constraints
Patrick Thier, M. Anton Ertl, and Andreas Krall
(Vienna University of Technology, Austria)
@InProceedings{CC18p113,
author = {Patrick Thier and M. Anton Ertl and Andreas Krall},
title = {Fast and Flexible Instruction Selection with Constraints},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {113-112},
doi = {10.1145/3178372.3179501},
year = {2018},
}
Publisher's Version
Article: cc18main-p20-p doi:10.1145/3178372.3179501
|
| |
Vasiladiotis, Christos
|
CC '18: "Towards a Compiler Analysis ..."
Towards a Compiler Analysis for Parallel Algorithmic Skeletons
Tobias J. K. Edler von Koch, Stanislav Manilov, Christos Vasiladiotis, Murray Cole, and Björn Franke
(Qualcomm Innovation Center, USA; University of Edinburgh, UK)
@InProceedings{CC18p194,
author = {Tobias J. K. Edler von Koch and Stanislav Manilov and Christos Vasiladiotis and Murray Cole and Björn Franke},
title = {Towards a Compiler Analysis for Parallel Algorithmic Skeletons},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {194-193},
doi = {10.1145/3178372.3179513},
year = {2018},
}
Publisher's Version
Article: cc18main-p38-p doi:10.1145/3178372.3179513
CC '18: "Generalized Profile-Guided ..."
Generalized Profile-Guided Iterator Recognition
Stanislav Manilov, Christos Vasiladiotis, and Björn Franke
(University of Edinburgh, UK)
@InProceedings{CC18p205,
author = {Stanislav Manilov and Christos Vasiladiotis and Björn Franke},
title = {Generalized Profile-Guided Iterator Recognition},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {205-204},
doi = {10.1145/3178372.3179511},
year = {2018},
}
Publisher's Version
Article: cc18main-p37-p doi:10.1145/3178372.3179511
|
| |
Verdoolaege, Sven |
CC '18: "Modeling the Conflicting Demands ..."
Modeling the Conflicting Demands of Parallelism and Temporal/Spatial Locality in Affine Scheduling
Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, and Albert Cohen
(Inria, France; ENS, France; KU Leuven, Belgium; Polly Labs, Belgium; Georgia Tech, USA; ETH Zurich, Switzerland)
@InProceedings{CC18p23,
author = {Oleksandr Zinenko and Sven Verdoolaege and Chandan Reddy and Jun Shirako and Tobias Grosser and Vivek Sarkar and Albert Cohen},
title = {Modeling the Conflicting Demands of Parallelism and Temporal/Spatial Locality in Affine Scheduling},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3178372.3179507},
year = {2018},
}
Publisher's Version
Article: cc18main-p24-p doi:10.1145/3178372.3179507
|
| |
Von Koch, Tobias J. K. Edler |
CC '18: "Towards a Compiler Analysis ..."
Towards a Compiler Analysis for Parallel Algorithmic Skeletons
Tobias J. K. Edler von Koch, Stanislav Manilov, Christos Vasiladiotis, Murray Cole, and Björn Franke
(Qualcomm Innovation Center, USA; University of Edinburgh, UK)
@InProceedings{CC18p194,
author = {Tobias J. K. Edler von Koch and Stanislav Manilov and Christos Vasiladiotis and Murray Cole and Björn Franke},
title = {Towards a Compiler Analysis for Parallel Algorithmic Skeletons},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {194-193},
doi = {10.1145/3178372.3179513},
year = {2018},
}
Publisher's Version
Article: cc18main-p38-p doi:10.1145/3178372.3179513
|
| |
Xu, Xiaoran
|
CC '18: "PAYJIT: Space-Optimal JIT ..."
PAYJIT: Space-Optimal JIT Compilation and Its Practical Implementation
Jacob Brock, Chen Ding, Xiaoran Xu, and Yan Zhang
(University of Rochester, USA; Rice University, USA; Futurewei Technologies, USA)
@InProceedings{CC18p91,
author = {Jacob Brock and Chen Ding and Xiaoran Xu and Yan Zhang},
title = {PAYJIT: Space-Optimal JIT Compilation and Its Practical Implementation},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3178372.3179523},
year = {2018},
}
Publisher's Version
Article: cc18main-p62-p doi:10.1145/3178372.3179523
|
| |
Yoshida, Nobuko
|
CC '18: "A Session Type Provider: Compile-Time ..."
A Session Type Provider: Compile-Time API Generation of Distributed Protocols with Refinements in F#
Rumyana Neykova, Raymond Hu, Nobuko Yoshida, and Fahd Abdeljallal
(Imperial College London, UK)
@InProceedings{CC18p148,
author = {Rumyana Neykova and Raymond Hu and Nobuko Yoshida and Fahd Abdeljallal},
title = {A Session Type Provider: Compile-Time API Generation of Distributed Protocols with Refinements in F#},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {148-147},
doi = {10.1145/3178372.3179495},
year = {2018},
}
Publisher's Version
Article: cc18main-p15-p doi:10.1145/3178372.3179495
|
| |
Zarifi, Ramin
|
CC '18: "Tail Call Elimination and ..."
Tail Call Elimination and Data Representation for Functional Languages on the Java Virtual Machine
Magnus Madsen, Ramin Zarifi, and Ondřej Lhoták
(Aalborg University, Denmark; University of Waterloo, Canada)
@InProceedings{CC18p159,
author = {Magnus Madsen and Ramin Zarifi and Ondřej Lhoták},
title = {Tail Call Elimination and Data Representation for Functional Languages on the Java Virtual Machine},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {159-158},
doi = {10.1145/3178372.3179499},
year = {2018},
}
Publisher's Version
Article: cc18main-p18-p doi:10.1145/3178372.3179499
|
| |
Zhang, Yan |
CC '18: "PAYJIT: Space-Optimal JIT ..."
PAYJIT: Space-Optimal JIT Compilation and Its Practical Implementation
Jacob Brock, Chen Ding, Xiaoran Xu, and Yan Zhang
(University of Rochester, USA; Rice University, USA; Futurewei Technologies, USA)
@InProceedings{CC18p91,
author = {Jacob Brock and Chen Ding and Xiaoran Xu and Yan Zhang},
title = {PAYJIT: Space-Optimal JIT Compilation and Its Practical Implementation},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3178372.3179523},
year = {2018},
}
Publisher's Version
Article: cc18main-p62-p doi:10.1145/3178372.3179523
|
| |
Zhao, Jie |
CC '18: "A Polyhedral Compilation Framework ..."
A Polyhedral Compilation Framework for Loops with Dynamic Data-Dependent Bounds
Jie Zhao, Michael Kruse, and Albert Cohen
(Inria, France; ENS, France)
@InProceedings{CC18p34,
author = {Jie Zhao and Michael Kruse and Albert Cohen},
title = {A Polyhedral Compilation Framework for Loops with Dynamic Data-Dependent Bounds},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {34-33},
doi = {10.1145/3178372.3179509},
year = {2018},
}
Publisher's Version
Article: cc18main-p32-p doi:10.1145/3178372.3179509
|
| |
Zhao, Jisheng |
CC '18: "Parallel Sparse Flow-Sensitive ..."
Parallel Sparse Flow-Sensitive Points-to Analysis
Jisheng Zhao, Michael G. Burke, and Vivek Sarkar
(Rice University, USA)
@InProceedings{CC18p79,
author = {Jisheng Zhao and Michael G. Burke and Vivek Sarkar},
title = {Parallel Sparse Flow-Sensitive Points-to Analysis},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {79-78},
doi = {10.1145/3178372.3179517},
year = {2018},
}
Publisher's Version
Article: cc18main-p50-p doi:10.1145/3178372.3179517
|
| |
Zinenko, Oleksandr |
CC '18: "Modeling the Conflicting Demands ..."
Modeling the Conflicting Demands of Parallelism and Temporal/Spatial Locality in Affine Scheduling
Oleksandr Zinenko, Sven Verdoolaege, Chandan Reddy, Jun Shirako, Tobias Grosser, Vivek Sarkar, and Albert Cohen
(Inria, France; ENS, France; KU Leuven, Belgium; Polly Labs, Belgium; Georgia Tech, USA; ETH Zurich, Switzerland)
@InProceedings{CC18p23,
author = {Oleksandr Zinenko and Sven Verdoolaege and Chandan Reddy and Jun Shirako and Tobias Grosser and Vivek Sarkar and Albert Cohen},
title = {Modeling the Conflicting Demands of Parallelism and Temporal/Spatial Locality in Affine Scheduling},
booktitle = {Proc.\ CC},
publisher = {ACM},
pages = {23-22},
doi = {10.1145/3178372.3179507},
year = {2018},
}
Publisher's Version
Article: cc18main-p24-p doi:10.1145/3178372.3179507
|