-
2
-
-
21644433634
-
-
BARHAM, P., DRAGOVIC, B., FRASER, K., HAND, S., HARRIS, T., HO, A., NEUGEBAUER, R., PRATT, I., AND WARFIELD, A. Xen and the art of virtualization. In Proc. of 19th SOSP (Bolton Landing, NY, 2003), pp. 164-177.
-
BARHAM, P., DRAGOVIC, B., FRASER, K., HAND, S., HARRIS, T., HO, A., NEUGEBAUER, R., PRATT, I., AND WARFIELD, A. Xen and the art of virtualization. In Proc. of 19th SOSP (Bolton Landing, NY, 2003), pp. 164-177.
-
-
-
-
4
-
-
84892295050
-
A structured TCP in Standard ML
-
London, UK
-
BIAGIONI, E. A structured TCP in Standard ML. In Proc. of SIGCOMM (London, UK, 1994), pp. 36-45.
-
(1994)
Proc. of SIGCOMM
, pp. 36-45
-
-
BIAGIONI, E.1
-
5
-
-
0035730521
-
A network protocol stack in Standard ML
-
BIAGIONI, E., HARPER, R., AND LEE, P. A network protocol stack in Standard ML. Higher Order Symbolic Computing 14, 4 (2001), 309-356.
-
(2001)
Higher Order Symbolic Computing
, vol.14
, Issue.4
, pp. 309-356
-
-
BIAGIONI, E.1
HARPER, R.2
LEE, P.3
-
6
-
-
34548016232
-
Orion: Named flows with access control
-
Tech. rep, Fraser Research, Princeton, NJ, USA
-
BILLINGS, J., FRASER, A., AND SCOTT, D. Orion: Named flows with access control. Tech. rep., Fraser Research, Princeton, NJ, USA, 2005.
-
(2005)
-
-
BILLINGS, J.1
FRASER, A.2
SCOTT, D.3
-
7
-
-
34247536375
-
Type-safe distributed programming for OCaml
-
BILLINGS, J., SEWELL, P., SHINWELL, M., AND STRNISA, R. Type-safe distributed programming for OCaml. In Proceedings of the 2006 ACM-SIGPLAN Workshop on ML (2006).
-
(2006)
Proceedings of the 2006 ACM-SIGPLAN Workshop on ML
-
-
BILLINGS, J.1
SEWELL, P.2
SHINWELL, M.3
STRNISA, R.4
-
8
-
-
79961204066
-
-
BOS, H., DE BRUIJN, W., CRISTEA, M., NGUYEN, T., AND PORTOKALIDIS, G. FFPF: Fairly Fast Packet Filters. In Proc. of 6th Symp. on OSDI (2004), pp. 347-363.
-
BOS, H., DE BRUIJN, W., CRISTEA, M., NGUYEN, T., AND PORTOKALIDIS, G. FFPF: Fairly Fast Packet Filters. In Proc. of 6th Symp. on OSDI (2004), pp. 347-363.
-
-
-
-
9
-
-
85080775231
-
Thirty years is long enough: Getting beyond C
-
BREWER, E., CONDIT, J., MCCLOSKEY, B., AND ZHOU, F. Thirty years is long enough: Getting beyond C. In Proc. of 10th HotOS Workshop (2005).
-
(2005)
Proc. of 10th HotOS Workshop
-
-
BREWER, E.1
CONDIT, J.2
MCCLOSKEY, B.3
ZHOU, F.4
-
10
-
-
85084163657
-
-
CHU, H. K. J. Zero-copy TCP in Solaris. In Proceedings of the USENDC Annual Technical Conference (1996), USENIX, pp. 253-264.
-
CHU, H. K. J. Zero-copy TCP in Solaris. In Proceedings of the USENDC Annual Technical Conference (1996), USENIX, pp. 253-264.
-
-
-
-
12
-
-
33847320282
-
The main name system: An exercise in centralized computing
-
DEEGAN, T., CROWCROFT, J., AND WARFIELD, A. The main name system: an exercise in centralized computing. Computer Communications Review 35, 5 (2005), 5-14.
-
(2005)
Computer Communications Review
, vol.35
, Issue.5
, pp. 5-14
-
-
DEEGAN, T.1
CROWCROFT, J.2
WARFIELD, A.3
-
13
-
-
34548008304
-
-
PhD thesis, University of Cambridge
-
DEEGAN, T. J. The Main Name System. PhD thesis, University of Cambridge, 2006.
-
(2006)
The Main Name System
-
-
DEEGAN, T.J.1
-
14
-
-
0027206301
-
A concurrent, generational garbage collector for a multithreaded implementation of ML
-
Charleston, South Carolina
-
DOLIGEZ, D., AND LEROY, X. A concurrent, generational garbage collector for a multithreaded implementation of ML. In Proc. of the 20th Symp. on PoPL (Charleston, South Carolina, 1993), pp. 113-123.
-
(1993)
Proc. of the 20th Symp. on PoPL
, pp. 113-123
-
-
DOLIGEZ, D.1
LEROY, X.2
-
15
-
-
0027886590
-
Fbufs: A high-bandwidth cross-domain transfer facility
-
DRUSCHEL, P., AND PETERSON, L. L. Fbufs: a high-bandwidth cross-domain transfer facility. In Proc. of 14th SOSP (1993), pp. 189-202.
-
(1993)
Proc. of 14th SOSP
, pp. 189-202
-
-
DRUSCHEL, P.1
PETERSON, L.L.2
-
16
-
-
35048826236
-
Linear types for packet processing
-
Barcelona, Spain
-
ENNALS, R., SHARP, R., AND MYCROFT, A. Linear types for packet processing. In 13th European Symp. on Programming (Barcelona, Spain, 2004), pp. 204-218.
-
(2004)
13th European Symp. on Programming
, pp. 204-218
-
-
ENNALS, R.1
SHARP, R.2
MYCROFT, A.3
-
17
-
-
31844436571
-
PADS: A domain-specific language for processing ad hoc data
-
Chicago, IL
-
FISHER, K., AND GRUBER, R. PADS: a domain-specific language for processing ad hoc data. In Proc. of 2005 Conf on PLDI (Chicago, IL, 2005), pp. 295-304.
-
(2005)
Proc. of 2005 Conf on PLDI
, pp. 295-304
-
-
FISHER, K.1
GRUBER, R.2
-
18
-
-
17044398837
-
Combinators for bi-directional tree transformations: A linguistic approach to the view update problem
-
New York, NY, USA, ACM Press, pp
-
FOSTER, J. N., GREENWALD, M. B., MOORE, J. T., PIERCE, B. C., AND SCHMITT, A. Combinators for bi-directional tree transformations: a linguistic approach to the view update problem. In Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (New York, NY, USA, 2005), ACM Press, pp. 233-246.
-
(2005)
Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
, pp. 233-246
-
-
FOSTER, J.N.1
GREENWALD, M.B.2
MOORE, J.T.3
PIERCE, B.C.4
SCHMITT, A.5
-
19
-
-
33644889488
-
Programming with polymorphic variants
-
Baltimore, MD
-
GARRIGUE, J. Programming with polymorphic variants. In SIGPLAN Workshop on ML (Baltimore, MD, 1998).
-
(1998)
SIGPLAN Workshop on ML
-
-
GARRIGUE, J.1
-
20
-
-
33847255081
-
-
Philadelphia, PA
-
GRIFFIN, T. G., AND SOBRINHO, J. L. Metarouting. In Proc. of SIGCOMM (Philadelphia, PA, 2005), pp. 1-12.
-
(2005)
Proc. of SIGCOMM
, pp. 1-12
-
-
GRIFFIN, T.G.1
-
21
-
-
84975275909
-
Deploying safe user-level network services with icTCP
-
GUNAWI, H. S., ARPACI-DUSSEAU, A. C., AND ARPACI-DUSSEAU, R. H. Deploying safe user-level network services with icTCP. In Proc. of 6th Symp. on OSDI (2004), pp. 317-332.
-
(2004)
Proc. of 6th Symp. on OSDI
, pp. 317-332
-
-
GUNAWI, H.S.1
ARPACI-DUSSEAU, A.C.2
ARPACI-DUSSEAU, R.H.3
-
25
-
-
85084164164
-
Cyclone: A safe dialect of C
-
JIM, T., MORRISETT, G., GROSSMAN, D., HICKS, M., CHENEY, J., AND WANG, Y. Cyclone: A safe dialect of C. In Proceedings of USENIX Annual Tech. Conf (General Track) (2002), pp. 275-288.
-
(2002)
Proceedings of USENIX Annual Tech. Conf (General Track)
, pp. 275-288
-
-
JIM, T.1
MORRISETT, G.2
GROSSMAN, D.3
HICKS, M.4
CHENEY, J.5
WANG, Y.6
-
26
-
-
0003197222
-
DNS performance and the effectiveness of caching
-
San Francisco, CA
-
JUNG, J., SIT, E., BALAKRISHNAN, H., AND MORRIS, R. DNS performance and the effectiveness of caching. In Proc. of 1st Workshop on Internet Measurement (San Francisco, CA, 2001), pp. 153-167.
-
(2001)
Proc. of 1st Workshop on Internet Measurement
, pp. 153-167
-
-
JUNG, J.1
SIT, E.2
BALAKRISHNAN, H.3
MORRIS, R.4
-
27
-
-
0033205007
-
A readable TCP in the Prolac protocol language
-
Cambridge, MA
-
KOHLER, E., KAASHOEK, M. F., AND MONTGOMERY, D. R. A readable TCP in the Prolac protocol language. In Proc. of SIGCOMM (Cambridge, MA, 1999), pp. 3-13.
-
(1999)
Proc. of SIGCOMM
, pp. 3-13
-
-
KOHLER, E.1
KAASHOEK, M.F.2
MONTGOMERY, D.R.3
-
28
-
-
0040291388
-
The Click modular router
-
KOHLER, E., MORRIS, R., CHEN, B., JANNOTTI, J., AND KAASHOEK, M. F. The Click modular router. ACM Trans. on Computer Systems 18, 3 (2000), 263-297.
-
(2000)
ACM Trans. on Computer Systems
, vol.18
, Issue.3
, pp. 263-297
-
-
KOHLER, E.1
MORRIS, R.2
CHEN, B.3
JANNOTTI, J.4
KAASHOEK, M.F.5
-
29
-
-
0004148166
-
-
online, 2005
-
LEROY, X., DOLIGEZ, D., GARRIGUE, J., RÉMY, D., AND VOUILLON, J. The Objective Caml system [online]. 2005. http://caml.inria.fr/.
-
The Objective Caml system
-
-
LEROY, X.1
DOLIGEZ, D.2
GARRIGUE, J.3
RÉMY, D.4
VOUILLON, J.5
-
31
-
-
84885583527
-
Implementing declarative overlays
-
LOO, B. T., CONDIE, T., HELLERSTEIN, J. M., MANIATIS, P., ROSCOE, T., AND STOICA, I. Implementing declarative overlays. In Proc. of 20th SOSP (2005), pp. 75-90.
-
(2005)
Proc. of 20th SOSP
, pp. 75-90
-
-
LOO, B.T.1
CONDIE, T.2
HELLERSTEIN, J.M.3
MANIATIS, P.4
ROSCOE, T.5
STOICA, I.6
-
34
-
-
26944491088
-
PLAT: A tool for model-checking and dynamically enforcing abstractions
-
MADHAVAPEDDY, A., SCOTT, D., AND SHARP, R. SPLAT: A tool for model-checking and dynamically enforcing abstractions. In 12th Int'l SPIN Workshop on Model Checking of Software (2005), pp. 277-281.
-
(2005)
12th Int'l SPIN Workshop on Model Checking of Software
, pp. 277-281
-
-
MADHAVAPEDDY, A.1
SCOTT, D.2
SHARP, R.S.3
-
35
-
-
0033659255
-
Packet types: Abstract specification of network protocol messages
-
MCCANN, P. J., AND CHANDRA, S. Packet types: Abstract specification of network protocol messages. In Proc. of SIGCOMM (2000), pp. 321-333.
-
(2000)
Proc. of SIGCOMM
, pp. 321-333
-
-
MCCANN, P.J.1
CHANDRA, S.2
-
38
-
-
34548044633
-
DNS server survey [online
-
mydns.bboy.net/ survey
-
MOORE, D. DNS server survey [online]. 2004. mydns.bboy.net/ survey/.
-
(2004)
-
-
MOORE, D.1
-
40
-
-
0036040304
-
CCured: Type-safe retrofitting of legacy code
-
Portland, OR
-
NECULA, G. C., MCPEAK, S., AND WEIMER, W. CCured: Type-safe retrofitting of legacy code. In Proc. of 29th Symp. on POPL (Portland, OR, 2002), pp. 128-139.
-
(2002)
Proc. of 29th Symp. on POPL
, pp. 128-139
-
-
NECULA, G.C.1
MCPEAK, S.2
WEIMER, W.3
-
41
-
-
84255186114
-
-
O'MALLEY, S., PROEBSTING, T., ANDM ONTZ, A. B. Usc: a universal stub compiler. In Proceedings of the Conference on Communications Architectures, Protocols and Applications (New York, NY, USA, 1994), ACM Press, pp. 295-306.
-
O'MALLEY, S., PROEBSTING, T., ANDM ONTZ, A. B. Usc: a universal stub compiler. In Proceedings of the Conference on Communications Architectures, Protocols and Applications (New York, NY, USA, 1994), ACM Press, pp. 295-306.
-
-
-
-
42
-
-
34547396634
-
-
PANG, R., PAXSON, V., SOMMER, R., AND PETERSON, L. binpac: A yace for writing application protocol parsers. In Proceedings of the Internet Measurement Conference (2006).
-
PANG, R., PAXSON, V., SOMMER, R., AND PETERSON, L. binpac: A yace for writing application protocol parsers. In Proceedings of the Internet Measurement Conference (2006).
-
-
-
-
43
-
-
0031078267
-
Investigating the influence of formal methods
-
PFLEEGER, S. L., AND HATTON, L. Investigating the influence of formal methods. Computer 30, 2 (1997), 33-43.
-
(1997)
Computer
, vol.30
, Issue.2
, pp. 33-43
-
-
PFLEEGER, S.L.1
HATTON, L.2
-
44
-
-
0005025933
-
The use of name spaces in Plan 9
-
PIKE, R., PRESOTTO, D., THOMPSON, K., TRICKEY, H., AND WINTERBOTTOM, P. The use of name spaces in Plan 9. Operating Systems Review 27, 2 (1993), 72-76.
-
(1993)
Operating Systems Review
, vol.27
, Issue.2
, pp. 72-76
-
-
PIKE, R.1
PRESOTTO, D.2
THOMPSON, K.3
TRICKEY, H.4
WINTERBOTTOM, P.5
-
45
-
-
85048404745
-
Preventing privilege escalation
-
PROVOS, N., FRIEDL, M., AND HONEYMAN, P. Preventing privilege escalation. In Proc. of 12th USENIX Security Symposium (2003), pp. 231-242.
-
(2003)
Proc. of 12th USENIX Security Symposium
, pp. 231-242
-
-
PROVOS, N.1
FRIEDL, M.2
HONEYMAN, P.3
-
46
-
-
84962424119
-
ScanSSH: Scanning the internet for SSH servers
-
San Diego, CA
-
PROVOS, N., AND HONEYMAN, P. ScanSSH: Scanning the internet for SSH servers. In Proc. of 15th LISA (San Diego, CA, 2001), pp. 25-30.
-
(2001)
Proc. of 15th LISA
, pp. 25-30
-
-
PROVOS, N.1
HONEYMAN, P.2
-
47
-
-
0030679107
-
Objective ML: A simple object-oriented extension of ML
-
RÉMY, D., AND VOUILLON, J. Objective ML: a simple object-oriented extension of ML. In Proc. of 24th Symp. on POPL (1997), pp. 40-53.
-
(1997)
Proc. of 24th Symp. on POPL
, pp. 40-53
-
-
RÉMY, D.1
VOUILLON, J.2
-
48
-
-
0031643965
-
Eliminating array bound checking through dependent types
-
XI, H., AND PFENNING, F. Eliminating array bound checking through dependent types. In Proc. of Conf. on PLDI (1998), pp. 249-257.
-
(1998)
In Proc. of Conf. on PLDI
, pp. 249-257
-
-
XI, H.1
PFENNING, F.2
|