@reactiveml

Research staff member @IBMResearch. Maître de conférences @u_psud. NYC. Sometimes Paris. Tweets are my own.

Joined March 2012
  • Tweets36
  • Following121
  • Followers56
7Media
The video of the @ReblsW at @splashcon 2021 is now available. youtu.be/m07S0UuoMc4

REBLS 2021 - Full Workshop

00:00 - Keynote, Introduction04:03 - Specification and End-to-End ...

youtube.com
2
The @ReblsW proceedings are available 😀 doi.org/10.1145/3486605 See you at @splashcon in person or virtually

Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and...

dl.acm.org
1
1
Timothy Bourke will talk about Specification and End-to-End Proof of a Reactive Language and its Compiler at REBLS 2021. Register and join #SPLASH2021 and REBLS: 2021.splashcon.org/attending… More info: 2021.splashcon.org/details/r…
1
4
The program is ready for another great (8th!) edition of the REBLS Workshop @splashcon! @wdmeuter @EugsterPatrick @ReblsW 2021.splashcon.org/home/rebl…
7
11
The Reactive and Event-Based Languages and Systems workshop paper deadline is coming soon! @ReblsW @splashcon 2021.splashcon.org/home/rebl…
1
2
ReactiveML source code is now available in GitHub! #OCaml github.com/reactiveml/rml

GitHub - reactiveml/rml: ReactiveML: a programming language for implementing interactive systems.

ReactiveML: a programming language for implementing interactive systems. - reactiveml/rml

github.com
2
1
9
Do you know any REBLS? If you work on Reactive or Event-Based Languages or Systems, consider submitting a paper to @ReblsW a @splashcon workshop. Deadline Aug. 15. 2021.splashcon.org/home/rebl…
1
The preprint of our @PLDI paper "Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming" is available. The associated compiler from @mcmc_stan to @PyroAi and NumPyro too! arxiv.org/abs/1810.00873 github.com/deepppl

Compiling Stan to Generative Probabilistic Languages and Extension...

Stan is a probabilistic programming language that is popular in the statistics community, with a high-level syntax for expressing probabilistic models. Stan differs by nature from generative...

arxiv.org
1
2
17
This is joint work with @gllmbdrt, @JavierBurroni, Martin Hirzel, and Avi Shinnar as part of @MITIBMLab project.
1
4
Louis Mandel retweeted
Pyro@PyroAi4 Mar 2021
Pyro 1.6 is released: Update to PyTorch 1.8; stronger model validation; masked conditioning; new tutorials, distributions, reparametrizer, constraints; major shape fixes to distributions. Autonaming & parallel-scan enumeration for SVI by @ordabayevy. github.com/pyro-ppl/pyro/rel…

Release 1.6.0 · pyro-ppl/pyro

Breaking changes Update to PyTorch 1.8 release (required). Enable validation by default #2701. To disable globally call pyro.enable_validation(False); or disable locally to one distribution via e....

github.com
12
31
Louis Mandel retweeted
PROBPROG 2021@probprog28 Feb 2021
PROBPROG 2021 will take place online on Wed Oct 20 – Fri Oct 22 this year. The deadline for extended abstracts and syndicated submissions is Thu May 6 AOE. See probprog.cc for information and submission instructions!
13
29
Call For Papers for OOPSLA 2021 is out! Deadline for the first round is on April 16, 2021. Check out the website for more details: 2021.splashcon.org/track/spl… #softwareDevelopment #modeling #design #implementation #verification #testing #evaluation #Frontend #runtimeSystems
11
14
The preprint of our @FSEconf paper "A Principled Approach to GraphQL Query Cost Analysis" is now available: arxiv.org/abs/2009.05632 And I am delighted to share that it received an ACM Distinguished Paper Award 🏆 I am talking about it at 12 pm PST on twitch.tv/graphqlfm

A Principled Approach to GraphQL Query Cost Analysis

The landscape of web APIs is evolving to meet new client requirements and to facilitate how providers fulfill them. A recent web API model is GraphQL, which is both a query language and a runtime....

arxiv.org
2
7
We present a static cost analysis for #GraphQL queries, and apply it to the public APIs of GitHub and Yelp. We show that our approach always produces upper cost bounds, and that our bounds are tighter than in existing work (scientific/open-source). Will share a preprint shortly.
2
2
6
The preprint is now available at arxiv.org/abs/2009.05632

A Principled Approach to GraphQL Query Cost Analysis

The landscape of web APIs is evolving to meet new client requirements and to facilitate how providers fulfill them. A recent web API model is GraphQL, which is both a query language and a runtime....

arxiv.org
1
3
Tuesday at 12PM PST, @tonyghita and I are chatting with @erikwittern from IBM about GraphQL research! 🤓 We'll talk about their recent paper called "A Principled Approach to GraphQL Query Cost Analysis", generating GraphQL from OpenAPI, and more! 👉 twitch.tv/graphqlfm
5
1
10
Louis Mandel retweeted
JamieDavis@TheDavisJam10 Sep 2020
GraphQL queries can be expensive. With a bit of formalization, you can estimate their cost. (ESEC/FSE'20 🏆) Abridged blog post: tinyurl.com/y99tqxrs Preprint: tinyurl.com/y2qfm9nf Always great to work with: @erikwittern @gllmbdrt @reactiveml @TheRealAlanCha @laredoj
9
22
Delighted to see the post "GraphQL Query Generator by IBM" by @TomPoniat on HN - especially since Tomek is another MtG aficionado! Check it out at blog.graphqleditor.com/graph… Or find our library at github.com/ibm/graphql-query…
2
1
7
Que diriez-vous de parler "langages applicatifs" bien au chaud dans le Périgord début février 2021? Pas de doute, il n'y a aucune raison de ne pas soumettre aux JFLAs! Deadline : 1er octobre. jfla.inria.fr/jfla2021.html
7
13
Louis Mandel retweeted
REBLS Workshop@ReblsW10 Jul 2020
The submission website for REBLS @splashcon is now open. rebls20.hotcrp.com/ #reactive #reactiveprogramming #eventbasedprogramming #frp #functionalreactiveprogramming #research
1
3
3
Load more