Stan Rosenberg

According to our database, Stan Rosenberg authored at least 6 papers between 2007 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

Local Reasoning for Global Invariants, Part I: Region Logic.

Anindya Banerjee, David A. Naumann, Stan Rosenberg

J. ACM, 2013

2012

Decision Procedures for Region Logic.

Stan Rosenberg, Anindya Banerjee, David A. Naumann

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

2010

Local Reasoning and Dynamic Framing for the Composite Pattern and Its Clients.

Stan Rosenberg, Anindya Banerjee, David A. Naumann

Proceedings of the Verified Software: Theories, 2010

2008

Expressive Declassification Policies and Modular Static Enforcement.

Anindya Banerjee, David A. Naumann, Stan Rosenberg

Proceedings of the 2008 IEEE Symposium on Security and Privacy (SP 2008), 2008

Regional Logic for Local Reasoning about Global Invariants.

Anindya Banerjee, David A. Naumann, Stan Rosenberg

Proceedings of the ECOOP 2008, 2008

2007

Towards a logical account of declassification.

Anindya Banerjee, David A. Naumann, Stan Rosenberg

Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, 2007