Andrew C. Myers

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Heterogeneous paxos	2026-03-31	Paper
JRIF: reactive information flow control for Java	2020-03-03	Paper
Interruptible iterators Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2017-08-21	Paper
A 4th-Order Particle-in-Cell Method with Phase-Space Remapping for the Vlasov-Poisson Equation (available as arXiv preprint)	2016-02-01	Paper
Masked types for sound object initialization Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2015-07-03	Paper
Toward general diagnosis of static errors Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2014-04-10	Paper
Attacker control and impact for confidentiality and integrity Logical Methods in Computer Science	2012-04-02	Paper
Using security policies to write secure software	2010-12-13	Paper
A semantic framework for declassification and endorsement Programming Languages and Systems	2010-05-04	Paper
scientific article; zbMATH DE number 1956462 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1954106 (Why is no real title available?)	2003-07-28	Paper
Secure information flow via linear continuations Higher-Order and Symbolic Computation	2003-05-14	Paper
scientific article; zbMATH DE number 1832235 (Why is no real title available?)	2002-11-19	Paper
scientific article; zbMATH DE number 1692933 (Why is no real title available?)	2002-01-21	Paper

Research outcomes over time

This page was built for person: Andrew C. Myers