Travelled to:1 × Czech Republic
1 × United Kingdom
5 × USA
Collaborated with:M.Felleisen S.Tobin-Hochstadt S.Guo N.Toronto M.Flatt L.Andersen W.J.Bowman S.Miller R.K.Dybvig R.Culpepper D.Feltey B.Greenman C.Scholliers R.B.Findler Enrico Armenio Deiana P.A.Dinda N.Hardavellas S.Campanoni
Talks about:optim (3) type (3) profil (2) coach (2) nondeterminist (1) javascript (1) unconvent (1) programm (1) patholog (1) parallel (1)
Person: Vincent St-Amour
DBLP: St-Amour:Vincent
Contributed to:
2015
2015
2015
2013
2012
201220112018
2018Wrote 9 papers:
- CC-2015-St-AmourAF #feature model #profiling
- Feature-Specific Profiling (VSA, LA, MF), pp. 49–68.
- ECOOP-2015-St-AmourG #javascript #optimisation
- Optimization Coaching for JavaScript (VSA, SyG), pp. 271–295.
- PLDI-2015-BowmanMSD #metaprogramming
- Profile-guided meta-programming (WJB, SM, VSA, RKD), pp. 403–412.
- ICFP-2013-St-AmourT #case study #experience #random testing #testing
- Experience report: applying random testing to a base type environment (VSA, NT), pp. 351–356.
- OOPSLA-2012-St-AmourTF #communication #optimisation
- Optimization coaching: optimizers learn to communicate with programmers (VSA, STH, MF), pp. 163–178.
- PADL-2012-St-AmourTFF #type system
- Typing the Numeric Tower (VSA, STH, MF, MF), pp. 289–303.
- PLDI-2011-Tobin-HochstadtSCFF #library
- Languages as libraries (STH, VSA, RC, MF, MF), pp. 132–141.
- OOPSLA-2018-FelteyGSFS #contract #type system
- Collapsible contracts: fixing a pathology of gradual typing (DF, BG, CS, RBF, VSA), p. 27.
- ASPLOS-2018-DeianaSDHC #nondeterminism #parallel
- Unconventional Parallelization of Nondeterministic Applications (EAD, VSA, PAD, NH, SC), pp. 432–447.