Jay McCarthy

Citée par

	Toutes	Depuis 2020
Citations	783	309
indice h	12	8
indice i10	18	8

20072008200920102011201220132014201520162017201820192020202120222023202420259 4 25 19 18 19 26 35 45 56 63 52 82 55 54 60 70 64 6

Accès public

Tout afficher

7 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Robert Bruce FindlerNorthwestern UniversityAdresse e-mail validée de cs.northwestern.edu
Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityAdresse e-mail validée de cs.brown.edu
Matthias FelleisenTrustee Professor of Computer Science, Northeastern UniversityAdresse e-mail validée de felleisen.org
Matthew FlattProfessor, School of Computing, University of UtahAdresse e-mail validée de cs.utah.edu
Sam Tobin-HochstadtAssociate Professor, Indiana UniversityAdresse e-mail validée de cs.indiana.edu
John ClementsProfessor of Computer Science, Cal Poly State UniversityAdresse e-mail validée de calpoly.edu
Jon RafkindUniversity of UtahAdresse e-mail validée de cs.utah.edu
Max S. NewAssistant Professor, University of MichiganAdresse e-mail validée de umich.edu
Eric MercerAssociate Professor of Computer Science, Brigham Young UniversityAdresse e-mail validée de cs.byu.edu
Christos DimoulasPLT @ Northwestern UniversityAdresse e-mail validée de northwestern.edu
Kimball GermaneBrigham Young UniversityAdresse e-mail validée de cs.byu.edu
Cormac FlanaganProfessor of Computer Science, University of California Santa CruzAdresse e-mail validée de ucsc.edu
Tim DisneyUniversity of California Santa CruzAdresse e-mail validée de ucsc.edu
David Van HornUniversity of MarylandAdresse e-mail validée de cs.umd.edu
Helen H. HuProfessor of Computer Science, Westminster UniversityAdresse e-mail validée de westminsteru.edu
Michael D. AdamsUniversity of UtahAdresse e-mail validée de utah.edu
Matthew MightHugh Kaul Precision Medicine Institute, University of Alabama at BirminghamAdresse e-mail validée de uab.edu
Joshua GuttmanResearch Professor, Computer Science, Worcester Polytechnic InstituteAdresse e-mail validée de wpi.edu
John D. RamsdellThe MITRE CorporationAdresse e-mail validée de mitre.org
Nick VrviloPhD Candidate, Department of Computer Science, Rice UniversityAdresse e-mail validée de rice.edu

Suivre

Jay McCarthy

Associate Professor of Computer Science, UMass Lowell

Adresse e-mail validée de cs.uml.edu - Page d'accueil

Programming Languages Formal Verification Cryptographic Protocols


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	148	2012
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	119	2018
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	112	2015
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	87	2007
Temporal higher-order contracts T Disney, C Flanagan, J McCarthy Proceedings of the 16th ACM SIGPLAN international conference on Functional …, 2011	62	2011
Running probabilistic programs backwards N Toronto, J McCarthy, D Van Horn Programming Languages and Systems: 24th European Symposium on Programming …, 2015	28	2015
Deploying exploring computer science statewide HH Hu, C Heiner, J McCarthy Proceedings of the 47th ACM technical symposium on computing science …, 2016	24	2016
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	21	2016
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	17	2018
Cryptographic protocol explication and end-point projection J McCarthy, S Krishnamurthi Computer Security-ESORICS 2008: 13th European Symposium on Research in …, 2008	15	2008
Automatically RESTful web applications: marking modular serializable continuations JA McCarthy Proceedings of the 14th ACM SIGPLAN international conference on Functional …, 2009	14	2009
Practically accurate floating-point math N Toronto, J McCarthy Computing in Science & Engineering 16 (04), 80-95, 2014	12	2014
Fair enumeration combinators MS New, B Fetscher, RB Findler, J McCarthy Journal of Functional Programming 27, e19, 2017	11	2017
Proving MCAPI executions are correct using SMT Y Huang, E Mercer, J McCarthy 2013 28th IEEE/ACM International Conference on Automated Software …, 2013	11	2013
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	11	2011
The two-state solution: Native and serializable continuations accord JA McCarthy ACM Sigplan Notices 45 (10), 567-582, 2010	11	2010
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	10	2018
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	10	2007
Demand control-flow analysis K Germane, J McCarthy, MD Adams, M Might Verification, Model Checking, and Abstract Interpretation: 20th …, 2019	9	2019
Computing in Cantor’s Paradise with λ _ZFC N Toronto, J McCarthy Functional and Logic Programming: 11th International Symposium, FLOPS 2012 …, 2012	8	2012

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs