Jay McCarthy

According to our database1, Jay McCarthy authored at least 15 papers between 2003 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2004
2006
2008
2010
2012
2014
2016
2018
2020
0
1
2
3
1
1
1
1
1
1
2
1
1
2
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Newly-single and loving it: improving higher-order must-alias analysis with heap fragments.
Proc. ACM Program. Lang., 2021

2019
Model-checking task-parallel programs for data-race.
Innov. Syst. Softw. Eng., 2019

Demand Control-Flow Analysis.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2018
Special issue on Trends in Functional Programming 2013/14.
Comput. Lang. Syst. Struct., 2018

Model-Checking Task Parallel Programs for Data-Race.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2016
Deploying Exploring Computer Science Statewide.
Proceedings of the 47th ACM Technical Symposium on Computing Science Education, 2016

Bithoven: Gödel encoding of chamber music and functional 8-bit audio synthesis.
Proceedings of the 4th International Workshop on Functional Art, 2016

2015
Running Probabilistic Programs Backwards.
Proceedings of the Programming Languages and Systems, 2015

2014
Practically Accurate Floating-Point Math.
Comput. Sci. Eng., 2014

2013
Proving MCAPI executions are correct using SMT.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012
Modeling Asynchronous Message Passing for C Programs.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Computing in Cantor's Paradise with λ ZFC.
Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2011
Temporal higher-order contracts.
Proceedings of the Proceeding of the 16th ACM SIGPLAN international conference on Functional Programming, 2011

2010
From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λ ZFC.
Proceedings of the Implementation and Application of Functional Languages, 2010

2003
Controller design via adaptive critic and model reference methods.
Proceedings of the International Joint Conference on Neural Networks, 2003


  Loading...