Jay McCarthy

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 9

Top Topics

Top Venues

Proc. ACM Program. Lang.

Innov. Syst. Softw. Eng.

Publications

Matthew Flatt, Taylor Allred, Nia Angle, Stephen De Gabrielle, Robert Bruce Findler, Jack Firth, Kiran Gopinathan, Ben Greenman, Siddhartha Kasivajhula, Alex Knauth, Jay McCarthy, Sam Phillips, Sorawee Porncharoenwase, Jens Axel Søgaard, Sam Tobin-Hochstadt
Rhombus: A New Spin on Macros without All the Parentheses. Proc. ACM Program. Lang. 7 (OOPSLA2) (2023)
Kimball Germane, Jay McCarthy
Newly-single and loving it: improving higher-order must-alias analysis with heap fragments. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Kimball Germane, Jay McCarthy, Michael D. Adams, Matthew Might
Demand Control-Flow Analysis. VMCAI (2019)
Radha Nakade, Eric Mercer, Peter Aldous, Kyle Storey, Benjamin Ogles, Joshua Hooker, Sheridan Jacob Powell, Jay McCarthy
Model-checking task-parallel programs for data-race. Innov. Syst. Softw. Eng. 15 (3-4) (2019)
Radha Nakade, Eric Mercer, Peter Aldous, Jay McCarthy
Model-Checking Task Parallel Programs for Data-Race. NFM (2018)
Jurriaan Hage, Jay McCarthy
Special issue on Trends in Functional Programming 2013/14. Comput. Lang. Syst. Struct. 52 (2018)
Helen H. Hu, Cecily Heiner, Jay McCarthy
Deploying Exploring Computer Science Statewide. SIGCSE (2016)
Jay McCarthy
Bithoven: Gödel encoding of chamber music and functional 8-bit audio synthesis. FARM@ICFP (2016)
Neil Toronto, Jay McCarthy, David Van Horn
Running Probabilistic Programs Backwards. ESOP (2015)
Neil Toronto, Jay McCarthy, David Van Horn
Running Probabilistic Programs Backwards. CoRR (2014)
Neil Toronto, Jay McCarthy
Practically Accurate Floating-Point Math. Comput. Sci. Eng. 16 (4) (2014)
Yu Huang, Eric Mercer, Jay McCarthy
Proving MCAPI executions are correct using SMT. ASE (2013)
Everett Morse, Nick Vrvilo, Eric Mercer, Jay McCarthy
Modeling Asynchronous Message Passing for C Programs. VMCAI (2012)
Neil Toronto, Jay McCarthy
Computing in Cantor's Paradise with λ ZFC. FLOPS (2012)
Tim Disney, Cormac Flanagan, Jay McCarthy
Temporal higher-order contracts. ICFP (2011)
Neil Toronto, Jay McCarthy
From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in λ ZFC. IFL (2010)