Travelled to:1 × Estonia
1 × Italy
1 × Poland
4 × USA
Collaborated with:M.Felleisen D.S.Janzen M.Flatt M.Hilton T.Dvornik O.Dekhtyar S.Chang E.Barzilay G.Pettyjohn J.Marshall S.Krishnamurthi C.Klein C.Dimoulas C.Eastlund J.A.McCarthy J.Rafkind S.Tobin-Hochstadt R.B.Findler
Talks about:stack (3) inspect (2) driven (2) test (2) web (2) lab (2) ide (2) introductori (1) lightweight (1) research (1)
Person: John Clements
DBLP: Clements:John
Contributed to:
2013
2012
2011
2011
2005
20032001Wrote 7 papers:
- ICSE-2013-JanzenCH #evaluation #interactive #testing
- An evaluation of interactive test-driven labs with WebIDE in CS0 (DSJ, JC, MH), pp. 1090–1098.
- POPL-2012-KleinCDEFFMRTF #effectiveness #lightweight #research
- Run your research: on the effectiveness of lightweight mechanization (CK, JC, CD, CE, MF, MF, JAM, JR, STH, RBF), pp. 285–296.
- CSEET-2011-DvornikJCD #testing
- Supporting introductory test-driven labs with WebIDE (TD, DSJ, JC, OD), pp. 51–60.
- IFL-2011-ChangBCF #lazy evaluation #sequence #stack
- From Stack Traces to Lazy Rewriting Sequences (SC, EB, JC, MF), pp. 100–115.
- ICFP-2005-PettyjohnCMKF #continuation #stack
- Continuations from generalized stack inspection (GP, JC, JM, SK, MF), pp. 216–227.
- ESOP-2003-ClementsF #recursion #semantics #stack
- A Tail-Recursive Semantics for Stack Inspections (JC, MF), pp. 22–37.
- ESOP-2001-ClementsFF #algebra #modelling
- Modeling an Algebraic Stepper (JC, MF, MF), pp. 320–334.