Login / Signup
Mihai Dobrescu
Publication Activity (10 Years)
Years Active: 2009-2015
Publications (10 Years): 0
Top Topics
Hardware Designs
Hardware Platforms
Software Tools
Formal Methods
Top Venues
NSDI
Commun. ACM
HotNets
</>
Publications
</>
Mihai Dobrescu
,
Katerina J. Argyraki
Software dataplane verification.
Commun. ACM
58 (11) (2015)
Mihai Dobrescu
,
Katerina J. Argyraki
Software Dataplane Verification.
NSDI
(2014)
Mihai Dobrescu
,
Katerina J. Argyraki
Toward a verifiable software dataplane.
HotNets
(2013)
Mihai Dobrescu
,
Katerina J. Argyraki
,
Sylvia Ratnasamy
Toward Predictable Performance in Software Packet-Processing Platforms.
NSDI
(2012)
Kevin R. Fall
,
Gianluca Iannaccone
,
Maziar Manesh
,
Sylvia Ratnasamy
,
Katerina J. Argyraki
,
Mihai Dobrescu
,
Norbert Egi
RouteBricks: enabling general purpose network infrastructure.
ACM SIGOPS Oper. Syst. Rev.
45 (1) (2011)
Maziar Manesh
,
Katerina J. Argyraki
,
Mihai Dobrescu
,
Norbert Egi
,
Kevin R. Fall
,
Gianluca Iannaccone
,
Eddie Kohler
,
Sylvia Ratnasamy
Evaluating the suitability of server network cards for software routers.
PRESTO@CoNEXT
(2010)
Mihai Dobrescu
,
Katerina J. Argyraki
,
Gianluca Iannaccone
,
Maziar Manesh
,
Sylvia Ratnasamy
Controlling parallelism in a multicore software router.
PRESTO@CoNEXT
(2010)
Mihai Dobrescu
,
Norbert Egi
,
Katerina J. Argyraki
,
Byung-Gon Chun
,
Kevin R. Fall
,
Gianluca Iannaccone
,
Allan Knies
,
Maziar Manesh
,
Sylvia Ratnasamy
RouteBricks: exploiting parallelism to scale software routers.
SOSP
(2009)