Andrew C. Myers

According to our database, Andrew C. Myers authored at least 129 papers between 1993 and 2024.

Collaborative distances:

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

2024

An Array Intermediate Language for Mixed Cryptography.

Vivian Ding, Cosku Acay, Andrew C. Myers

CoRR, 2024

SCIF: A Language for Compositional Smart Contract Security.

Siqiu Yao, Haobin Ni, Andrew C. Myers, Ethan Cecchetti

CoRR, 2024

Secure Synthesis of Distributed Cryptographic Applications (Technical Report).

Cosku Acay, Joshua Gancher, Rolph Recto, Andrew C. Myers

CoRR, 2024

Secure Synthesis of Distributed Cryptographic Applications.

Cosku Acay, Joshua Gancher, Rolph Recto, Andrew C. Myers

Proceedings of the 37th IEEE Computer Security Foundations Symposium, 2024

2023

Charlotte: Reformulating Blockchains into a Web of Composable Attested Data Structures for Cross-Domain Applications.

Isaac C. Sheff, Xinwen Wang, Kushal Babel, Haobin Ni, Robbert van Renesse, Andrew C. Myers

ACM Trans. Comput. Syst., 2023

A Compiler from Array Programs to Vectorized Homomorphic Encryption.

Rolph Recto, Andrew C. Myers

CoRR, 2023

SpecVerilog: Adapting Information Flow Control for Secure Speculation.

Drew Zagieboylo, Charles Sherk, Andrew C. Myers, G. Edward Suh

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023

2022

Expressing Information Flow Properties.

Elisavet Kozyri, Stephen Chong, Andrew C. Myers

Found. Trends Priv. Secur., 2022

PDL: a high-level hardware design language for pipelined processors.

Drew Zagieboylo, Charles Sherk, Gookwon Edward Suh, Andrew C. Myers

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

A flexible type system for fearless concurrency.

Mae Milano, Joshua Turcotti, Andrew C. Myers

Proceedings of the PLDI '22: 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, USA, June 13, 2022

2021

Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs (Technical Report).

Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi

IACR Cryptol. ePrint Arch., 2021

A Calculus for Flow-Limited Authorization.

Owen Arden, Anitha Gollamudi, Ethan Cecchetti, Stephen Chong, Andrew C. Myers

CoRR, 2021

Compositional Security for Reentrant Applications.

Ethan Cecchetti, Siqiu Yao, Haobin Ni, Andrew C. Myers

Proceedings of the 42nd IEEE Symposium on Security and Privacy, 2021

Viaduct: an extensible, optimizing compiler for secure distributed programs.

Cosku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, Elaine Shi

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

2020

Path Planning Under Malicious Injections and Removals of Perceived Obstacles: A Probabilistic Programming Approach.

Jacopo Banfi, Yizhou Zhang, G. Edward Suh, Andrew C. Myers, Mark E. Campbell

IEEE Robotics Autom. Lett., 2020

Handling bidirectional control flow.

Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers

Proc. ACM Program. Lang., 2020

Heterogeneous Paxos: Technical Report.

Isaac C. Sheff, Xinwen Wang, Robbert van Renesse, Andrew C. Myers

CoRR, 2020

Handling Bidirectional Control Flow: Technical Report.

Yizhou Zhang, Guido Salvaneschi, Andrew C. Myers

CoRR, 2020

The Cost of Software-Based Memory Management Without Virtual Memory.

Drew Zagieboylo, G. Edward Suh, Andrew C. Myers

CoRR, 2020

Stealthy Tracking of Autonomous Vehicles with Cache Side Channels.

Mulong Luo, Andrew C. Myers, G. Edward Suh

Proceedings of the 29th USENIX Security Symposium, 2020

Heterogeneous Paxos.

Isaac C. Sheff, Xinwen Wang, Robbert van Renesse, Andrew C. Myers

Proceedings of the 24th International Conference on Principles of Distributed Systems, 2020

2019

Editorial.

Andrew C. Myers

ACM Trans. Program. Lang. Syst., 2019

Abstraction-safe effect handlers via tunneling.

Yizhou Zhang, Andrew C. Myers

Proc. ACM Program. Lang., 2019

Charlotte: Composable Authenticated Distributed Data Structures, Technical Report.

