| |
Bagherzadeh, Mehdi
|
AGERE '17: "Order Types: Static Reasoning ..."
Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency
Mehdi Bagherzadeh and Hridesh Rajan
(Oakland University, USA; Iowa State University, USA)
@InProceedings{AGERE17p21,
author = {Mehdi Bagherzadeh and Hridesh Rajan},
title = {Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3141834.3141837},
year = {2017},
}
 Publisher's Version
Article: splashws17ageremain-p4-p doi:10.1145/3141834.3141837
|
| |
Blessing, Sebastian |
AGERE '17: "Tree Topologies for Causal ..."
Tree Topologies for Causal Message Delivery
Sebastian Blessing, Sylvan Clebsch, and Sophia Drossopoulou
(Imperial College London, UK; Microsoft Research, UK)
@InProceedings{AGERE17p1,
author = {Sebastian Blessing and Sylvan Clebsch and Sophia Drossopoulou},
title = {Tree Topologies for Causal Message Delivery},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3141834.3141835},
year = {2017},
}
Publisher's Version
Article: splashws17ageremain-p2-p doi:10.1145/3141834.3141835
|
| |
Boix, Elisa Gonzalez |
AGERE '17: "A Principled Approach towards ..."
A Principled Approach towards Debugging Communicating Event-Loops
Carmen Torres Lopez, Elisa Gonzalez Boix, Christophe Scholliers, Stefan Marr, and Hanspeter Mössenböck
(Vrije Universiteit Brussel, Belgium; Ghent University, Belgium; JKU Linz, Austria)
@InProceedings{AGERE17p41,
author = {Carmen Torres Lopez and Elisa Gonzalez Boix and Christophe Scholliers and Stefan Marr and Hanspeter Mössenböck},
title = {A Principled Approach towards Debugging Communicating Event-Loops},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3141834.3141839},
year = {2017},
}
Publisher's Version
Article: splashws17ageremain-p6-p doi:10.1145/3141834.3141839
|
| |
Charousset, Dominik
|
AGERE '17: "Locality-Guided Scheduling ..."
Locality-Guided Scheduling in CAF
Sebastian Wölke, Raphael Hiesgen, Dominik Charousset, and Thomas C. Schmidt
(Hamburg University of Applied Sciences, Germany)
@InProceedings{AGERE17p11,
author = {Sebastian Wölke and Raphael Hiesgen and Dominik Charousset and Thomas C. Schmidt},
title = {Locality-Guided Scheduling in CAF},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {11-10},
doi = {10.1145/3141834.3141836},
year = {2017},
}
Publisher's Version
Article: splashws17ageremain-p3-p doi:10.1145/3141834.3141836
|
| |
Clebsch, Sylvan |
AGERE '17: "Tree Topologies for Causal ..."
Tree Topologies for Causal Message Delivery
Sebastian Blessing, Sylvan Clebsch, and Sophia Drossopoulou
(Imperial College London, UK; Microsoft Research, UK)
@InProceedings{AGERE17p1,
author = {Sebastian Blessing and Sylvan Clebsch and Sophia Drossopoulou},
title = {Tree Topologies for Causal Message Delivery},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3141834.3141835},
year = {2017},
}
Publisher's Version
Article: splashws17ageremain-p2-p doi:10.1145/3141834.3141835
|
| |
De Koster, Joeri
|
AGERE '17: "Sparrow: A DSL for Coordinating ..."
Sparrow: A DSL for Coordinating Large Groups of Heterogeneous Actors
Humberto Rodriguez Avila, Joeri De Koster, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
@InProceedings{AGERE17p31,
author = {Humberto Rodriguez Avila and Joeri De Koster and Wolfgang De Meuter},
title = {Sparrow: A DSL for Coordinating Large Groups of Heterogeneous Actors},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3141834.3141838},
year = {2017},
}
Publisher's Version
Article: splashws17ageremain-p5-p doi:10.1145/3141834.3141838
|
| |
De Meuter, Wolfgang |
AGERE '17: "Sparrow: A DSL for Coordinating ..."
Sparrow: A DSL for Coordinating Large Groups of Heterogeneous Actors
Humberto Rodriguez Avila, Joeri De Koster, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
@InProceedings{AGERE17p31,
author = {Humberto Rodriguez Avila and Joeri De Koster and Wolfgang De Meuter},
title = {Sparrow: A DSL for Coordinating Large Groups of Heterogeneous Actors},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3141834.3141838},
year = {2017},
}
Publisher's Version
Article: splashws17ageremain-p5-p doi:10.1145/3141834.3141838
|
| |
Drossopoulou, Sophia |
AGERE '17: "Tree Topologies for Causal ..."
Tree Topologies for Causal Message Delivery
Sebastian Blessing, Sylvan Clebsch, and Sophia Drossopoulou
(Imperial College London, UK; Microsoft Research, UK)
@InProceedings{AGERE17p1,
author = {Sebastian Blessing and Sylvan Clebsch and Sophia Drossopoulou},
title = {Tree Topologies for Causal Message Delivery},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3141834.3141835},
year = {2017},
}
Publisher's Version
Article: splashws17ageremain-p2-p doi:10.1145/3141834.3141835
|
| |
Hiesgen, Raphael
|
AGERE '17: "Locality-Guided Scheduling ..."
Locality-Guided Scheduling in CAF
Sebastian Wölke, Raphael Hiesgen, Dominik Charousset, and Thomas C. Schmidt
(Hamburg University of Applied Sciences, Germany)
@InProceedings{AGERE17p11,
author = {Sebastian Wölke and Raphael Hiesgen and Dominik Charousset and Thomas C. Schmidt},
title = {Locality-Guided Scheduling in CAF},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {11-10},
doi = {10.1145/3141834.3141836},
year = {2017},
}
Publisher's Version
Article: splashws17ageremain-p3-p doi:10.1145/3141834.3141836
|
| |
Marr, Stefan
|
AGERE '17: "A Principled Approach towards ..."
A Principled Approach towards Debugging Communicating Event-Loops
Carmen Torres Lopez, Elisa Gonzalez Boix, Christophe Scholliers, Stefan Marr, and Hanspeter Mössenböck
(Vrije Universiteit Brussel, Belgium; Ghent University, Belgium; JKU Linz, Austria)
@InProceedings{AGERE17p41,
author = {Carmen Torres Lopez and Elisa Gonzalez Boix and Christophe Scholliers and Stefan Marr and Hanspeter Mössenböck},
title = {A Principled Approach towards Debugging Communicating Event-Loops},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3141834.3141839},
year = {2017},
}
Publisher's Version
Article: splashws17ageremain-p6-p doi:10.1145/3141834.3141839
|
| |
Mössenböck, Hanspeter |
AGERE '17: "A Principled Approach towards ..."
A Principled Approach towards Debugging Communicating Event-Loops
Carmen Torres Lopez, Elisa Gonzalez Boix, Christophe Scholliers, Stefan Marr, and Hanspeter Mössenböck
(Vrije Universiteit Brussel, Belgium; Ghent University, Belgium; JKU Linz, Austria)
@InProceedings{AGERE17p41,
author = {Carmen Torres Lopez and Elisa Gonzalez Boix and Christophe Scholliers and Stefan Marr and Hanspeter Mössenböck},
title = {A Principled Approach towards Debugging Communicating Event-Loops},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3141834.3141839},
year = {2017},
}
Publisher's Version
Article: splashws17ageremain-p6-p doi:10.1145/3141834.3141839
|
| |
Rajan, Hridesh
|
AGERE '17: "Order Types: Static Reasoning ..."
Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency
Mehdi Bagherzadeh and Hridesh Rajan
(Oakland University, USA; Iowa State University, USA)
@InProceedings{AGERE17p21,
author = {Mehdi Bagherzadeh and Hridesh Rajan},
title = {Order Types: Static Reasoning about Message Races in Asynchronous Message Passing Concurrency},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {21-20},
doi = {10.1145/3141834.3141837},
year = {2017},
}
Publisher's Version
Article: splashws17ageremain-p4-p doi:10.1145/3141834.3141837
|
| |
Rodriguez Avila, Humberto |
AGERE '17: "Sparrow: A DSL for Coordinating ..."
Sparrow: A DSL for Coordinating Large Groups of Heterogeneous Actors
Humberto Rodriguez Avila, Joeri De Koster, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
@InProceedings{AGERE17p31,
author = {Humberto Rodriguez Avila and Joeri De Koster and Wolfgang De Meuter},
title = {Sparrow: A DSL for Coordinating Large Groups of Heterogeneous Actors},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {31-30},
doi = {10.1145/3141834.3141838},
year = {2017},
}
Publisher's Version
Article: splashws17ageremain-p5-p doi:10.1145/3141834.3141838
|
| |
Schmidt, Thomas C.
|
AGERE '17: "Locality-Guided Scheduling ..."
Locality-Guided Scheduling in CAF
Sebastian Wölke, Raphael Hiesgen, Dominik Charousset, and Thomas C. Schmidt
(Hamburg University of Applied Sciences, Germany)
@InProceedings{AGERE17p11,
author = {Sebastian Wölke and Raphael Hiesgen and Dominik Charousset and Thomas C. Schmidt},
title = {Locality-Guided Scheduling in CAF},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {11-10},
doi = {10.1145/3141834.3141836},
year = {2017},
}
Publisher's Version
Article: splashws17ageremain-p3-p doi:10.1145/3141834.3141836
|
| |
Scholliers, Christophe |
AGERE '17: "A Principled Approach towards ..."
A Principled Approach towards Debugging Communicating Event-Loops
Carmen Torres Lopez, Elisa Gonzalez Boix, Christophe Scholliers, Stefan Marr, and Hanspeter Mössenböck
(Vrije Universiteit Brussel, Belgium; Ghent University, Belgium; JKU Linz, Austria)
@InProceedings{AGERE17p41,
author = {Carmen Torres Lopez and Elisa Gonzalez Boix and Christophe Scholliers and Stefan Marr and Hanspeter Mössenböck},
title = {A Principled Approach towards Debugging Communicating Event-Loops},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3141834.3141839},
year = {2017},
}
Publisher's Version
Article: splashws17ageremain-p6-p doi:10.1145/3141834.3141839
|
| |
Shibanai, Kazuhiro |
AGERE '17: "Actoverse: A Reversible Debugger ..."
Actoverse: A Reversible Debugger for Actors
Kazuhiro Shibanai and Takuo Watanabe
(Tokyo Institute of Technology, Japan)
@InProceedings{AGERE17p51,
author = {Kazuhiro Shibanai and Takuo Watanabe},
title = {Actoverse: A Reversible Debugger for Actors},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3141834.3141840},
year = {2017},
}
Publisher's Version
Article: splashws17ageremain-p10-p doi:10.1145/3141834.3141840
|
| |
Torres Lopez, Carmen
|
AGERE '17: "A Principled Approach towards ..."
A Principled Approach towards Debugging Communicating Event-Loops
Carmen Torres Lopez, Elisa Gonzalez Boix, Christophe Scholliers, Stefan Marr, and Hanspeter Mössenböck
(Vrije Universiteit Brussel, Belgium; Ghent University, Belgium; JKU Linz, Austria)
@InProceedings{AGERE17p41,
author = {Carmen Torres Lopez and Elisa Gonzalez Boix and Christophe Scholliers and Stefan Marr and Hanspeter Mössenböck},
title = {A Principled Approach towards Debugging Communicating Event-Loops},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {41-40},
doi = {10.1145/3141834.3141839},
year = {2017},
}
Publisher's Version
Article: splashws17ageremain-p6-p doi:10.1145/3141834.3141839
|
| |
Watanabe, Takuo
|
AGERE '17: "Actoverse: A Reversible Debugger ..."
Actoverse: A Reversible Debugger for Actors
Kazuhiro Shibanai and Takuo Watanabe
(Tokyo Institute of Technology, Japan)
@InProceedings{AGERE17p51,
author = {Kazuhiro Shibanai and Takuo Watanabe},
title = {Actoverse: A Reversible Debugger for Actors},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {51-50},
doi = {10.1145/3141834.3141840},
year = {2017},
}
Publisher's Version
Article: splashws17ageremain-p10-p doi:10.1145/3141834.3141840
|
| |
Wölke, Sebastian |
AGERE '17: "Locality-Guided Scheduling ..."
Locality-Guided Scheduling in CAF
Sebastian Wölke, Raphael Hiesgen, Dominik Charousset, and Thomas C. Schmidt
(Hamburg University of Applied Sciences, Germany)
@InProceedings{AGERE17p11,
author = {Sebastian Wölke and Raphael Hiesgen and Dominik Charousset and Thomas C. Schmidt},
title = {Locality-Guided Scheduling in CAF},
booktitle = {Proc.\ AGERE},
publisher = {ACM},
pages = {11-10},
doi = {10.1145/3141834.3141836},
year = {2017},
}
Publisher's Version
Article: splashws17ageremain-p3-p doi:10.1145/3141834.3141836
|