No photo of Vincent St-Amour

View Scopus Profile

Vincent St-Amour

 https://orcid.org/0000-0001-8490-1508
Calculated based on number of publications stored in Pure and citations from Scopus
Calculated based on number of publications stored in Pure and citations from Scopus
20102018

Research activity per year

  • 13 Conference contribution
  • 7 Article

Search results

  • 2018

    Collapsible contracts: Fixing a pathology of gradual typing

    Feltey, D., Greenman, B., Scholliers, C., Findler, R. B. & St-Amour, V., Nov 2018, In: Proceedings of the ACM on Programming Languages. 2, OOPSLA, 133.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    21 Scopus citations

  • Feature-specific profiling

    Andersen, L., St Amour, V., Vitek, J. & Felleisen, M., Dec 2018, In: ACM Transactions on Programming Languages and Systems. 41, 1, a22.

    Research output: Contribution to journal › Article › peer-review

    Open Access
    8 Scopus citations

  • POP-PL: A patient-oriented prescription programming language

    Florence, S. P., Fetscher, B., Flatt, M., Temps, W. H., St Amour, V., Kiguradze, T., West, D. P., Niznik, C., Yarnold, P. R., Findler, R. & Belknap, S. M., Aug 2018, In: ACM Transactions on Programming Languages and Systems. 40, 3, A10.

    Research output: Contribution to journal › Article › peer-review

    1 Scopus citations

  • Unconventional parallelization of nondeterministic applications

    Deiana, E. A., St Amour, V., Dinda, P. A., Hardavellas, N. & Campanoni, S., Mar 19 2018, ASPLOS 2018 - 23rd International Conference on Architectural Support for Programming Languages and Operating Systems. Association for Computing Machinery, p. 432-447 16 p. (International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    8 Scopus citations
  • 2017

    Herbarium racketensis: A stroll through the woods (Functional pearl)

    St-Amour, V., Feltey, D., Florence, S. P., You, S. H. & Findler, R. B., Sep 2017, In: Proceedings of the ACM on Programming Languages. 1, ICFP, 1.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Herbarium Racketensis: A Stroll through the Woods

    St Amour, V., Feltey, D., Florence, S. P., You, S.-H. & Findler, R., 2017, Proceedings of the ACM on Programming Languages, ICFP 2017. ACM, Vol. 1. 1

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Migratory typing: Ten years later

    Tobin-Hochstadt, S., Felleisen, M., Findler, R., Flatt, M., Greenman, B., Kent, A. M., St Amour, V., Strickland, T. S. & Takikawa, A., May 1 2017, 2nd Summit on Advances in Programming Languages, SNAPL 2017. Bodik, R., Lerner, B. S. & Krishnamurthi, S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 17. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 71).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    22 Scopus citations

  • POSTER: The Liberation Day of Nondeterministic Programs

    Deiana, E. A., St-Amour, V., Dinda, P., Hardavellas, N. & Campanoni, S., Oct 31 2017, Proceedings - 26th International Conference on Parallel Architectures and Compilation Techniques, PACT 2017. Institute of Electrical and Electronics Engineers Inc., p. 136-137 2 p. (Parallel Architectures and Compilation Techniques - Conference Proceedings, PACT; vol. 2017-September).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    1 Scopus citations
  • 2015

    Feature-specific profiling

    St-Amour, V., Andersen, L. & Felleisen, M., 2015, Compiler Construction - 24th International Conference, CC 2015 held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, Proceedings. Franke, B. (ed.). Springer Verlag, p. 49-68 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9031).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access
    8 Scopus citations

  • Optimization coaching for JavaScript

    St-Amour, V. & Guo, S. Y., Jul 1 2015, 29th European Conference on Object-Oriented Programming, ECOOP 2015. Boyland, J. T. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 271-295 25 p. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 37).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    4 Scopus citations

  • Profile-guided meta-programming

    Bowman, W. J., Miller, S., St Amour, V. & Kent Dybvig, R., Jun 2015, In: ACM SIGPLAN Notices. 50, 6, p. 403-412 10 p.

    Research output: Contribution to journal › Article › peer-review

    6 Scopus citations

  • Profile-guided meta-programming

    Bowman, W. J., Miller, S., Dybvig, R. K. & St-Amour, V., Jun 3 2015, PLDI 2015 - Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation. Blackburn, S. & Grove, D. (eds.). Association for Computing Machinery, p. 403-412 10 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI); vol. 2015-June).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations
  • 2013

    Experience report: Applying random testing to a base type environment

    St-Amour, V. & Toronto, N., Sep 2013, In: ACM SIGPLAN Notices. 48, 9, p. 351-356 6 p.

    Research output: Contribution to journal › Article › peer-review

    1 Scopus citations

  • Experience report: Applying random testing to a base type environment

    St-Amour, V. & Toronto, N., 2013, ICFP 2013 - Proceedings of the 2013 ACM SIGPLAN International Conference on Functional Programming. p. 351-356 6 p. (Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    9 Scopus citations
  • 2012

    Optimization coaching: Optimizers learn to communicate with programmers

    St-Amour, V., Tobin-Hochstadt, S. & Felleisen, M., 2012, SPLASH 2012: OOPSLA'12 - Proceedings of the 2012 ACM International Conference on Object Oriented Programming SystemsLanguages and Applications. p. 163-178 16 p. (Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    20 Scopus citations

  • Optimization coaching: Optimizers learn to communicate with programmers

    St-Amour, V., Tobin-Hochstadt, S. & Felleisen, M., Oct 2012, In: ACM SIGPLAN Notices. 47, 10, p. 163-178 16 p.

    Research output: Contribution to journal › Article › peer-review

    3 Scopus citations

  • Seeing the futures: Profiling shared-memory parallel racket

    Swaine, J., Fetscher, B., St Amour, V., Findler, R. & Flatt, M., 2012, FHPC'12 - Proceedings of the 2012 ACM SIGPLAN Functional High Performance Computing. p. 73-82 10 p. (FHPC'12 - Proceedings of the 2012 ACM SIGPLAN Functional High Performance Computing).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    3 Scopus citations

  • Typing the numeric tower

    St-Amour, V., Tobin-Hochstadt, S., Flatt, M. & Felleisen, M., 2012, Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Proceedings. p. 289-303 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7149 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    15 Scopus citations
  • 2011

    Languages as libraries

    Tobin-Hochstadt, S., St-Amour, V., Culpepper, R., Flatt, M. & Felleisen, M., 2011, PLDI'11 - Proceedings of the 2011 ACM Conference on Programming Language Design and Implementation. p. 132-141 10 p. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    140 Scopus citations
  • 2010

    PICOBIT: A compact scheme system for microcontrollers

    St Amour, V. & Feeley, M., 2010, Implementation and Application of Functional Languages - 21st International Symposium, IFL 2009, Revised Selected Papers. p. 1-17 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6041 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    7 Scopus citations