Savary Bélanger, Sophie
24  results:
Search for persons X
?
5

Early Evaluation of Response by Serum Free Light Chain (FLC..:

Savary Bélanger, S. ; Ahmad, I. ; De Guire, V...
Clinical Lymphoma Myeloma and Leukemia.  15 (2015)  - p. e106-e107 , 2015
 
?
6

McLAB : enabling programming language, compiler and soft..:

, In: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion,
Hendren, Laurie ; Doherty, Jesse ; Dubrau, Anton... - p. 195-196 , 2011
 
?
8

KATch: A Fast Symbolic Verifier for NetKAT:

Moeller, Mark ; Jacobs, Jules ; Belanger, Olivier Savary...
Proceedings of the ACM on Programming Languages.  8 (2024)  PLDI - p. 1905-1928 , 2024
 
?
9

Shrink fast correctly!:

, In: Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming,
 
?
10

Automatically Deriving Schematic Theorems for Dynamic Conte..:

, In: Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice,
 
?
11

McLab : an extensible compiler toolkit for MATLAB and re..:

, In: Proceedings of the Third C* Conference on Computer Science and Software Engineering,
Casey, Andrew ; Li, Jun ; Doherty, Jesse... - p. 114-117 , 2010
 
1-15