Volgen
Jay McCarthy
Jay McCarthy
Associate Professor of Computer Science, UMass Lowell
Geverifieerd e-mailadres voor cs.uml.edu - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
1462012
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
1182018
The racket manifesto
M Felleisen, RB Findler, M Flatt, S Krishnamurthi, E Barzilay, J McCarthy, ...
1st Summit on Advances in Programming Languages (SNAPL 2015), 113-128, 2015
1122015
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
872007
Temporal higher-order contracts
T Disney, C Flanagan, J McCarthy
Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011
622011
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
242016
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
212016
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
172018
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
Fair enumeration combinators
MS New, B Fetscher, RB Findler, J McCarthy
Journal of Functional Programming 27, e19, 2017
112017
Proving MCAPI executions are correct using SMT
Y Huang, E Mercer, J McCarthy
2013 28th IEEE/ACM International Conference on Automated Software …, 2013
112013
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
Asian Symposium on Programming Languages and Systems, 369-383, 2011
102011
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
102007
Demand control-flow analysis
K Germane, J McCarthy, MD Adams, M Might
Verification, Model Checking, and Abstract Interpretation: 20th …, 2019
92019
Computing in Cantor’s Paradise with λ ZFC
N Toronto, J McCarthy
Functional and Logic Programming: 11th International Symposium, FLOPS 2012 …, 2012
82012
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20