Follow
Jay McCarthy
Jay McCarthy
Associate Professor of Computer Science, UMass Lowell
Verified email at cs.uml.edu - Homepage
Title
Cited by
Cited by
Year
Run your research: on the effectiveness of lightweight mechanization
C Klein, J Clements, C Dimoulas, C Eastlund, M Felleisen, M Flatt, ...
ACM SIGPLAN Notices 47 (1), 285-296, 2012
1422012
A programmable programming language
M Felleisen, RB Findler, M Flatt, S Krishnamurthi, E Barzilay, J McCarthy, ...
Communications of the ACM 61 (3), 62-71, 2018
1092018
The racket manifesto
M Felleisen, RB Findler, M Flatt, S Krishnamurthi, E Barzilay, J McCarthy, ...
1st Summit on Advances in Programming Languages (SNAPL 2015), 2015
1012015
Implementation and use of the PLT Scheme web server
S Krishnamurthi, PW Hopkins, J McCarthy, PT Graunke, G Pettyjohn, ...
Higher-Order and Symbolic Computation 20, 431-460, 2007
882007
Temporal higher-order contracts
T Disney, C Flanagan, J McCarthy
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011
582011
Running probabilistic programs backwards
N Toronto, J McCarthy, D Van Horn
Programming Languages and Systems: 24th European Symposium on Programming …, 2015
282015
Deploying exploring computer science statewide
HH Hu, C Heiner, J McCarthy
Proceedings of the 47th ACM technical symposium on computing science …, 2016
232016
A Coq library for internal verification of running-times
J McCarthy, B Fetscher, M New, D Feltey, RB Findler
Functional and Logic Programming: 13th International Symposium, FLOPS 2016 …, 2016
222016
A Coq library for internal verification of running-times
J McCarthy, B Fetscher, MS New, D Feltey, RB Findler
Science of Computer Programming 164, 49-65, 2018
162018
Cryptographic protocol explication and end-point projection
J McCarthy, S Krishnamurthi
Computer Security-ESORICS 2008: 13th European Symposium on Research in …, 2008
152008
Automatically RESTful web applications: marking modular serializable continuations
JA McCarthy
Proceedings of the 14th ACM SIGPLAN international conference on Functional …, 2009
142009
Practically accurate floating-point math
N Toronto, J McCarthy
Computing in Science & Engineering 16 (04), 80-95, 2014
122014
Proving MCAPI executions are correct using SMT
Y Huang, E Mercer, J McCarthy
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
122013
Fair enumeration combinators
MS New, B Fetscher, RB Findler, J McCarthy
Journal of Functional Programming 27, e19, 2017
112017
The two-state solution: Native and serializable continuations accord
JA McCarthy
ACM Sigplan Notices 45 (10), 567-582, 2010
112010
Model-checking task parallel programs for data-race
R Nakade, E Mercer, P Aldous, J McCarthy
NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News …, 2018
102018
A semantics for context-sensitive reduction semantics
C Klein, J McCarthy, S Jaconette, RB Findler
Programming Languages and Systems: 9th Asian Symposium, APLAS 2011, Kenting …, 2011
92011
Compiling cryptographic protocols for deployment on the Web
JA McCarthy, S Krishnamurthi, JD Guttman, JD Ramsdell
Proceedings of the 16th international conference on World Wide Web, 687-696, 2007
92007
Interaction-safe state for the Web
J McCarthy, S Krishnamurthi
Scheme and Functional Programming, 2006
82006
Computing in Cantor’s Paradise with λ ZFC
N Toronto, J McCarthy
Functional and Logic Programming: 11th International Symposium, FLOPS 2012 …, 2012
72012
The system can't perform the operation now. Try again later.
Articles 1–20