I agree that this site is using cookies. You can find further informations here.
X
Baudart, Guillaume
112  results:
Search for persons X
?
1

Principled and practical static analysis for Python: Weakes..:

Rak‐amnouykit, Ingkarat ; Milanova, Ana ; Baudart, Guillaume..
Software: Practice and Experience.  54 (2023)  3 - p. 363-393 , 2023
Link: https://doi.org/10.1002/..
 
?
2

JAX based parallel inference for reactive probabilistic pro..:

, In: Proceedings of the 23rd ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems,
Baudart, Guillaume ; Mandel, Louis ; Tekin, Reyyan - p. 26-36 , 2022
Link: https://dl.acm.org/doi/1..
 
?
3

The raise of machine learning hyperparameter constraints in..:

, In: Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis,
Rak-amnouykit, Ingkarat ; Milanova, Ana ; Baudart, Guillaume.. - p. 580-592 , 2022
Link: https://dl.acm.org/doi/1..
 
?
4

Semi-symbolic inference for efficient streaming probabilist..:

Atkinson, Eric ; Yuan, Charles ; Baudart, Guillaume..
Proceedings of the ACM on Programming Languages.  6 (2022)  OOPSLA2 - p. 1668-1696 , 2022
Link: https://doi.org/10.1145/..
 
?
5

Statically bounded-memory delayed sampling for probabilisti..:

Atkinson, Eric ; Baudart, Guillaume ; Mandel, Louis..
Proceedings of the ACM on Programming Languages.  5 (2021)  OOPSLA - p. 1-28 , 2021
Link: https://dl.acm.org/doi/1..
 
?
6

Learning GraphQL query cost:

, In: Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering,
Mavroudeas, Georgios ; Baudart, Guillaume ; Cha, Alan... - p. 1146-1150 , 2021
Link: https://dl.acm.org/doi/1..
 
?
7

Compiling Stan to generative probabilistic languages and ex..:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Baudart, Guillaume ; Burroni, Javier ; Hirzel, Martin.. - p. 497-510 , 2021
Link: https://dl.acm.org/doi/1..
 
?
8

Statically bounded-memory delayed sampling for probabilisti..:

Atkinson, Eric ; Baudart, Guillaume ; Mandel, Louis..
Proceedings of the ACM on Programming Languages.  5 (2021)  OOPSLA - p. 1-28 , 2021
Link: https://doi.org/10.1145/..
 
?
9

A principled approach to GraphQL query cost analysis:

, In: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Cha, Alan ; Wittern, Erik ; Baudart, Guillaume... - p. 257-268 , 2020
Link: https://dl.acm.org/doi/1..
 
?
10

Reactive probabilistic programming:

, In: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation,
Baudart, Guillaume ; Mandel, Louis ; Atkinson, Eric... - p. 898-912 , 2020
Link: https://dl.acm.org/doi/1..
 
?
11

An Empirical Study of GraphQL Schemas:

, In: Service-Oriented Computing; Lecture Notes in Computer Science,
Wittern, Erik ; Cha, Alan ; Davis, James C... - p. 3-19 , 2019
Link: https://doi.org/10.1007/..
 
?
12

Machine learning in Python with no strings attached:

, In: Proceedings of the 3rd ACM SIGPLAN International Workshop on Machine Learning and Programming Languages,
Baudart, Guillaume ; Hirzel, Martin ; Kate, Kiran.. - p. 1-9 , 2019
Link: https://dl.acm.org/doi/1..
 
?
13

Protecting chatbots from toxic content:

, In: Proceedings of the 2018 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software,
Baudart, Guillaume ; Dolby, Julian ; Duesterwald, Evelyn.. - p. 99-110 , 2018
Link: https://dl.acm.org/doi/1..
 
?
14

Symbolic Simulation of Dataflow Synchronous Programs with T..:

, In: Lecture Notes in Electrical Engineering; Languages, Design Methods, and Tools for Electronic System Design,
Baudart, Guillaume ; Bourke, Timothy ; Pouzet, Marc - p. 45-70 , 2018
Link: https://doi.org/10.1007/..
 
?
15

Reactive chatbot programming:

, In: Proceedings of the 5th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems,
Baudart, Guillaume ; Hirzel, Martin ; Mandel, Louis.. - p. 21-30 , 2018
Link: https://dl.acm.org/doi/1..
 
1-15