Travelled to:
1 × France
1 × Ireland
1 × USA
2 × Germany
Collaborated with:
K.J.Hoffman H.Metzger S.Jagannathan S.Balzer T.R.Gross T.Freudenreich S.Frischbier S.Appel A.P.Buchmann M.Viering T.Chen R.Hu L.Ziarek W.Wang Y.Kwon Y.Zheng Y.Aafer I.L.Kim W.Lee Y.Liu W.Meng X.Z.0001
Talks about:
program (2) system (2) object (2) model (2) relationship (1) censorship (1) implement (1) distribut (1) disciplin (1) collabor (1)
Person: Patrick Eugster
DBLP: Eugster:Patrick
Facilitated 1 volumes:
Contributed to:
Wrote 7 papers:
- ECOOP-2013-FreudenreichEFAB #implementation #object-oriented
- Implementing Federated Object Systems (TF, PE, SF, SA, APB), pp. 230–254.
- OOPSLA-2011-HoffmanME #memory management #named #programming
- Ribbons: a partially shared memory programming model (KJH, HM, PE), pp. 289–306.
- PLDI-2009-HoffmanEJ #analysis #semantics
- Semantics-aware trace analysis (KJH, PE, SJ), pp. 453–464.
- ICSE-2008-HoffmanE #aspect-oriented #component #composition #empirical #reuse #towards
- Towards reusable components with aspects: an empirical study on modularity and obliviousness (KJH, PE), pp. 91–100.
- ECOOP-2007-BalzerGE #reasoning #relational
- A Relational Model of Object Collaborations and Its Use in Reasoning About Relationships (SB, TRG, PE), pp. 323–346.
- ASE-2017-WangKZAKLLMZE #named #programming #web
- PAD: programming third-party web advertisement censorship (WW, YK, YZ, YA, ILK, WCL, YL, WM, XZ0, PE), pp. 240–251.
- ESOP-2018-VieringCEHZ #distributed #type system
- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems (MV, TCC, PE, RH, LZ), pp. 799–826.