Conference Paper
L. Fennell and Thiemann, P.,
“Gradual Typing for Annotated Type Systems”, in
Proceedings of the 23rd European Symposium on Programming (ESOP 2014), 2014.
L. Fennell and Thiemann, P.,
“Gradual Security Typing with References”, in
Proceedings of the 26th IEEE Computer Security Foundations Symposium (CSF 2013), 2013, pp. 224-239.
A. Bichhawat, Rajani, V., Garg, D., and Hammer, C.,
“Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis”, in
Proceedings of the 9th ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2014), 2014.