Jay McCarthy

1 About Me

I am an assistant professor at Brigham Young University in the Computer Science Department.

I am a member of the PLT research group. I work on the Racket programming language.

I completed a Ph.D. at Brown University in the Computer Science Department. I worked with Shriram Krishnamurthi. I was an NSF Graduate Research Fellow.

I graduated from the University of Massachusetts at Lowell where I studied Computer Science, Mathematics, and Economics.

My work has been supported by the National Science Foundation’s Software and Hardware Foundations (CISE/CCF) program and Computing Education for the 21st Century (CISE/CNS) program.

2 Research Interests

I am interested in applying programming languages research techniques to cryptographic protocols and the Web, as well as other areas of security and systems. I am also very interested in theorem provers and program verification.

3 Publications

1. Gregory H. Cooper, Arjun Guha, Shriram Krishnamurthi, Jay McCarthy, and Robert Bruce Findler. “Teaching Garbage Collection without Learning Compilers or Interpreters". SIGCSE 2013. (PDF)

2. Neil Toronto and Jay McCarthy. “Computing in Cantor’s Paradise with LambdaZFC". FLOPS 2012. (PDF) (Code) (Slides)

3. Everett Morse, Nick Vrvilo, Eric Mercer, and Jay McCarthy. “Modeling Asynchronous Message Passing for C Programs". VMCAI 2012. (PDF) (Code)

4. Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler. “Run Your Research: On the Effectiveness of Lightweight Mechanization". Symposium on Principles of Programming Languages, 2012. (PDF) (Code)

5. Casey Klein, Jay McCarthy, Steven Jaconette and Robert Bruce Findler. “A Semantics for Context-Sensitive Reduction Semantics". Asian Symposium on Programming Languages and Systems, 2011. (PDF) (Code)

6. Tim Disney, Cormac Flanagan, and Jay McCarthy. “Temporal Higher-Order Contracts". International Conference on Functional Programming, 2011. (PDF) (Code) (Slides)

7. Neil Toronto and Jay McCarthy. “From Bayesian Notation to Pure Racket via Discrete Measure-Theoretic Probability in LambdaZFC". Symposium on Implementation and Application of Functional Languages, 2011. (PDF) (Slides)

8. Jay McCarthy. “The Two-State Solution: Native and Serializable Continuations Accord". International Conference on Object Oriented Programming, Systems, Languages and Applications, 2010. (PDF) (Code)

9. Jay McCarthy and Shriram Krishnamurthi. “Trusted Multiplexing of Cryptographic Protocols". International Workshop on Formal Aspects in Security and Trust, 2009. (PDF) (Code)

10. Jay McCarthy. “Automatically RESTful Web Applications Or, Marking Modular Serializable Continuations". International Conference on Functional Programming, 2009. (PDF) (Code)

11. Jay McCarthy. “Static Analyses of Cryptographic Protocols". PhD Dissertation, Brown University, 2009. (PDF) (Code)

12. Jay McCarthy and Shriram Krishnamurthi. “Cryptographic Protocol Explication and End-Point Projection". European Symposium on Research in Computer Security, 2008. (PDF) (Code)

13. Jay McCarthy and Shriram Krishnamurthi. “Minimal Backups of Cryptographic Protocol Runs". Formal Methods in Security Engineering, 2008. (PDF) (Code)

14. Jay McCarthy, Joshua Guttman, John Ramsdell, and Shriram Krishnamurthi. “Compiling Cryptographic Protocols for Deployment on the Web". International World Wide Web Conference, 2007. (PDF) (Code)

15. Shriram Krishnamurthi, Peter Walton Hopkins, Jay McCarthy, Paul T. Graunke, Greg Pettyjohn, and Matthias Felleisen. “Implementation and Use of the PLT Scheme Web Server". Higher-Order and Symbolic Computation, 2007. (PDF) (Code)

16. Jay McCarthy and Shriram Krishnamurthi. “Interaction-Safe State for the Web". In Scheme and Functional Programming, September 2006. (PDF) (Code)

