Travelled to:2 × United Kingdom
9 × USA
Collaborated with:R.Morris M.F.Kaashoek M.Mammarella S.Hovsepian W.Zheng S.Tu B.Liskov N.Zeldovich A.T.Clements D.Mazières B.Chen M.N.Krohn N.Narula C.Cutler M.Emmi R.Jhala R.Majumdar S.Boyd-Wickizer J.Jannotti R.T.Morris S.Madden R.Cox T.Bergan R.Kumar A.Singhania A.Castner M.B.Srivastava C.Frost A.d.l.Reyes A.Matsuoka L.Zhang A.Yip M.Z.Brodsky N.Cliffer P.Efstathopoulos S.Vandebogart C.Frey D.Ziegler
Talks about:system (4) multicor (3) modular (3) memori (3) processor (2) transact (2) scalabl (2) program (2) databas (2) router (2)
Person: Eddie Kohler
DBLP: Kohler:Eddie
Contributed to:
2014
20132009
2009
2008
200720072006200520021999Wrote 14 papers:
- OSDI-2014-NarulaCKM #in memory #transaction
- Phase Reconciliation for Contended In-Memory Transactions (NN, CC, EK, RM), pp. 511–524.
- OSDI-2014-ZhengTKL #database #manycore #parallel #performance
- Fast Databases with Fast Durability and Recovery Through Multicore Parallelism (WZ, ST, EK, BL), pp. 465–477.
- SOSP-2013-ClementsKZMK #commutative #design #manycore #scalability
- The scalable commutativity rule: designing scalable software for multicore processors (ATC, MFK, NZ, RTM, EK), pp. 1–17.
- SOSP-2013-TuZKLM #database #in memory #manycore #transaction
- Speedy transactions in multicore in-memory databases (ST, WZ, EK, BL, SM), pp. 18–32.
- SOSP-2009-MammarellaHK #composition
- Modular data storage with Anvil (MM, SH, EK), pp. 147–160.
- TACAS-2009-EmmiJKM #implementation #verification
- Verifying Reference Counting Implementations (ME, RJ, EK, RM), pp. 352–367.
- ASPLOS-2008-CoxBCKK #compilation #programming
- Xoc, an extension-oriented compiler for systems programming (RC, TB, ATC, MFK, EK), pp. 244–254.
- DAC-2007-KumarSCKS #embedded #memory management
- A System For Coarse Grained Memory Protection In Tiny Embedded Processors (RK, AS, AC, EK, MBS), pp. 218–223.
- SOSP-2007-FrostMKRHMZ #dependence #file system
- Generalized file system dependencies (CF, MM, EK, AdlR, SH, AM, LZ), pp. 307–320.
- SOSP-2007-KrohnYBCKKM #abstraction #data flow #standard
- Information flow control for standard OS abstractions (MNK, AY, MZB, NC, MFK, EK, RM), pp. 321–334.
- OSDI-2006-ZeldovichBKM #data flow
- Making Information Flow Explicit in HiStar (NZ, SBW, EK, DM), pp. 263–278.
- SOSP-2005-EfstathopoulosKVFZKMKM #operating system #process
- Labels and event processes in the Asbestos operating system (PE, MNK, SV, CF, DZ, EK, DM, MFK, RM), pp. 17–30.
- ASPLOS-2002-KohlerMC #composition #optimisation #programming language
- Programming language optimizations for modular router configurations (EK, RM, BC), pp. 251–263.
- SOSP-1999-MorrisKJK #composition
- The Click modular router (RM, EK, JJ, MFK), pp. 217–231.