Isaac C. Sheff, Xinwen Wang, Haobin Ni, Robbert van Renesse, Andrew C. Myers

CoRR, 2019

A Tour of Gallifrey, a Language for Geodistributed Programming.

Mae Milano, Rolph Recto, Tom Magrino, Andrew C. Myers

Proceedings of the 3rd Summit on Advances in Programming Languages, 2019

Efficient, Consistent Distributed Computation with Predictive Treaties.

Tom Magrino, Jed Liu, Nate Foster, Johannes Gehrke, Andrew C. Myers

Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany, March 25-28, 2019, 2019

Using Information Flow to Design an ISA that Controls Timing Channels.

Drew Zagieboylo, G. Edward Suh, Andrew C. Myers

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

JRIF: Reactive Information Flow Control for Java.

Elisavet Kozyri, Owen Arden, Andrew C. Myers, Fred B. Schneider

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

2018

A Web of Blocks.

Isaac C. Sheff, Xinwen Wang, Andrew C. Myers, Robbert van Renesse

CoRR, 2018

MixT: a language for mixing consistency in geodistributed transactions.

Mae Milano, Andrew C. Myers

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

Secure Autonomous Cyber-Physical Systems Through Verifiable Information Flow Control.

Jed Liu, Joe Corbett-Davies, Andrew Ferraiuolo, Alexander Ivanov, Mulong Luo, G. Edward Suh, Andrew C. Myers, Mark E. Campbell

Proceedings of the 2018 Workshop on Cyber-Physical Systems Security and PrivaCy, 2018

HyperFlow: A Processor Architecture for Nonmalleable, Timing-Safe Information Flow Security.

Andrew Ferraiuolo, Mark Zhao, Andrew C. Myers, G. Edward Suh

Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018

2017

SHErrLoc: A Static Holistic Error Locator.

Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones

ACM Trans. Program. Lang. Syst., 2017

Foreword.

Andrew C. Myers

ACM Trans. Program. Lang. Syst., 2017

Familia: unifying interfaces, type classes, and family polymorphism.

Yizhou Zhang, Andrew C. Myers

Proc. ACM Program. Lang., 2017

Fabric: Building open distributed systems securely by construction.

Jed Liu, Owen Arden, Michael D. George, Andrew C. Myers

J. Comput. Secur., 2017

Nonmalleable Information Flow: Technical Report.

Ethan Cecchetti, Andrew C. Myers, Owen Arden

CoRR, 2017

Secure Information Flow Verification with Mutable Dependent Types.

Andrew Ferraiuolo, Weizhe Hua, Andrew C. Myers, G. Edward Suh

Proceedings of the 54th Annual Design Automation Conference, 2017

Teaching Programming with Gamified Semantics.

Ian Arawjo, Cheng-Yao Wang, Andrew C. Myers, Erik Andersen, François Guimbretière

Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

Nonmalleable Information Flow Control.

Ethan Cecchetti, Andrew C. Myers, Owen Arden

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis.

Andrew Ferraiuolo, Rui Xu, Danfeng Zhang, Andrew C. Myers, G. Edward Suh

Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017

2016

Report on the NSF Workshop on Formal Methods for Security.

Stephen Chong, Joshua D. Guttman, Anupam Datta, Andrew C. Myers, Benjamin C. Pierce, Patrick Schaumont, Tim Sherwood, Nickolai Zeldovich

CoRR, 2016

Accepting blame for safe tunneled exceptions.

Yizhou Zhang, Guido Salvaneschi, Quinn Beightol, Barbara Liskov, Andrew C. Myers

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Lattice priority scheduling: Low-overhead timing-channel protection for a shared memory controller.

Andrew Ferraiuolo, Yao Wang, Danfeng Zhang, Andrew C. Myers, G. Edward Suh

Proceedings of the 2016 IEEE International Symposium on High Performance Computer Architecture, 2016

SecDCP: secure dynamic cache partitioning for efficient timing channel protection.

Yao Wang, Andrew Ferraiuolo, Danfeng Zhang, Andrew C. Myers, G. Edward Suh

Proceedings of the 53rd Annual Design Automation Conference, 2016

A Calculus for Flow-Limited Authorization.

