Travelled to:1 × Spain
1 × Sweden
1 × United Kingdom
4 × USA
Collaborated with:M.Castro J.Martin K.Vaswani L.Zhou L.Zhang T.L.Harris P.Akritidis M.Peinado M.J.Parkinson D.Vytiniotis Aaron Blankstein P.Barham T.Kuchta C.Cadar J.Martin M.Hicks Piyus Kedia J.Crowcroft A.I.T.Rowstron R.S.0001 A.Lal N.P.Lopes S.K.Rajamani S.A.Seshia A.Donnelly R.Black P.Deligiannis D.McDermott Jonathan Balkind
Talks about:softwar (3) secur (3) memori (2) manual (2) better (2) manag (2) block (2) safe (2) isol (2) fast (2)
Person: Manuel Costa
DBLP: Costa:Manuel
Contributed to:
2014
2010
2009
20082007
20062005
2017
20162017Wrote 10 papers:
- ASE-2014-KuchtaCCC #automation #documentation #named #towards
- Docovery: toward generic automatic document recovery (TK, CC, MC, MC), pp. 563–574.
- POPL-2010-MartinHCAC #c #c++ #concurrent #policy #source code
- Dynamically checking ownership policies in concurrent c/c++ programs (JPM, MH, MC, PA, MC), pp. 457–470.
- SOSP-2009-CastroCMPADBB #fault #performance
- Fast byte-granularity software fault isolation (MC, MC, JPM, MP, PA, AD, PB, RB), pp. 45–58.
- ASPLOS-2008-CastroCM #debugging #privacy
- Better bug reporting with better privacy (MC, MC, JPM), pp. 319–328.
- SOSP-2007-CostaCZZP #named
- Bouncer: securing software by blocking bad input (MC, MC, LZ, LZ, MP), pp. 117–130.
- OSDI-2006-CastroCH #data flow
- Securing Software by Enforcing Data-flow Integrity (MC, MC, TLH), pp. 147–160.
- SOSP-2005-CostaCCRZZB #internet #named
- Vigilante: end-to-end containment of internet worms (MC, JC, MC, AITR, LZ, LZ, PB), pp. 133–147.
- OOPSLA-2017-ParkinsonVVCDMB #dot-net #memory management
- Project snowflake: non-blocking safe manual memory management in .NET (MJP, DV, KV, MC, PD, DM, AB, JB), p. 25.
- PLDI-2016-0001CLLRSV #design #verification
- A design and verification methodology for secure isolated regions (RS0, MC, AL, NPL, SKR, SAS, KV), pp. 665–681.
- PLDI-2017-KediaCPVVB #memory management #performance
- Simple, fast, and safe manual memory management (PK, MC, MJP, KV, DV, AB), pp. 233–247.