Search Results - "Foster, Nate"

Validation of Progression‐Free Survival as a Surrogate Endpoint for Overall Survival in Malignant Mesothelioma: Analysis of Cancer and Leukemia Group B and North Central Cancer Treatment Group (Alliance) Trials by Wang, Xiaofei, Wang, Xiaoyi, Hodgson, Lydia, George, Stephen L., Sargent, Daniel J., Foster, Nate R., Ganti, Apar Kishor, Stinchcombe, Thomas E., Crawford, Jeffrey, Kratzke, Robert, Adjei, Alex A., Kindler, Hedy L., Vokes, Everett E., Pang, Herbert

“…Purpose The aim of this study was to investigate whether progression‐free survival (PFS) can be considered a surrogate endpoint for overall survival (OS) in…”
Get full text

Toward Synthesis of Network Updates by Noyes, Andrew, Warszawski, Todd, Černý, Pavol, Foster, Nate

“…Updates to network configurations are notoriously difficult to implement correctly. Even if the old and new configurations are correct, the update process can…”
Get full text

Forwarding and Routing With Packet Subscriptions by Jepsen, Theo, Fattaholmanan, Ali, Moshref, Masoud, Foster, Nate, Carzaniga, Antonio, Soule, Robert

“…In this paper, we explore how programmable data planes can naturally provide a higher-level of service to user applications via a new abstraction called packet…”
Get full text

Merlin: A Language for Managing Network Resources by Soule, Robert, Basu, Shrutarshi, Marandi, Parisa Jalili, Pedone, Fernando, Kleinberg, Robert, Sirer, Emin Gun, Foster, Nate

“…This paper presents Merlin, a framework for managing resources in software-defined networks. With Merlin, administrators express high-level policies using…”
Get full text

Early Operation in Patients With Mitral Valve Infective Endocarditis and Acute Stroke Is Safe by Ghoreishi, Mehrdad, Foster, Nate, Pasrija, Chetan, Shah, Aakash, Watkins, A. Claire, Evans, Charlie F., Maghami, Sam, Quinn, Rachael, Wehman, Brody, Taylor, Bradley S., Dawood, Murtaza Y., Griffith, Bartley P., Gammie, James S.

“…To determine if preoperative embolic stroke is associated with an increased risk of postoperative stroke among patients undergoing early operation for mitral…”
Get full text

Formal Abstractions for Packet Scheduling by Mohan, Anshuman, Liu, Yunhe, Foster, Nate, Kappé, Tobias, Kozen, Dexter

“…Early programming models for software-defined networking (SDN) focused on basic features for controlling network-wide forwarding paths, but more recent work…”
Get full text

Leapfrog: Certified Equivalence for Protocol Parsers by Doenges, Ryan, Kappé, Tobias, Sarracino, John, Foster, Nate, Morrisett, Greg

“…Proc. PLDI 2022, 950-965 We present Leapfrog, a Coq-based framework for verifying equivalence of network protocol parsers. Our approach is based on an automata…”
Get full text

KATch: A Fast Symbolic Verifier for NetKAT by Moeller, Mark, Jacobs, Jules, Belanger, Olivier Savary, Darais, David, Schlesinger, Cole, Smolka, Steffen, Foster, Nate, Silva, Alexandra

“…We develop new data structures and algorithms for checking verification queries in NetKAT, a domain-specific language for specifying the behavior of network…”
Get full text

P4Testgen: An Extensible Test Oracle For P4 by Ruffy, Fabian, Liu, Jed, Kotikalapudi, Prathima, Havel, Vojtěch, Tavante, Hanneli, Sherwood, Rob, Dubina, Vladyslav, Peschanenko, Volodymyr, Sivaraman, Anirudh, Foster, Nate

“…ACM SIGCOMM 2023 Conference (ACM SIGCOMM '23) We present P4Testgen, a test oracle for the P4$_{16}$ language. P4Testgen supports automatic test generation for…”
Get full text

Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks by Wagemaker, Jana, Foster, Nate, Kappé, Tobias, Kozen, Dexter, Rot, Jurriaan, Silva, Alexandra

“…Proc. ESOP 2022, pp 575-602 We introduce Concurrent NetKAT (CNetKAT), an extension of NetKAT with operators for specifying and reasoning about concurrency in…”
Get full text

Dependently-Typed Data Plane Programming by Eichholz, Matthias, Campbell, Eric Hayden, Krebs, Matthias, Foster, Nate, Mezini, Mira

“…Programming languages like P4 enable specifying the behavior of network data planes in software. However, with increasingly powerful and complex applications…”
Get full text

TxForest: A DSL for Concurrent Filestores by DiLorenzo, Jonathan, Mancini, Katie, Fisher, Kathleen, Foster, Nate

“…Many systems use ad hoc collections of files and directories to store persistent data. For consumers of this data, the process of properly parsing, using, and…”
Get full text

How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4 by Eichholz, Matthias, Campbell, Eric, Foster, Nate, Salvaneschi, Guido, Mezini, Mira

“…The P4 programming language offers high-level, declarative abstractions that bring the flexibility of software to the domain of networking. Unfortunately, the…”
Get full text

Cantor meets Scott: Semantic Foundations for Probabilistic Networks by Smolka, Steffen, Kumar, Praveen, Foster, Nate, Kozen, Dexter, Silva, Alexandra

“…ProbNetKAT is a probabilistic extension of NetKAT with a denotational semantics based on Markov kernels. The language is expressive enough to generate…”
Get full text

Optimizing horn solvers for network repair by Hojjat, Hossein, Rummer, Philipp, McClurg, Jedidiah, Cerny, Pavol, Foster, Nate

“…Automatic program repair modifies a faulty program to make it correct with respect to a specification. Previous approaches have typically been restricted to…”
Get full text

Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time by Smolka, Steffen, Foster, Nate, Hsu, Justin, Kappé, Tobias, Kozen, Dexter, Silva, Alexandra

“…Proc. POPL 2020, pp 61:1-61:28 Guarded Kleene Algebra with Tests (GKAT) is a variation on Kleene Algebra with Tests (KAT) that arises by restricting the union…”
Get full text

Patterns: Integrating Enterprise Service Buses in a Service-Oriented Architecture by Redbooks, IBM

Get full text

Scalable Verification of Probabilistic Networks by Smolka, Steffen, Kumar, Praveen, Kahn, David M, Foster, Nate, Hsu, Justin, Kozen, Dexter, Silva, Alexandra

“…In Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI '19), June 22-26, 2019, Phoenix, AZ, USA. ACM, New…”
Get full text

Petr4: Formal Foundations for P4 Data Planes by Doenges, Ryan, Arashloo, Mina Tahmasbi, Bautista, Santiago, Chang, Alexander, Ni, Newton, Parkinson, Samwise, Peterson, Rudy, Solko-Breslin, Alaia, Xu, Amanda, Foster, Nate

“…P4 is a domain-specific language for programming and specifying packet-processing systems. It is based on an elegant design with high-level abstractions like…”
Get full text

Optimal Consistent Network Updates in Polynomial Time by Cerny, Pavol, Foster, Nate, Jagnik, Nilesh, McClurg, Jedidiah

“…Software-defined networking (SDN) allows operators to control the behavior of a network by programatically managing the forwarding rules installed on switches…”
Get full text