Jay McCarthy

According to our database, Jay McCarthy authored at least 14 papers between 2010 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Newly-single and loving it: improving higher-order must-alias analysis with heap fragments.

Kimball Germane, Jay McCarthy

Proc. ACM Program. Lang., 2021

2019

Model-checking task-parallel programs for data-race.

Radha Nakade, Eric Mercer, Peter Aldous, Kyle Storey, Benjamin Ogles, Joshua Hooker, Sheridan Jacob Powell, Jay McCarthy

Innov. Syst. Softw. Eng., 2019

Demand Control-Flow Analysis.

Kimball Germane, Jay McCarthy, Michael D. Adams, Matthew Might

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2019

2018

Special issue on Trends in Functional Programming 2013/14.

Jurriaan Hage, Jay McCarthy

Comput. Lang. Syst. Struct., 2018

Model-Checking Task Parallel Programs for Data-Race.

Radha Nakade, Eric Mercer, Peter Aldous, Jay McCarthy

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

2016

Deploying Exploring Computer Science Statewide.

Helen H. Hu, Cecily Heiner, Jay McCarthy

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.

Jay McCarthy

Proceedings of the 4th International Workshop on Functional Art, 2016

2015

Running Probabilistic Programs Backwards.

Neil Toronto, Jay McCarthy, David Van Horn

Proceedings of the Programming Languages and Systems, 2015

2014

Practically Accurate Floating-Point Math.

Neil Toronto, Jay McCarthy

Comput. Sci. Eng., 2014

2013

Proving MCAPI executions are correct using SMT.

Yu Huang, Eric Mercer, Jay McCarthy

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2012

Modeling Asynchronous Message Passing for C Programs.

Everett Morse, Nick Vrvilo, Eric Mercer, Jay McCarthy

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

Computing in Cantor's Paradise with λ ZFC.

Neil Toronto, Jay McCarthy

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2011

Temporal higher-order contracts.

Tim Disney, Cormac Flanagan, Jay McCarthy

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.

Neil Toronto, Jay McCarthy

Proceedings of the Implementation and Application of Functional Languages, 2010