Safe-for-Space Threads in Standard ML \Lambda (2009)
Edoardo Biagioni, Ken Cline, Peter Lee, Chris Okasaki, Chris Stone
Abstract Threads can easily be implemented using first-class continuations, but the straightforward approaches for doing so lead to space leaks, especially in a language with exceptions like Standard...
Internet Size Measurements (2007)
Edoardo Biagioni, Peter Hinely, Chun Liu, Xinmin Wang
We have developed techniques and tools to non-intrusively measure both the size and the performance of the Internet. Our measurements and techniques are designed to reveal the number of hosts...
A network protocol stack in Standard ML. Higher Order Symbol (2004)
Edoardo Biagioni, Robert Harper, Peter Lee
The FoxNet is an implementation of the standard TCP/IP networking protocol stack using the Standard ML (SML) language. SML is a type-safe (no type casts allowed) programming language with garbage...
A Reliability Layer for Ad-Hoc Wireless Sensor Network Routing (2004)
We have been studying communication in wireless adhoc sensor networks. One of the authors has designed the Multipath On-demand Routing (MOR) protocol [4], which makes use of all possible paths to a...
A network protocol stack in Standard ML. Higher Order Symbol (2004)
Edoardo Biagioni, Robert Harper, Peter Lee
Abstract. The FoxNet is an implementation of the standard TCP/IP networking protocol stack using the Standard ML (SML) language. SML is a type-safe programming language with garbage collection, a...
A network protocol stack in Standard ML. Higher Order Symbol (2004)
Edoardo Biagioni, Robert Harper, Peter Lee
Abstract. The FoxNet is an implementation of the standard TCP/IP networking protocol stack using the Standard ML (SML) language. SML is a type-safe programming language with garbage collection, a...
A Reliability Layer for Ad-Hoc Wireless Sensor Network Routing (2004)
Edoardo Biagioni, Shu Hui Chen
We have been studying communication in wireless adhoc sensor networks. One of the authors has designed the Multipath On-demand Routing (MOR) protocol [4], which makes use of all possible paths to a...
Edoardo Biagioni, Kim Bridges, Edoardo S. Biagioni, K. W. Bridges
We describe a wireless sensor network designed for the long-term study of rare and endangered species of plants. We wish to monitor plants and their environment via high-resolution cameras and...
PODS: Interpreting spatial and temporal environmental information (2001)
We are building wireless networks of environmental sensors to investigate why endangered species of plants will grow in one area but not in neighboring areas. We collect large amounts of data...
Note on Conditional Compilation in Standard ML, (1998)
Haines, Nicholas, Biagioni, Edoardo, Milnes, Brian G., Harper, Robert
In the Fox project we make frequent use of conditional code within Standard ML functors: code which depends on the functor arguments. The canonical example is instrumentation code for testing or...
Standard ML Signatures for a Protocol Stack, (1998)
Biagioni, Edoardo, Harper, Robert, Lee, Peter
This paper describes the design of a protocol stack implemented in Standard ML. Standard ML's signatures are a language construct which can be used to specify or constrain the interface of a module....
Safe-for-Space Threads in Standard ML (1998)
Edoardo Biagioni, Ken Cline, Peter Lee, Chris Okasaki, Chris Stone
Threads can easily be implemented using first-class continuations, but the straightforward approaches for doing so lead to space leaks, especially in a language with exceptions like Standard ML. We...
Safe-for-Space Threads in Standard ML (1998)
Edoardo Biagioni, Ken Cline, Peter Lee, Chris Okasaki, Chris Stone
Threads can easily be implemented using first-class continuations, but the straightforward approaches for doing so lead to space leaks, especially in a language with exceptions like Standard ML. We...
A Structured TCP in Standard ML (1994)
This paper describes the design of an implementation of the Transmission Control Protocol using an extension of the Standard ML (SML) language. SML supports higher-order functions, modularity, and...
Program Verification for Optimized Byte Copy (1994)
We present a program to copy bytes, together with a formal specification and a proof that the code satisfies the specification. The program, which is in the critical path for a network...
A Structured TCP in Standard ML (1994)
This paper describes the design of an implementation of the Transmission Control Protocol using an extension of the Standard ML (SML) language. SML supports higher-order functions, modularity, and...
Implementing Software Architectures in Standard ML (1994)
Edoardo Biagioni, Robert Harper, Peter Lee
ions Using Signatures The key to composability in a layered system architecture is to arrange for each layer to satisfy a standard interface. If every component satisfies the standard interface, and...
Standard ML Signatures for a Protocol Stack (1993)
Edoardo Biagioni, Robert Harper, Peter Lee
This paper describes the design of a protocol stack implemented in Standard ML. Standard ML's signatures are a language construct which can be used to specify or constrain the interface of a...
Note on Conditional Compilation in Standard ML (1993)
Nicholas Haines Edoardo, Nicholas Haines, Edoardo Biagioni, Robert Harper, Brian G. Milnes
In the Fox project we make frequent use of conditional code within Standard ML functors: code which depends on the functor arguments. The canonical example is instrumentation code for testing or...
Standard ML Signatures for a Protocol Stack (1993)
Edoardo Biagioni, Robert Harper, Peter Lee
This paper describes the design of a protocol stack implemented in Standard ML. Standard ML's signatures are a language construct which can be used to specify or constrain the interface of a...
Signatures for a Network Protocol Stack: A Systems Application of Standard ML
Edoardo Biagioni, Robert Harper, Peter Lee, Brian G. Milnes
Advanced programming languages such as Standard ML have rarely been used for systems programming tasks such as operating systems and network communications. In order to understand more fully the...