Projects per year
Personal profile
About
Corin Pitcher received his undergraduate and doctoral degrees from the University of Oxford, UK. His specific research areas include programming languages, security, software engineering, and distributed systems.
Projects
- 7 Finished
-
TC: SMALL: Language Based Accountability
Jagadeesan, R. (PI), Riely, J. (CoPI) & Pitcher, C. (CoPI)
9/15/09 → 8/31/14
Project: Research project
-
TC: SMALL: Language Based Accountability
Jagadeesan, R. (PI), Riely, J. (CoPI) & Pitcher, C. (CoPI)
9/15/09 → 8/31/14
Project: Research project
-
SHF: SMALL: Stateful Interfaces
Pitcher, C. (PI), Jagadeesan, R. (CoPI) & Riely, J. (CoPI)
9/1/09 → 8/31/14
Project: Research project
-
SHF: SMALL: Stateful Interfaces
Pitcher, C. (PI), Jagadeesan, R. (CoPI) & Riely, J. (CoPI)
9/1/09 → 8/31/14
Project: Research project
-
SHF: SMALL: Stateful Interfaces
Pitcher, C. (PI) & Jriely@depauledu, J. R. (CoPI)
9/1/09 → 8/31/14
Project: Research project
-
An extensible approach to session polymorphism
Goto, M., Jagadeesan, R., Jeffrey, A., Pitcher, C. & Riely, J., Mar 1 2016, In: Mathematical Structures in Computer Science. 26, 3, p. 465-509 45 p.Research output: Contribution to journal › Article › peer-review
-
Certificates for verifiable forensics
Jagadeesan, R., Lubinski, C. M., Pitcher, C., Riely, J. & Winebrinner, C., Nov 13 2014, Proceedings - 2014 IEEE 27th Computer Security Foundations Symposium, CSF 2014. IEEE (Institute of Electrical and Electronics Engineers), p. 33-47 15 p. 6957101. (Proceedings of the Computer Security Foundations Workshop; vol. 2014-January).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Noninterference for intuitionist necessity
Jagadeesan, R., Pitcher, C. & Riely, J., 2013, Logic and Its Applications - 5th Indian Conference, ICLA 2013, Proceedings. Springer Verlag, p. 185-196 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7750 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
Quarantining weakness: Compositional reasoning under relaxed memory models (extended abstract)
Jagadeesan, R., Petri, G., Pitcher, C. & Riely, J., 2013, Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Proceedings. p. 492-511 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7792 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open Access -
Succour to the confused deputy: Types for capabilities
Jagadeesan, R., Pitcher, C. & Riely, J., 2012, Programming Languages and Systems - 10th Asian Symposium, APLAS 2012, Proceedings. p. 66-81 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7705 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution