Travelled to:1 × China
1 × Ireland
1 × Poland
1 × Portugal
1 × Turkey
1 × United Kingdom
13 × USA
2 × Italy
3 × Canada
3 × France
Collaborated with:∅ X.Qi B.Liskov D.Zhang Y.Zhang N.Nystrom J.Liu C.Isradisaikul S.Zdancewic A.Cheung O.Arden S.Madden M.Milano S.Chong G.E.Suh G.Salvaneschi L.Zheng M.Castro A.Adya M.Day R.Gruber A.Askarov A.Kimball M.R.Clarkson J.A.Bank K.Vikram Y.Wang D.Vytiniotis S.L.P.Jones M.C.Loring Quinn Beightol A.Ferraiuolo Rui Xu M.D.George L.Waye X.Zheng S.Ghemawat U.Maheshwari L.Shrira
Talks about:secur (9) flow (6) distribut (5) languag (5) object (5) inform (5) type (5) program (3) control (3) static (3)
Person: Andrew C. Myers
DBLP: Myers:Andrew_C=
Contributed to:
2015
2015
201420132013
20132012
2012
201020092009
2009200720062006
2005
20052004
2003
20032001
200120011999199719971996199520172016201820192017Wrote 37 papers:
- ASPLOS-2015-ZhangWSM #data flow #design #hardware #information management #security
- A Hardware Design Language for Timing-Sensitive Information-Flow Security (DZ, YW, GES, ACM), pp. 503–516.
- PLDI-2015-IsradisaikulM #parsing
- Finding counterexamples from parsing conflicts (CI, ACM), pp. 555–564.
- PLDI-2015-ZhangLSLM #flexibility #lightweight #object-oriented
- Lightweight, flexible object-oriented generics (YZ, MCL, GS, BL, ACM), pp. 436–445.
- PLDI-2015-ZhangMVJ #fault
- Diagnosing type errors with class (DZ, ACM, DV, SLPJ), pp. 12–21.
- POPL-2014-ZhangM #fault #towards
- Toward general diagnosis of static errors (DZ, ACM), pp. 569–582.
- PLDI-2013-IsradisaikulM #pattern matching
- Reconciling exhaustive pattern matching with objects (CI, ACM), pp. 343–354.
- POPL-2013-Myers #distributed #how
- How languages can save distributed computing (ACM), pp. 315–316.
- SIGMOD-2013-CheungAMM #database
- Speeding up database applications with Pyxis (AC, OA, SM, ACM), pp. 969–972.
- PLDI-2012-ZhangAM
- Language-based control and mitigation of timing channels (DZ, AA, ACM), pp. 99–110.
- VLDB-2012-CheungAMM #automation #clustering #database
- Automatic Partitioning of Database Applications (AC, OA, SM, ACM), pp. 1471–1482.
- OOPSLA-2010-QiM #product line
- Homogeneous family sharing (XQ, ACM), pp. 520–538.
- PLDI-2009-QiM #product line
- Sharing classes between families (XQ, ACM), pp. 281–292.
- POPL-2009-QiM
- Masked types for sound object initialization (XQ, ACM), pp. 53–65.
- SOSP-2009-LiuGVQWM #distributed #framework #named #platform
- Fabric: a platform for secure distributed computation and storage (JL, MDG, KV, XQ, LW, ACM), pp. 321–334.
- SOSP-2007-ChongLMQVZZ #automation #clustering #web
- Secure web application via automatic partitioning (SC, JL, ACM, XQ, KV, LZ, XZ), pp. 31–44.
- OOPSLA-2006-NystromQM #composition #scalability
- J&: nested intersection for scalable software composition (NN, XQ, ACM), pp. 21–36.
- POPL-2006-LiuKM
- Interruptible iterators (JL, AK, ACM), pp. 283–294.
- ESOP-2005-Myers #policy #programming #security
- Programming with Explicit Security Policies (ACM), pp. 1–4.
- PASTE-2005-Myers #distributed #program analysis #program transformation
- Making distributed systems secure with program analysis and transformation (ACM), p. 47.
- OOPSLA-2004-NystromCM #inheritance #scalability
- Scalable extensibility via nested inheritance (NN, SC, ACM), pp. 99–115.
- CC-2003-NystromCM #compilation #framework #java #named
- Polyglot: An Extensible Compiler Framework for Java (NN, MRC, ACM), pp. 138–152.
- PADL-2003-LiuM #java #named #pattern matching
- JMatch: Iterable Abstract Pattern Matching for Java (JL, ACM), pp. 110–127.
- ESOP-2001-ZdancewicM #continuation #data flow
- Secure Information Flow and CPS (SZ, ACM), pp. 46–61.
- SAS-2001-Myers #distributed
- Security-Typed Languages and Distributed Computation (ACM), pp. 437–438.
- SOSP-2001-ZdancewicZNM #clustering
- Untrusted Hosts and Confidentiality: Secure Program Partitioning (SZ, LZ, NN, ACM), pp. 1–14.
- POPL-1999-Myers #data flow #named
- JFlow: Practical Mostly-Static Information Flow Control (ACM), pp. 228–241.
- POPL-1997-BankLM #java
- Parameterized Types for Java (ACM, JAB, BL), pp. 132–145.
- SOSP-1997-CastroALM #adaptation #distributed #hybrid #named
- HAC: Hybrid Adaptive Caching for Distributed Storage Systems (MC, AA, BL, ACM), pp. 102–115.
- SOSP-1997-MyersL #data flow #distributed
- A Decentralized Model for Information Flow Control (ACM, BL), pp. 129–142.
- SIGMOD-1996-LiskovACDGGMMS #performance #persistent
- Safe and Efficient Sharing of Persistent Objects in Thor (BL, AA, MC, MD, SG, RG, UM, ACM, LS), pp. 318–329.
- OOPSLA-1995-DayGLM #morphism #parametricity #polymorphism #type system
- Subtypes vs. Where Clauses: Constraining Parametric Polymorphism (MD, RG, BL, ACM), pp. 156–168.
- OOPSLA-1995-Myers #bidirectional #compilation #layout
- Bidirectional Object Layout for Separate Compilation (ACM), pp. 124–139.
- OOPSLA-2017-ZhangM #interface #morphism #named #polymorphism #product line
- Familia: unifying interfaces, type classes, and family polymorphism (YZ, ACM), p. 31.
- PLDI-2016-ZhangSBLM #exception
- Accepting blame for safe tunneled exceptions (YZ, GS, QB, BL, ACM), pp. 281–295.
- PLDI-2018-MilanoM #consistency #named #transaction
- MixT: a language for mixing consistency in geodistributed transactions (MM, ACM), pp. 226–241.
- POPL-2019-ZhangM
- Abstraction-safe effect handlers via tunneling (YZ, ACM), p. 29.
- ASPLOS-2017-FerraiuoloXZMS #analysis #architecture #data flow #hardware #security #verification
- Verification of a Practical Hardware Security Architecture Through Static Information Flow Analysis (AF, RX, DZ, ACM, GES), pp. 555–568.