4 Students

4.1 Current

• Neil Toronto (PhD, Summer 2008–)

• Blake Johnson (MS, Winter 2010–) (PhD, Winter 2012–)

• Andrew Kent (PhD, Spring 2013–)

• Nick Shelley (Ugrad, Fall 2010) (MS, Winter 2011–)

• Trevor Oakes (Ugrad, Spring 2012–)

• Alicia Crowder (Ugrad, Spring 2013–)

4.2 Past

• Logan Kearsley (Ugrad, Winter 2013) (now: Computational Linguistics grad student at BYU)

  Project: Implementing a Vau-based Language With Multiple Evaluation Strategies

• Sean Reque (MS, Winter 2010–Winter 2013) (now: Software Engineer at National Instruments)

  MS Thesis: An Optimized R5RS Macro Expander (code)

• Dan Burton (Ugrad, Winter 2012–Fall 2013) (now: Software Engineer at Originate)

  Project: Type Class-style Generics for Racket

• Chase White (Ugrad, Spring 2012–Fall 2013)

  Project: Verified Linear Logic Theorem Prover

• Kimball Germane (MS, Winter 2012–Fall 2012) (soon: CS PhD student at University of Utah)

  MS Thesis: A CPS-like Transformation of Continuation Marks

• Peter Aldous (Ugrad, Winter 2010–Summer 2010) (now: CS PhD student at University of Utah)

  Undergrad Honors Thesis: Parallelization of tasks without a priori knowledge of their dependencies

• Renae McDougal (nee Ferguson) (Ugrad, Winter 2010) (now: UI Engineer at Qualtrics)

• Daniel Davis (Ugrad, Winter 2009–Winter 2010) (now: Software engineer at L-3 Communications)

• Jensen Warnock (Ugrad, Winter 2009–Winter 2010) (now: Portfolio Manager at Auxano Funding)

5 Teaching

I taught CS 142 in Spring 2011 (feedback) and Fall 2011 (feedback).

I taught CS 312 in Fall 2009 (feedback).

I taught CS 330 in Fall 2008 (feedback), Fall 2009 (feedback), Fall 2010 (feedback), Fall 2011 (feedback), and Fall 2012 (feedback).

I taught CS 430 in Winter 2013 (feedback) (as CS 401R).

I taught CS 630 in Winter 2009 (feedback) (as CS 601R), Winter 2010 (feedback) (as CS 601R), Winter 2011 (feedback), Winter 2012 (feedback), and Spring 2013 (current).

Other feedback is available at RateMyProfessors.com.

6 Service

7 Projects

7.1 Current

I am responsible for many aspects of the Racket programming language. I really like DrDr.

In particular, I am responsible for continued development of the Racket Web Server. It is available with the standard Racket distribution. If you’d like to learn how to use it refer to the tutorial or application reference manual.

I have a Github account with lots of code on it; in particular, most of my PLaneT packages live there. I write about lots of this code on my blog.

7.2 Past

I worked on The Whole-Protocol Programming Language, a global language for designing protocols in the strand space model.

I worked on The Cryptographic Protocol Programming Language, a role-based language for designing protocols in the strand space model.

I used to maintain the Continue Conference Manager, a web application for paper submissions, reviews, and PC meetings. It has been superseded by Continue 2.0, which is written in Flapjax.

I wrote the first version of Resume, the Continue of faculty application applications. It has also been rewritten in Flapjax.

8 Personal

I am married to Elizabeth Day McCarthy.

We are both members of The Church of Jesus Christ of Latter-day Saints.

We have two kids and one on the way.

9 Links

I direct Mormon history tours for the Mormon Heritage Associaton.

I used to attend the Intercontinental Foreign Language Program at Harvard Square.

10 Contact

My email address is my first name at either cs.byu.edu or racket-lang.org, but I only check my email once a day, so be mindful of that.

My office phone number is 801-422-6350, but it isn’t connected. If you left a voice mail, I should get it.

My office is 3328 TMCB, but if you are mailing me something send it to:

11 PGP Public Key