Suivre
Vincent St-Amour
Vincent St-Amour
Adresse e-mail validée de eecs.northwestern.edu
Titre
Citée par
Citée par
Année
Languages as libraries
S Tobin-Hochstadt, V St-Amour, R Culpepper, M Flatt, M Felleisen
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
2342011
Migratory typing: Ten years later
S Tobin-Hochstadt, M Felleisen, R Findler, M Flatt, B Greenman, AM Kent, ...
2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017
502017
Optimization coaching: optimizers learn to communicate with programmers
V St-Amour, S Tobin-Hochstadt, M Felleisen
Proceedings of the ACM international conference on Object oriented …, 2012
492012
PICOBIT: a compact scheme system for microcontrollers
V St-Amour, M Feeley
International Symposium on Implementation and Application of Functional …, 2009
332009
Collapsible contracts: Fixing a pathology of gradual typing
D Feltey, B Greenman, C Scholliers, RB Findler, V St-Amour
Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-27, 2018
322018
Typing the Numeric Tower
V St-Amour, S Tobin-Hochstadt, M Flatt, M Felleisen
Practical Aspects of Declarative Languages, 298-303, 2012
292012
Unconventional parallelization of nondeterministic applications
EA Deiana, V St-Amour, PA Dinda, N Hardavellas, S Campanoni
Proceedings of the Twenty-Third International Conference on Architectural …, 2018
212018
Experience Report: Applying Random Testing to a Base Type Environment
V St-Amour, N Toronto
ICFP, 2013
212013
Feature-specific profiling
V St-Amour, L Andersen, M Felleisen
International Conference on Compiler Construction, 49-68, 2015
202015
Optimization Coaching for JavaScript
V St-Amour, S Guo
Proc. European Conf. on Object-Oriented Programming, 2015
172015
Feature-specific profiling
L Andersen, V St-Amour, J Vitek, M Felleisen
ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (1), 1-34, 2018
122018
Profile-Guided Meta-Programming
WJ Bowman, S Miller, V St-Amour, RK Dybvig
PLDI, 2015
112015
The typed racket guide
S Tobin-Hochstadt, V St-Amour, E Dobson, A Takikawa
112014
Seeing the futures: Profiling shared-memory parallel Racket
J Swaine, B Fetscher, V St-Amour, RB Findler, M Flatt
Proceedings of the 1st ACM SIGPLAN Workshop on Functional High-performance …, 2012
72012
Languages the Racket Way
D Feltey, SP Florence, T Knutson, V St-Amour, R Culpepper, M Flatt, ...
Language Workbench Challenge, 2016
62016
POP-PL: a patient-oriented prescription programming language
SP Florence, B Fetscher, M Flatt, WH Temps, V St-Amour, T Kiguradze, ...
ACM Transactions on Programming Languages and Systems (TOPLAS) 40 (3), 1-37, 2018
32018
S3: the Small Scheme Stack A Scheme TCP/IP Stack Targeting Small Embedded Applications
V St-Amour
32008
POSTER: the liberation day of nondeterministic programs
EA Deiana, V St-Amour, P Dinda, N Hardavellas, S Campanoni
2017 26th International Conference on Parallel Architectures and Compilation …, 2017
22017
How to Generate Actionable Advice about Performance Problems
V St-Amour
Northeastern University, 2015
22015
The Typed Racket Reference
S Tobin-Hochstadt, V St-Amour, E Dobson
22014
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20