Louis Mandel

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

[Louis Mandel @reactiveml]

The video of the @ReblsW at @splashcon 2021 is now available. https://t.co/Ze0YH8S7EI

[Louis Mandel @reactiveml]

The @ReblsW proceedings are available 😀 https://t.co/8DCaLgCFAL
See you at @splashcon in person or virtually

[SPLASH Conference @splashcon]

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: https://t.co/W9n9bZhfe6

More info: https://t.co/xLwp5CwiHt

[Guido Salvaneschi @guidosalva]

The program is ready for another great (8th!) edition of the REBLS Workshop @splashcon! @wdmeuter @EugsterPatrick @ReblsW

https://t.co/g6xp1Mh5lW

[Louis Mandel @reactiveml]

The Reactive and Event-Based Languages and Systems workshop paper deadline is coming soon!
@ReblsW @splashcon
https://t.co/eB4l0fQrvo

[Louis Mandel @reactiveml]

ReactiveML source code is now available in GitHub! #OCaml
https://t.co/BJi033ZXLg

[Louis Mandel @reactiveml]

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.
https://t.co/R6UhKbMRfN

[Louis Mandel @reactiveml]

This is joint work with @gllmbdrt, @JavierBurroni, Martin Hirzel, and Avi Shinnar as part of @MITIBMLab project.

[Louis Mandel @reactiveml]

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!
https://t.co/bAAfssAWmx
https://t.co/UeSLaUm0jz

[Pyro @PyroAi]

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.
https://t.co/NozHHNFMi4

[PROBPROG 2021 @probprog]

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 https://t.co/fdlvpQFLD8 for information and submission instructions!

[SPLASH Conference @splashcon]

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:
https://t.co/tuxWdPjtrm

#softwareDevelopment #modeling #design #implementation #verification #testing #evaluation #Frontend
#runtimeSystems

[Erik Wittern @erikwittern]

The preprint of our @FSEconf paper "A Principled Approach to GraphQL Query Cost Analysis" is now available: https://t.co/PBIvn99WfI

And I am delighted to share that it received an ACM Distinguished Paper Award 🏆

I am talking about it at 12 pm PST on https://t.co/WMYE2ZV3Mr

[Erik Wittern @erikwittern]

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.

[Erik Wittern @erikwittern]

The preprint is now available at https://t.co/PBIvn99WfI

[Marc-André Giroux @__xuorig__]

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!

👉 https://t.co/DB2PUnZm4q

[JamieDavis @TheDavisJam]

GraphQL queries can be expensive. With a bit of formalization, you can estimate their cost. (ESEC/FSE'20 🏆)

Abridged blog post: https://t.co/lg3l1qKJEI
Preprint: https://t.co/89qLXEQEc0
Always great to work with: @erikwittern @gllmbdrt @reactiveml @TheRealAlanCha @laredoj

[Erik Wittern @erikwittern]

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 https://t.co/LgYMacdCMm Or find our library at https://t.co/3zctSMeHOG

[Yann Régis-Gianas @yurug]

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. https://t.co/b7bNFraZic

[REBLS Workshop @ReblsW]

The submission website for REBLS @splashcon is now open.

https://t.co/1F9cg5iinH

#reactive #reactiveprogramming #eventbasedprogramming #frp #functionalreactiveprogramming #research