Louis Mandel (@reactiveml) profile picture

Louis Mandel

@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
Photo by Louis Mandel (@reactiveml)Photo by Louis Mandel (@reactiveml)Photo by Louis Mandel (@reactiveml)Photo by Louis Mandel (@reactiveml)Photo by Louis Mandel (@reactiveml)Photo by Louis Mandel (@reactiveml)
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…
Image from SPLASH Conference (@splashcon)
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
Louis Mandel retweeted
Pyro (@PyroAi) profile picture
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

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 (@probprog) profile picture
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
Image from SPLASH Conference (@splashcon)
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

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

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
Image from Marc-André Giroux (@__xuorig__)
5
1
10
Louis Mandel retweeted
JamieDavis (@TheDavisJam) profile picture
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…
1
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 (@ReblsW) profile picture
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
Very happy that our paper "A Principled Approach to GraphQL Query Cost Analysis" got accepted @FSEconf last week. This is shared work with Alan Cha, @gllmbdrt, @TheDavisJam, @laredoj, and @reactiveml. 🎉
4
8
1
44
Louis Mandel retweeted
Zay (@ZaynahNicolas) profile picture
Zay@ZaynahNicolas25 Nov 2019
#JFLA20 venez participer aux JFLA 2020! Programme invité, articles sélectionnés et inscriptions sur : jfla.inria.fr/jfla2020.html Avec le soutien de : @LabosNomades @CEA_List @OCamlPro @IRIF_Paris @tweagio @tarides_ @GdrGPL @OCamlFoundation
9
15
Louis Mandel retweeted
Erik Wittern (@erikwittern) profile picture
Erik Wittern@erikwittern5 Feb 2019
"GraphQL API Management" New post about our ongoing work in the @IBMResearch blog: ibm.com/blogs/research/2019/… We will show a demo at #Think2019 next week: myibm.ibm.com/events/think/a…. #GraphQL #API
Image from Erik Wittern (@erikwittern)
1
6
14
Load more