Travelled to:2 × United Kingdom
3 × USA
Collaborated with:T.Condie J.M.Hellerstein B.T.Loo T.Roscoe I.Stoica D.Chu B.Chun S.Shenker J.Kubiatowicz L.Martignoni S.McCamant P.Poosankam D.Song D.S.H.Rosenthal M.Roussopoulos M.Baker T.J.Giuli Y.Muliadi M.N.Garofalakis D.E.Gay R.Ramakrishnan
Talks about:declar (3) network (2) metacompil (1) implement (1) adversari (1) replica (1) preserv (1) overlay (1) languag (1) memori (1)
Person: Petros Maniatis
DBLP: Maniatis:Petros
Contributed to:
2012
2008
2007
200620052003Wrote 6 papers:
- ASPLOS-2012-MartignoniMPSM #testing
- Path-exploration lifting: hi-fi tests for lo-fi emulators (LM, SM, PP, DS, PM), pp. 337–348.
- VLDB-2008-CondieCHM #declarative #network
- Evita raced: metacompilation for declarative networks (TC, DC, JMH, PM), pp. 1153–1165.
- SOSP-2007-ChunMSK #memory management #word
- Attested append-only memory: making adversaries stick to their word (BGC, PM, SS, JK), pp. 189–204.
- SIGMOD-2006-LooCGGHMRRS #declarative #execution #network #optimisation
- Declarative networking: language, execution and optimization (BTL, TC, MNG, DEG, JMH, PM, RR, TR, IS), pp. 97–108.
- SOSP-2005-LooCHMRS #declarative #implementation
- Implementing declarative overlays (BTL, TC, JMH, PM, TR, IS), pp. 75–90.
- SOSP-2003-ManiatisRRBGM
- Preserving peer replicas by rate-limited sampled voting (PM, DSHR, MR, MB, TJG, YM), pp. 44–59.