REBLS '21: "Specification and End-to-End ..."
Specification and End-to-End Proof of a Reactive Language and Its Compiler (Invited Talk)
Timothy Bourke
(Inria, France; ENS, France; PSL University, France)
@InProceedings{REBLS21p1,
author = {Timothy Bourke},
title = {Specification and End-to-End Proof of a Reactive Language and Its Compiler (Invited Talk)},
booktitle = {Proc.\ REBLS},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3486605.3487187},
year = {2021},
}
Publisher's Version
REBLS '21: "Poker: Visual Instrumentation ..."
Poker: Visual Instrumentation of Reactive Programs with Programmable Probes
Cloé Descheemaeker, Sam Van den Vonder, Thierry Renaux, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
@InProceedings{REBLS21p33,
author = {Cloé Descheemaeker and Sam Van den Vonder and Thierry Renaux and Wolfgang De Meuter},
title = {Poker: Visual Instrumentation of Reactive Programs with Programmable Probes},
booktitle = {Proc.\ REBLS},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3486605.3486785},
year = {2021},
}
Publisher's Version
REBLS '21: "Trampoline Variables: A General ..."
Trampoline Variables: A General Method for State Accumulation in Reactive Programming
Bjarno Oeyen, Sam Van den Vonder, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
@InProceedings{REBLS21p49,
author = {Bjarno Oeyen and Sam Van den Vonder and Wolfgang De Meuter},
title = {Trampoline Variables: A General Method for State Accumulation in Reactive Programming},
booktitle = {Proc.\ REBLS},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3486605.3486787},
year = {2021},
}
Publisher's Version
REBLS '21: "Poker: Visual Instrumentation ..."
Poker: Visual Instrumentation of Reactive Programs with Programmable Probes
Cloé Descheemaeker, Sam Van den Vonder, Thierry Renaux, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
@InProceedings{REBLS21p33,
author = {Cloé Descheemaeker and Sam Van den Vonder and Thierry Renaux and Wolfgang De Meuter},
title = {Poker: Visual Instrumentation of Reactive Programs with Programmable Probes},
booktitle = {Proc.\ REBLS},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3486605.3486785},
year = {2021},
}
Publisher's Version
REBLS '21: "Analysing the Performance ..."
Analysing the Performance and Costs of Reactive Programming Libraries in Java
Julien Ponge, Arthur Navarro, Clément Escoffier, and Frédéric Le Mouël
(Red Hat, France; University of Lyon, France; INSA Lyon, France; Inria, France; CITI, France)
@InProceedings{REBLS21p81,
author = {Julien Ponge and Arthur Navarro and Clément Escoffier and Frédéric Le Mouël},
title = {Analysing the Performance and Costs of Reactive Programming Libraries in Java},
booktitle = {Proc.\ REBLS},
publisher = {ACM},
pages = {81-80},
doi = {10.1145/3486605.3486788},
year = {2021},
}
Publisher's Version
REBLS '21: "Dyninka: A FaaS Framework ..."
Dyninka: A FaaS Framework for Distributed Dataflow Applications
Patrik Fortier, Frédéric Le Mouël, and Julien Ponge
(University of Lyon, France; INSA Lyon, France; Inria, France; CITI, France; Red Hat, France)
@InProceedings{REBLS21p17,
author = {Patrik Fortier and Frédéric Le Mouël and Julien Ponge},
title = {Dyninka: A FaaS Framework for Distributed Dataflow Applications},
booktitle = {Proc.\ REBLS},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3486605.3486789},
year = {2021},
}
Publisher's Version
REBLS '21: "Dyninka: A FaaS Framework ..."
Dyninka: A FaaS Framework for Distributed Dataflow Applications
Patrik Fortier, Frédéric Le Mouël, and Julien Ponge
(University of Lyon, France; INSA Lyon, France; Inria, France; CITI, France; Red Hat, France)
@InProceedings{REBLS21p17,
author = {Patrik Fortier and Frédéric Le Mouël and Julien Ponge},
title = {Dyninka: A FaaS Framework for Distributed Dataflow Applications},
booktitle = {Proc.\ REBLS},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3486605.3486789},
year = {2021},
}
Publisher's Version
REBLS '21: "Analysing the Performance ..."
Analysing the Performance and Costs of Reactive Programming Libraries in Java
Julien Ponge, Arthur Navarro, Clément Escoffier, and Frédéric Le Mouël
(Red Hat, France; University of Lyon, France; INSA Lyon, France; Inria, France; CITI, France)
@InProceedings{REBLS21p81,
author = {Julien Ponge and Arthur Navarro and Clément Escoffier and Frédéric Le Mouël},
title = {Analysing the Performance and Costs of Reactive Programming Libraries in Java},
booktitle = {Proc.\ REBLS},
publisher = {ACM},
pages = {81-80},
doi = {10.1145/3486605.3486788},
year = {2021},
}
Publisher's Version
REBLS '21: "Analysing the Performance ..."
Analysing the Performance and Costs of Reactive Programming Libraries in Java
Julien Ponge, Arthur Navarro, Clément Escoffier, and Frédéric Le Mouël
(Red Hat, France; University of Lyon, France; INSA Lyon, France; Inria, France; CITI, France)
@InProceedings{REBLS21p81,
author = {Julien Ponge and Arthur Navarro and Clément Escoffier and Frédéric Le Mouël},
title = {Analysing the Performance and Costs of Reactive Programming Libraries in Java},
booktitle = {Proc.\ REBLS},
publisher = {ACM},
pages = {81-80},
doi = {10.1145/3486605.3486788},
year = {2021},
}
Publisher's Version
REBLS '21: "Trampoline Variables: A General ..."
Trampoline Variables: A General Method for State Accumulation in Reactive Programming
Bjarno Oeyen, Sam Van den Vonder, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
@InProceedings{REBLS21p49,
author = {Bjarno Oeyen and Sam Van den Vonder and Wolfgang De Meuter},
title = {Trampoline Variables: A General Method for State Accumulation in Reactive Programming},
booktitle = {Proc.\ REBLS},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3486605.3486787},
year = {2021},
}
Publisher's Version
REBLS '21: "Dyninka: A FaaS Framework ..."
Dyninka: A FaaS Framework for Distributed Dataflow Applications
Patrik Fortier, Frédéric Le Mouël, and Julien Ponge
(University of Lyon, France; INSA Lyon, France; Inria, France; CITI, France; Red Hat, France)
@InProceedings{REBLS21p17,
author = {Patrik Fortier and Frédéric Le Mouël and Julien Ponge},
title = {Dyninka: A FaaS Framework for Distributed Dataflow Applications},
booktitle = {Proc.\ REBLS},
publisher = {ACM},
pages = {17-16},
doi = {10.1145/3486605.3486789},
year = {2021},
}
Publisher's Version
REBLS '21: "Analysing the Performance ..."
Analysing the Performance and Costs of Reactive Programming Libraries in Java
Julien Ponge, Arthur Navarro, Clément Escoffier, and Frédéric Le Mouël
(Red Hat, France; University of Lyon, France; INSA Lyon, France; Inria, France; CITI, France)
@InProceedings{REBLS21p81,
author = {Julien Ponge and Arthur Navarro and Clément Escoffier and Frédéric Le Mouël},
title = {Analysing the Performance and Costs of Reactive Programming Libraries in Java},
booktitle = {Proc.\ REBLS},
publisher = {ACM},
pages = {81-80},
doi = {10.1145/3486605.3486788},
year = {2021},
}
Publisher's Version
REBLS '21: "Poker: Visual Instrumentation ..."
Poker: Visual Instrumentation of Reactive Programs with Programmable Probes
Cloé Descheemaeker, Sam Van den Vonder, Thierry Renaux, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
@InProceedings{REBLS21p33,
author = {Cloé Descheemaeker and Sam Van den Vonder and Thierry Renaux and Wolfgang De Meuter},
title = {Poker: Visual Instrumentation of Reactive Programs with Programmable Probes},
booktitle = {Proc.\ REBLS},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3486605.3486785},
year = {2021},
}
Publisher's Version
REBLS '21: "Symmetric Distributed Applications ..."
Symmetric Distributed Applications
Francisco Sant'Anna, Rodrigo Santos, and Noemi Rodriguez
(Rio de Janeiro State University, Brazil; Microsoft, Brazil; PUC-Rio, Brazil)
@InProceedings{REBLS21p65,
author = {Francisco Sant'Anna and Rodrigo Santos and Noemi Rodriguez},
title = {Symmetric Distributed Applications},
booktitle = {Proc.\ REBLS},
publisher = {ACM},
pages = {65-64},
doi = {10.1145/3486605.3486786},
year = {2021},
}
Publisher's Version
REBLS '21: "Symmetric Distributed Applications ..."
Symmetric Distributed Applications
Francisco Sant'Anna, Rodrigo Santos, and Noemi Rodriguez
(Rio de Janeiro State University, Brazil; Microsoft, Brazil; PUC-Rio, Brazil)
@InProceedings{REBLS21p65,
author = {Francisco Sant'Anna and Rodrigo Santos and Noemi Rodriguez},
title = {Symmetric Distributed Applications},
booktitle = {Proc.\ REBLS},
publisher = {ACM},
pages = {65-64},
doi = {10.1145/3486605.3486786},
year = {2021},
}
Publisher's Version
REBLS '21: "Symmetric Distributed Applications ..."
Symmetric Distributed Applications
Francisco Sant'Anna, Rodrigo Santos, and Noemi Rodriguez
(Rio de Janeiro State University, Brazil; Microsoft, Brazil; PUC-Rio, Brazil)
@InProceedings{REBLS21p65,
author = {Francisco Sant'Anna and Rodrigo Santos and Noemi Rodriguez},
title = {Symmetric Distributed Applications},
booktitle = {Proc.\ REBLS},
publisher = {ACM},
pages = {65-64},
doi = {10.1145/3486605.3486786},
year = {2021},
}
Publisher's Version
REBLS '21: "Poker: Visual Instrumentation ..."
Poker: Visual Instrumentation of Reactive Programs with Programmable Probes
Cloé Descheemaeker, Sam Van den Vonder, Thierry Renaux, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
@InProceedings{REBLS21p33,
author = {Cloé Descheemaeker and Sam Van den Vonder and Thierry Renaux and Wolfgang De Meuter},
title = {Poker: Visual Instrumentation of Reactive Programs with Programmable Probes},
booktitle = {Proc.\ REBLS},
publisher = {ACM},
pages = {33-32},
doi = {10.1145/3486605.3486785},
year = {2021},
}
Publisher's Version
REBLS '21: "Trampoline Variables: A General ..."
Trampoline Variables: A General Method for State Accumulation in Reactive Programming
Bjarno Oeyen, Sam Van den Vonder, and Wolfgang De Meuter
(Vrije Universiteit Brussel, Belgium)
@InProceedings{REBLS21p49,
author = {Bjarno Oeyen and Sam Van den Vonder and Wolfgang De Meuter},
title = {Trampoline Variables: A General Method for State Accumulation in Reactive Programming},
booktitle = {Proc.\ REBLS},
publisher = {ACM},
pages = {49-48},
doi = {10.1145/3486605.3486787},
year = {2021},
}
Publisher's Version