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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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