Owen Arden, Andrew C. Myers

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

Safe Serializable Secure Scheduling: Transactions and the Trade-Off Between Security and Consistency.

Isaac C. Sheff, Tom Magrino, Jed Liu, Andrew C. Myers, Robbert van Renesse

Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security, 2016

2015

Diagnosing type errors with class.

Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, Simon L. Peyton Jones

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Lightweight, flexible object-oriented generics.

Yizhou Zhang, Matthew C. Loring, Guido Salvaneschi, Barbara Liskov, Andrew C. Myers

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Finding counterexamples from parsing conflicts.

Chinawat Isradisaikul, Andrew C. Myers

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

Flow-Limited Authorization.

Owen Arden, Jed Liu, Andrew C. Myers

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

A Hardware Design Language for Timing-Sensitive Information-Flow Security.

Danfeng Zhang, Yao Wang, G. Edward Suh, Andrew C. Myers

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2014

Using Program Analysis to Improve Database Applications.

Alvin Cheung, Samuel Madden, Armando Solar-Lezama, Owen Arden, Andrew C. Myers

IEEE Data Eng. Bull., 2014

Distributed Protocols and Heterogeneous Trust: Technical Report.

Isaac C. Sheff, Robbert van Renesse, Andrew C. Myers

CoRR, 2014

Defining and Enforcing Referential Security.

Jed Liu, Andrew C. Myers

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

Toward general diagnosis of static errors.

Danfeng Zhang, Andrew C. Myers

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Warranties for Faster Strong Consistency.

Jed Liu, Tom Magrino, Owen Arden, Michael D. George, Andrew C. Myers

Proceedings of the 11th USENIX Symposium on Networked Systems Design and Implementation, 2014

A Language-Based Approach to Secure Quorum Replication.

Lantian Zheng, Andrew C. Myers

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

2013

Speeding up database applications with Pyxis.

Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2013

How languages can save distributed computing.

Andrew C. Myers

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

Reconciling exhaustive pattern matching with objects.

Chinawat Isradisaikul, Andrew C. Myers

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2013

StatusQuo: Making Familiar Abstractions Perform Using Program Analysis.

Alvin Cheung, Owen Arden, Samuel Madden, Armando Solar-Lezama, Andrew C. Myers

Proceedings of the Sixth Biennial Conference on Innovative Data Systems Research, 2013

2012

Automatic Partitioning of Database Applications.

Alvin Cheung, Owen Arden, Samuel Madden, Andrew C. Myers

Proc. VLDB Endow., 2012

Preface.

Andrew C. Myers, Michael Backes

J. Comput. Secur., 2012

Sharing Mobile Code Securely with Information Flow Control.

Owen Arden, Michael D. George, Jed Liu, K. Vikram, Aslan Askarov, Andrew C. Myers

Proceedings of the IEEE Symposium on Security and Privacy, 2012

Language-based control and mitigation of timing channels.

Danfeng Zhang, Aslan Askarov, Andrew C. Myers

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

2011

Attacker Control and Impact for Confidentiality and Integrity

Aslan Askarov, Andrew C. Myers

Log. Methods Comput. Sci., 2011

Predictive mitigation of timing channels in interactive systems.

Danfeng Zhang, Aslan Askarov, Andrew C. Myers

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

2010

Using Security Policies to Write Secure Software.

Andrew C. Myers

Proceedings of the Logics and Languages for Reliability and Security, 2010

Homogeneous family sharing.

Xin Qi, Andrew C. Myers

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

Toward Securely Programming the Internet.

Andrew C. Myers

Proceedings of the Information Systems Security - 6th International Conference, 2010

A Semantic Framework for Declassification and Endorsement.

Aslan Askarov, Andrew C. Myers

Proceedings of the Programming Languages and Systems, 2010

Predictive black-box mitigation of timing channels.

Aslan Askarov, Danfeng Zhang, Andrew C. Myers

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009

Quantifying information flow with beliefs.

Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider

J. Comput. Secur., 2009

Technical perspective - Reframing security for the web.

Andrew C. Myers

Commun. ACM, 2009

Building secure web applications with automatic partitioning.

Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng

Commun. ACM, 2009

Fabric: a platform for secure distributed computation and storage.

