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 | 235 | 2011 |
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 | 51 | 2017 |
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 | 49 | 2012 |
PICOBIT: a compact scheme system for microcontrollers V St-Amour, M Feeley International Symposium on Implementation and Application of Functional …, 2009 | 33 | 2009 |
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 | 32 | 2018 |
Typing the Numeric Tower V St-Amour, S Tobin-Hochstadt, M Flatt, M Felleisen Practical Aspects of Declarative Languages, 298-303, 2012 | 29 | 2012 |
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 | 22 | 2018 |
Experience Report: Applying Random Testing to a Base Type Environment V St-Amour, N Toronto ICFP, 2013 | 21 | 2013 |
Feature-specific profiling V St-Amour, L Andersen, M Felleisen International Conference on Compiler Construction, 49-68, 2015 | 20 | 2015 |
Optimization Coaching for JavaScript V St-Amour, S Guo Proc. European Conf. on Object-Oriented Programming, 2015 | 17 | 2015 |
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 | 12 | 2018 |
The typed racket guide S Tobin-Hochstadt, V St-Amour, E Dobson, A Takikawa | 12 | 2014 |
Profile-Guided Meta-Programming WJ Bowman, S Miller, V St-Amour, RK Dybvig PLDI, 2015 | 11 | 2015 |
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 | 7 | 2012 |
Languages the Racket Way D Feltey, SP Florence, T Knutson, V St-Amour, R Culpepper, M Flatt, ... Language Workbench Challenge, 2016 | 6 | 2016 |
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 | 3 | 2018 |
S3: the Small Scheme Stack A Scheme TCP/IP Stack Targeting Small Embedded Applications V St-Amour | 3 | 2008 |
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 | 2 | 2017 |
How to Generate Actionable Advice about Performance Problems V St-Amour Northeastern University, 2015 | 2 | 2015 |
The Typed Racket Reference S Tobin-Hochstadt, V St-Amour, E Dobson | 2 | 2014 |