Jay McCarthy

20 papers A* 1A 3B 3Misc 1Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2021 J jnl
Newly-single and loving it: improving higher-order must-alias analysis with heap fragments.
Proc. ACM Program. Lang.
Kimball Germane, Jay McCarthy
2019 B conf
Demand Control-Flow Analysis.
VMCAI
Kimball Germane, Jay McCarthy, Michael D. Adams, Matthew Might
2019 J jnl
Model-checking task-parallel programs for data-race.
Innov. Syst. Softw. Eng.
Radha Nakade, Eric Mercer, Peter Aldous, Kyle Storey, Benjamin Ogles, Joshua Hooker, Sheridan Jacob Powell, Jay McCarthy
2018 — conf
Model-Checking Task Parallel Programs for Data-Race.
NFM
Radha Nakade, Eric Mercer, Peter Aldous, Jay McCarthy
2018 — ed.
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages, IFL 2018, Lowell, MA, USA, September 5-7, 2018.
IFL
Matteo Cimini, Jay McCarthy
2018 J jnl
Special issue on Trends in Functional Programming 2013/14.
Comput. Lang. Syst. Struct.
Jurriaan Hage, Jay McCarthy
2016 — conf
Bithoven: Gödel encoding of chamber music and functional 8-bit audio synthesis.
FARM@ICFP
Jay McCarthy
2016 A conf
Deploying Exploring Computer Science Statewide.
SIGCSE
Helen H. Hu, Cecily Heiner, Jay McCarthy
2016 — ed.
Proceedings of the 4th and 5th International Workshop on Trends in Functional Programming in Education, TFPIE 2016, Sophia-Antipolis, France, and University of Maryland, College Park, MD, USA, June 2, 2015, and June 7, 2016.
TFPIE
Johan Jeuring, Jay McCarthy
2015 A conf
Running Probabilistic Programs Backwards.
ESOP
Neil Toronto, Jay McCarthy, David Van Horn
2015 — ed.
Trends in Functional Programming - 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers
Trends in Functional Programming
Jurriaan Hage, Jay McCarthy
2014 J jnl
Practically Accurate Floating-Point Math.
Comput. Sci. Eng.
Neil Toronto, Jay McCarthy
2014 J jnl
Running Probabilistic Programs Backwards.
CoRR
Neil Toronto, Jay McCarthy, David Van Horn
2014 — ed.
Trends in Functional Programming - 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers
Trends in Functional Programming
Jay McCarthy
2013 A* conf
Proving MCAPI executions are correct using SMT.
ASE
Yu Huang, Eric Mercer, Jay McCarthy
2012 Misc conf
Computing in Cantor's Paradise with λ ZFC.
FLOPS
Neil Toronto, Jay McCarthy
2012 B conf
Modeling Asynchronous Message Passing for C Programs.
VMCAI
Everett Morse, Nick Vrvilo, Eric Mercer, Jay McCarthy
2011 A conf
Temporal higher-order contracts.
ICFP
Tim Disney, Cormac Flanagan, Jay McCarthy
2010 — conf
From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λ ZFC.
IFL
Neil Toronto, Jay McCarthy
2003 B conf
Controller design via adaptive critic and model reference methods.
IJCNN
George G. Lendaris, Roberto A. Santiago, Jay McCarthy, Michael Carroll