Jed Liu, Michael D. George, K. Vikram, Xin Qi, Lucas Waye, Andrew C. Myers

Proceedings of the 22nd ACM Symposium on Operating Systems Principles 2009, 2009

Masked types for sound object initialization.

Xin Qi, Andrew C. Myers

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2009

Sharing classes between families.

Xin Qi, Andrew C. Myers

Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009

2008

A stateless approach to connection-oriented protocols.

Alan Shieh, Andrew C. Myers, Emin Gün Sirer

ACM Trans. Comput. Syst., 2008

Civitas: Toward a Secure Voting System.

Michael R. Clarkson, Stephen Chong, Andrew C. Myers

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

Securing nonintrusive web encryption through information flow.

Lantian Zheng, Andrew C. Myers

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

Guiding Distributed Systems Synthesis with Language-Based Security Policies.

Andrew C. Myers

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2008

End-to-End Enforcement of Erasure and Declassification.

Stephen Chong, Andrew C. Myers

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

2007

Dynamic security labels and static information flow control.

Lantian Zheng, Andrew C. Myers

Int. J. Inf. Sec., 2007

SIF: Enforcing Confidentiality and Integrity in Web Applications.

Stephen Chong, K. Vikram, Andrew C. Myers

Proceedings of the 16th USENIX Security Symposium, Boston, MA, USA, August 6-10, 2007, 2007

Secure web application via automatic partitioning.

Stephen Chong, Jed Liu, Andrew C. Myers, Xin Qi, K. Vikram, Lantian Zheng, Xin Zheng

Proceedings of the 21st ACM Symposium on Operating Systems Principles 2007, 2007

Civitas: A Secure Remote Voting System.

Michael E. Clarkson, Stephen Chong, Andrew C. Myers

Proceedings of the Frontiers of Electronic Voting, 29.07. - 03.08.2007, 2007

07091 Abstracts Collection - Mobility, Ubiquity and Security.

Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld

Proceedings of the Mobility, Ubiquity and Security, 25.02. - 02.03.2007, 2007

07091 Executive Summary - Mobility, Ubiquity and Security.

Gilles Barthe, Heiko Mantel, Peter Müller, Andrew C. Myers, Andrei Sabelfeld

Proceedings of the Mobility, Ubiquity and Security, 25.02. - 02.03.2007, 2007

2006

Enforcing Robust Declassification and Qualified Robustness.

Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic

J. Comput. Secur., 2006

Interruptible iterators.

Jed Liu, Aaron Kimball, Andrew C. Myers

Proceedings of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2006

J&: nested intersection for scalable software composition.

Nathaniel Nystrom, Xin Qi, Andrew C. Myers

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Decentralized Robustness.

Stephen Chong, Andrew C. Myers

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2005

Supporting workflow in a course management system.

Chavdar Botev, Hubert Chao, Theodore Chao, Yim Cheng, Raymond Doyle, Sergey Grankin, Jon Guarino, Saikat Guha, Pei-Chen Lee, Dan Perry, Christopher Ré, Ilya Rifkin, Tingyan Yuan, Dora Abdullah, Kathy Carpenter, David Gries, Dexter Kozen, Andrew C. Myers, David I. Schwartz, Jayavel Shanmugasundaram

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

Making distributed systems secure with program analysis and transformation.

Andrew C. Myers

Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 2005

Trickles: A Stateless Network Stack for Improved Scalability, Resilience, and Flexibility.

Alan Shieh, Andrew C. Myers, Emin Gün Sirer

Proceedings of the 2nd Symposium on Networked Systems Design and Implementation (NSDI 2005), 2005

Programming with Explicit Security Policies.

Andrew C. Myers

Proceedings of the Programming Languages and Systems, 2005

End-to-End Availability Policies and Noninterference.

Lantian Zheng, Andrew C. Myers

Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005

Belief in Information Flow.

Michael R. Clarkson, Andrew C. Myers, Fred B. Schneider

Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005

Language-Based Information Erasure.

Stephen Chong, Andrew C. Myers

Proceedings of the 18th IEEE Computer Security Foundations Workshop, 2005

2004

Scalable extensibility via nested inheritance.

Nathaniel Nystrom, Stephen Chong, Andrew C. Myers

Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2004

Dynamic Security Labels and Noninterference (Extended Abstract).

Lantian Zheng, Andrew C. Myers

Proceedings of the Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), 2004

Enforcing Robust Declassification.

Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

Security policies for downgrading.

Stephen Chong, Andrew C. Myers

Proceedings of the 11th ACM Conference on Computer and Communications Security, 2004

2003

Language-based information-flow security.

Andrei Sabelfeld, Andrew C. Myers

IEEE J. Sel. Areas Commun., 2003

Using Replication and Partitioning to Build Secure Distributed Systems.

Lantian Zheng, Stephen Chong, Andrew C. Myers, Steve Zdancewic

Proceedings of the 2003 IEEE Symposium on Security and Privacy (S&P 2003), 2003

JMatch: Iterable Abstract Pattern Matching for Java.

Jed Liu, Andrew C. Myers

Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

A Model for Delimited Information Release.

Andrei Sabelfeld, Andrew C. Myers

Proceedings of the Software Security, 2003

Observational Determinism for Concurrent Program Security.

Steve Zdancewic, Andrew C. Myers

Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

Polyglot: An Extensible Compiler Framework for Java.

Nathaniel Nystrom, Michael R. Clarkson, Andrew C. Myers

Proceedings of the Compiler Construction, 12th International Conference, 2003

2002

Secure program partitioning.

Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers

ACM Trans. Comput. Syst., 2002

Secure Information Flow via Linear Continuations.

Steve Zdancewic, Andrew C. Myers

High. Order Symb. Comput., 2002

2001

Untrusted Hosts and Confidentiality: Secure Program Partitioning.

Steve Zdancewic, Lantian Zheng, Nathaniel Nystrom, Andrew C. Myers

Proceedings of the 18th ACM Symposium on Operating System Principles, 2001

Security-Typed Languages and Distributed Computation.

Andrew C. Myers

Proceedings of the Static Analysis, 8th International Symposium, 2001

Secure Information Flow and CPS.

Steve Zdancewic, Andrew C. Myers

Proceedings of the Programming Languages and Systems, 2001

Robust Declassification.

Steve Zdancewic, Andrew C. Myers

Proceedings of the 14th IEEE Computer Security Foundations Workshop (CSFW-14 2001), 2001

2000

Protecting privacy using the decentralized label model.

Andrew C. Myers, Barbara Liskov

ACM Trans. Softw. Eng. Methodol., 2000

1999

Mostly-static decentralized information flow control.

Andrew C. Myers

PhD thesis, 1999

JFlow: Practical Mostly-Static Information Flow Control.

Andrew C. Myers

Proceedings of the POPL '99, 1999

1998

Complete, Safe Information Flow with Decentralized Labels.

Andrew C. Myers, Barbara Liskov

Proceedings of the Security and Privacy, 1998

1997

A Decentralized Model for Information Flow Control.

Andrew C. Myers, Barbara Liskov

Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

HAC: Hybrid Adaptive Caching for Distributed Storage Systems.

Miguel Castro, Atul Adya, Barbara Liskov, Andrew C. Myers

Proceedings of the Sixteenth ACM Symposium on Operating System Principles, 1997

Parameterized Types for Java.

Andrew C. Myers, Joseph A. Bank, Barbara Liskov

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

1996

Safe and Efficient Sharing of Persistent Objects in Thor.

Barbara Liskov, Atul Adya, Miguel Castro, Mark Day, Sanjay Ghemawat, Robert Gruber, Umesh Maheshwari, Andrew C. Myers, Liuba Shrira

Proceedings of the 1996 ACM SIGMOD International Conference on Management of Data, 1996

1995

Bidirectional Object Layout for Separate Compilation.

Andrew C. Myers

Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995

Subtypes vs. Where Clauses: Constraining Parametric Polymorphism.

Mark Day, Robert Gruber, Barbara Liskov, Andrew C. Myers

Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995

1993

References to Remote Mobile Objects in Thor.

Mark Day, Barbara Liskov, Umesh Maheshwari, Andrew C. Myers

LOPLAS, 1993

Resolving the Integrity/Performance Conflict.

Andrew C. Myers

Proceedings of the Proceedings Fourth Workshop on Workstation Operating Systems, 1993