Nate Foster

117 papers A* 19A 15B 4Misc 8Journal 45Unranked 24
YearRankTypeTitle / Venue / Authors
2025 J jnl
Active Learning of Symbolic NetKAT Automata.
CoRR
Mark Moeller, Tiago Ferreira, Thomas Lu, Nate Foster, Alexandra Silva
2025 J jnl
Active Learning of Symbolic NetKAT Automata.
Proc. ACM Program. Lang.
Mark Moeller, Tiago Ferreira, Thomas Lu, Nate Foster, Alexandra Silva
2025 J jnl
It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols.
Commun. ACM
David A. Basin, Nate Foster, Kenneth L. McMillan, Kedar S. Namjoshi, Cristina Nita-Rotaru, Jonathan M. Smith, Pamela Zave, Lenore D. Zuck
2025 J jnl
It Takes a Village: Bridging the Gaps between Current and Formal Specifications for Protocols.
CoRR
David A. Basin, Nate Foster, Kenneth L. McMillan, Kedar S. Namjoshi, Cristina Nita-Rotaru, Jonathan M. Smith, Pamela Zave, Lenore D. Zuck
2025 A conf
Lightweight Hypervisor Verification: Putting the Hardware Burger on a Diet.
HotOS
Charly Castes, François Costa, Nate Foster, Thomas Bourgeat, Edouard Bugnion
2025 J jnl
StacKAT: Infinite State Network Verification.
CoRR
Jules Jacobs, Nate Foster, Tobias Kappé, Dexter Kozen, Lily Saada, Alexandra Silva, Jana Wagemaker
2025 J jnl
StacKAT: Infinite State Network Verification.
Proc. ACM Program. Lang.
Jules Jacobs, Nate Foster, Tobias Kappé, Dexter Kozen, Lily Saada, Alexandra Silva, Jana Wagemaker
2025 A* conf
The Design and Implementation of a Virtual Firmware Monitor.
SOSP
Charly Castes, François Costa, Neelu S. Kalani, Timothy Roscoe, Nate Foster, Thomas Bourgeat, Edouard Bugnion
2024 J jnl
Computing Precise Control Interface Specifications.
Proc. ACM Program. Lang.
Eric Hayden Campbell, Hossein Hojjat, Nate Foster
2024 J jnl
KATch: A Fast Symbolic Verifier for NetKAT.
CoRR
Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
2024 J jnl
KATch: A Fast Symbolic Verifier for NetKAT.
Proc. ACM Program. Lang.
Mark Moeller, Jules Jacobs, Olivier Savary Bélanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, Alexandra Silva
2024 Misc conf
Network Design Considerations for Trading Systems.
HotNets
Andy Myers, Brian Nigito, Nate Foster
2023 J jnl
Automata Learning with an Incomplete Teacher (Artifact).
Dagstuhl Artifacts Ser.
Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva
2023 A conf
Automata Learning with an Incomplete Teacher.
ECOOP
Mark Moeller, Thomas Wiener, Alaia Solko-Breslin, Caleb Koch, Nate Foster, Alexandra Silva
2023 J jnl
Formal Abstractions for Packet Scheduling.
Proc. ACM Program. Lang.
Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen
2023 A* conf
Hydra: Effective Runtime Network Verification.
SIGCOMM
Sundararajan Renganathan, Benny Rubin, Hyojoon Kim, Pier Luigi Ventre, Carmelo Cascone, Daniele Moro, Charles Chan, Nick McKeown, Nate Foster
2023 B conf
P4Cub: A Little Language for Big Routers.
CPP
Rudy Peterson, Eric Hayden Campbell, John Chen, Natalie Isak, Calvin Shyu, Ryan Doenges, Parisa Ataei, Nate Foster
2023 A* conf
P4Testgen: An Extensible Test Oracle For P4-16.
SIGCOMM
Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Hanneli Tavante, Rob Sherwood, Vladyslav Dubina, Volodymyr Peschanenko, Anirudh Sivaraman, Nate Foster
2022 — conf
Causal network telemetry.
EuroP4@CoNEXT
Yunhe Liu, Nate Foster, Fred B. Schneider
2022 A conf
Concurrent NetKAT - Modeling and analyzing stateful, concurrent networks.
ESOP
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
2022 J jnl
Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks.
CoRR
Jana Wagemaker, Nate Foster, Tobias Kappé, Dexter Kozen, Jurriaan Rot, Alexandra Silva
2022 J jnl
Dependently-Typed Data Plane Programming.
CoRR
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini
2022 J jnl
Dependently-typed data plane programming.
Proc. ACM Program. Lang.
Matthias Eichholz, Eric Hayden Campbell, Matthias Krebs, Nate Foster, Mira Mezini
2022 J jnl
Formal Abstractions for Packet Scheduling.
CoRR
Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen
2022 J jnl
Forwarding and Routing With Packet Subscriptions.
IEEE/ACM Trans. Netw.
Theo Jepsen, Ali Fattaholmanan, Masoud Moshref, Nate Foster, Antonio Carzaniga, Robert Soulé
2022 J jnl
Leapfrog: Certified Equivalence for Protocol Parsers.
CoRR
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
2022 A* conf
Leapfrog: certified equivalence for protocol parsers.
PLDI
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, Greg Morrisett
2022 J jnl
P4Testgen: An Extensible Test Oracle For P4.
CoRR
Fabian Ruffy, Jed Liu, Prathima Kotikalapudi, Vojtech Havel, Rob Sherwood, Vlad Dubina, Volodymyr Peschanenko, Nate Foster, Anirudh Sivaraman
2021 Misc conf
Avenir: Managing Data Plane Diversity with Control Plane Synthesis.
NSDI
Eric Hayden Campbell, William T. Hallahan, Priya Srikumar, Carmelo Cascone, Jed Liu, Vignesh Ramamurthy, Hossein Hojjat, Ruzica Piskac, Robert Soulé, Nate Foster
2021 J jnl
Petr4: formal foundations for p4 data planes.
Proc. ACM Program. Lang.
Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster
2020 A* conf
Composing Dataplane Programs with μP4.
SIGCOMM
Hardik Soni, Myriana Rifai, Praveen Kumar, Ryan Doenges, Nate Foster
2020 A conf
Forwarding and routing with packet subscriptions.
CoNEXT
Theo Jepsen, Ali Fattaholmanan, Masoud Moshref, Nate Foster, Antonio Carzaniga, Robert Soulé
2020 J jnl
Guarded Kleene algebra with tests: verification of uninterpreted programs in nearly linear time.
Proc. ACM Program. Lang.
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
2020 J jnl
Petr4: Formal Foundations for P4 Data Planes.
CoRR
Ryan Doenges, Mina Tahmasbi Arashloo, Santiago Bautista, Alexander Chang, Newton Ni, Samwise Parkinson, Rudy Peterson, Alaia Solko-Breslin, Amanda Xu, Nate Foster
2020 J jnl
Using deep programmability to put network owners in control.
Comput. Commun. Rev.
Nate Foster, Nick McKeown, Jennifer Rexford, Guru M. Parulkar, Larry L. Peterson, M. Oguz Sunay
2019 — conf
Ancile: Enhancing Privacy for Ubiquitous Computing with Use-Based Privacy.
WPES@CCS
Eugene Bagdasaryan, Griffin Berlstein, Jason Waterman, Eleanor Birrell, Nate Foster, Fred B. Schneider, Deborah Estrin
2019 A conf
Efficient, Consistent Distributed Computation with Predictive Treaties.
EuroSys
Tom Magrino, Jed Liu, Nate Foster, Johannes Gehrke, Andrew C. Myers
2019 — conf
Fast String Searching on PISA.
SOSR
Theo Jepsen, Daniel Álvarez, Nate Foster, Changhoon Kim, Jeongkeun Lee, Masoud Moshref, Robert Soulé
2019 J jnl
Guarded Kleene Algebra with Tests: Verification of Uninterpreted Programs in Nearly Linear Time.
CoRR
Steffen Smolka, Nate Foster, Justin Hsu, Tobias Kappé, Dexter Kozen, Alexandra Silva
2019 A conf
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.
ECOOP
Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
2019 J jnl
How to Avoid Making a Billion-Dollar Mistake: Type-Safe Data Plane Programming with SafeP4.
CoRR
Matthias Eichholz, Eric Hayden Campbell, Nate Foster, Guido Salvaneschi, Mira Mezini
2019 A* conf
PicNIC: predictable virtualized NIC.
SIGCOMM
Praveen Kumar, Nandita Dukkipati, Nathan Lewis, Yi Cui, Yaogong Wang, Chonggang Li, Valas Valancius, Jake Adriaens, Steve D. Gribble, Nate Foster, Amin Vahdat
2019 J jnl
Programmable Network Data Planes (Dagstuhl Seminar 19141).
Dagstuhl Reports
Gianni Antichi, Theophilus Benson, Nate Foster, Fernando M. V. Ramos, Justine Sherry
2019 A* conf
Proof-Carrying Network Code.
CCS
Christian Skalka, John H. Ring, David Darais, Minseok Kwon, Sahil Gupta, Kyle Diller, Steffen Smolka, Nate Foster
2019 — conf
Property conveyances as a programming language.
Onward!
Shrutarshi Basu, Nate Foster, James Grimmelmann
2019 J jnl
Scalable Verification of Probabilistic Networks.
CoRR
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
2019 A* conf
Scalable verification of probabilistic networks.
PLDI
Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, Alexandra Silva
2019 B conf
TxForest: A DSL for Concurrent Filestores.
APLAS
Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster
2019 J jnl
TxForest: A DSL for Concurrent Filestores.
CoRR
Jonathan DiLorenzo, Katie Mancini, Kathleen Fisher, Nate Foster
2018 — conf
Life in the Fast Lane: A Line-Rate Linear Road.
SOSR
Theo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, Robert Soulé
2018 J jnl
Merlin: A Language for Managing Network Resources.
IEEE/ACM Trans. Netw.
Robert Soulé, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert Kleinberg, Emin Gün Sirer, Nate Foster
2018 J jnl
NetChain: Scale-Free Sub-RTT Coordination (Extended Version).
CoRR
Xin Jin, Xiaozhou Li, Haoyu Zhang, Nate Foster, Jeongkeun Lee, Robert Soulé, Changhoon Kim, Ion Stoica
2018 Misc conf
NetChain: Scale-Free Sub-RTT Coordination.
NSDI
Xin Jin, Xiaozhou Li, Haoyu Zhang, Nate Foster, Jeongkeun Lee, Robert Soulé, Changhoon Kim, Ion Stoica
2018 — conf
Network Verification: Successes, Challenges, and Opportunities.
PLAS@CCS
Nate Foster
2018 Misc conf
Packet Subscriptions for Programmable ASICs.
HotNets
Theo Jepsen, Masoud Moshref, Antonio Carzaniga, Nate Foster, Robert Soulé
2018 — conf
Semi-Oblivious Traffic Engineering with SMORE.
ANRW
Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiunlin Lim, Robert Soulé
2018 Misc conf
Semi-Oblivious Traffic Engineering: The Road Not Taken.
NSDI
Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert Kleinberg, Petr Lapukhov, Chiunlin Lim, Robert Soulé
2018 J jnl
Theory and Practice of Data Plane Programming (NII Shonan Meeting 2018-4).
NII Shonan Meet. Rep.
Nate Foster, Motoyoshi Sekiya
2018 — conf
YATES: Rapid Prototyping for Traffic Engineering Systems.
SOSR
Praveen Kumar, Chris Yu, Yang Yuan, Nate Foster, Robert Kleinberg, Robert Soulé
2018 A* conf
p4v: practical verification for programmable data planes.
SIGCOMM
Jed Liu, William T. Hallahan, Cole Schlesinger, Milad Sharif, Jeongkeun Lee, Robert Soulé, Han Wang, Calin Cascaval, Nick McKeown, Nate Foster
2017 A* conf
Cantor meets scott: semantic foundations for probabilistic networks.
POPL
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
2017 J jnl
Deciding Probabilistic Program Equivalence in NetKAT.
CoRR
Steffen Smolka, David M. Kahn, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
2017 — conf
Life on the Edge: Unraveling Policies into Configurations.
ANCS
Shrutarshi Basu, Nate Foster, Hossein Hojjat, Paparao Palacharla, Christian Skalka, Xi Wang
2017 A* conf
NetCache: Balancing Key-Value Stores with Fast In-Network Caching.
SOSP
Xin Jin, Xiaozhou Li, Haoyu Zhang, Robert Soulé, Jeongkeun Lee, Nate Foster, Changhoon Kim, Ion Stoica
2017 — conf
P4FPGA: A Rapid Prototyping Framework for P4.
SOSR
Han Wang, Robert Soulé, Huynh Tu Dang, Ki Suh Lee, Vishal Shrivastav, Nate Foster, Hakim Weatherspoon
2017 — conf
Software-programmed optical networking with integrated NFV service provisioning.
OFC
Victor Dantas Mehmeri, Xi Wang, Shrutarshi Basu, Qiong Zhang, Paparao Palacharla, Tadashi Ikeuchi, Idelfonso Tafur Monroy, Juan Jose Vegas Olmos, Nate Foster
2017 A* conf
The next 700 network programming languages (invited talk).
STOC
Nate Foster
2016 J jnl
Cantor meets Scott: Domain-Theoretic Foundations for Probabilistic Network Programming.
CoRR
Steffen Smolka, Praveen Kumar, Nate Foster, Dexter Kozen, Alexandra Silva
2016 A* conf
Event-driven network programming.
PLDI
Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný
2016 — conf
Felix: Implementing Traffic Measurement on End Hosts Using Program Analysis.
SOSR
Haoxian Chen, Nate Foster, Jake Silverman, Michael J. Whittaker, Brandon Zhang, Rene Zhang
2016 A conf
Incremental forest: a DSL for efficiently managing filestores.
OOPSLA
Jonathan DiLorenzo, Richard Zhang, Erin Menzies, Kathleen Fisher, Nate Foster
2016 J jnl
Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing.
CoRR
Praveen Kumar, Yang Yuan, Chris Yu, Nate Foster, Robert D. Kleinberg, Robert Soulé
2016 A conf
Optimal Consistent Network Updates in Polynomial Time.
DISC
Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg
2016 J jnl
Optimal Consistent Network Updates in Polynomial Time.
CoRR
Pavol Cerný, Nate Foster, Nilesh Jagnik, Jedidiah McClurg
2016 B conf
Optimizing horn solvers for network repair.
FMCAD
Hossein Hojjat, Philipp Rümmer, Jedidiah McClurg, Pavol Cerný, Nate Foster
2016 A conf
Probabilistic NetKAT.
ESOP
Nate Foster, Dexter Kozen, Konstantinos Mamouras, Mark Reitblatt, Alexandra Silva
2016 — conf
Safe and Flexible Controller Upgrades for SDNs.
SOSR
Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks
2015 A* conf
A Coalgebraic Decision Procedure for NetKAT.
POPL
Nate Foster, Dexter Kozen, Mae Milano, Alexandra Silva, Laure Thompson
2015 J jnl
A Fast Compiler for NetKAT.
CoRR
Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha
2015 A conf
A fast compiler for NetKAT.
ICFP
Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha
2015 A* conf
Efficient synthesis of network updates.
PLDI
Jedidiah McClurg, Hossein Hojjat, Pavol Cerný, Nate Foster
2015 J jnl
Formal Foundations for Networking (Dagstuhl Seminar 15071).
Dagstuhl Reports
Nikolaj S. Bjørner, Nate Foster, Philip Brighten Godfrey, Pamela Zave
2015 J jnl
Morpheus: Safe and Flexible Dynamic Updates for SDNs.
CoRR
Karla Saur, Joseph M. Collard, Nate Foster, Arjun Guha, Laurent Vanbever, Michael W. Hicks
2015 — conf
SPN OS: Managing network services with virtual network objects.
NFV-SDN
Xi Wang, Cong Chen, Paparao Palacharla, Motoyoshi Sekiya, Steffen Smolka, Nate Foster
2015 J jnl
Specification and Compilation of Event-driven SDN Programs.
CoRR
Jedidiah McClurg, Hossein Hojjat, Nate Foster, Pavol Cerný
2015 — conf
The Homeostasis Protocol: Avoiding Transaction Coordination Through Program Analysis.
SIGMOD Conference
Sudip Roy, Lucja Kot, Gabriel Bender, Bailu Ding, Hossein Hojjat, Christoph Koch, Nate Foster, Johannes Gehrke
2015 — conf
You and your graduate research.
PLMW@POPL
Nate Foster
2014 J jnl
Abstractions for software-defined networks.
Commun. ACM
Martín Casado, Nate Foster, Arjun Guha
2014 J jnl
Efficient Synthesis of Network Updates.
CoRR
Jedidiah McClurg, Nate Foster, Pavol Cerný
2014 A conf
Merlin: A Language for Provisioning Network Resources.
CoNEXT
Robert Soulé, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert D. Kleinberg, Emin Gün Sirer, Nate Foster
2014 J jnl
Merlin: A Language for Provisioning Network Resources.
CoRR
Robert Soulé, Shrutarshi Basu, Parisa Jalili Marandi, Fernando Pedone, Robert Kleinberg, Emin Gün Sirer, Nate Foster
2014 A conf
MiCA: A Compositional Architecture for Gossip Protocols.
ECOOP
Lonnie Princehouse, Rakesh Chenchu, Zhefu Jiang, Kenneth P. Birman, Nate Foster, Robert Soulé
2014 A* conf
NetkAT: semantic foundations for networks.
POPL
Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, David Walker
2014 J jnl
Writes that Fall in the Forest and Make no Sound: Semantics-Based Adaptive Data Consistency.
CoRR
Sudip Roy, Lucja Kot, Nate Foster, Johannes Gehrke, Hossein Hojjat, Christoph Koch
2013 Misc conf
Composing Software Defined Networks.
NSDI
Christopher Monsanto, Joshua Reich, Nate Foster, Jennifer Rexford, David Walker
2013 — conf
FatTire: declarative fault tolerance for software-defined networks.
HotSDN
Mark Reitblatt, Marco Canini, Arjun Guha, Nate Foster
2013 — conf
HotSwap: correct and efficient controller upgrades for software-defined networks.
HotSDN
Laurent Vanbever, Joshua Reich, Theophilus Benson, Nate Foster, Jennifer Rexford
2013 J jnl
Languages for software-defined networks.
IEEE Commun. Mag.
Nate Foster, Arjun Guha, Mark Reitblatt, Alec Story, Michael J. Freedman, Naga Praveen Katta, Christopher Monsanto, Joshua Reich, Jennifer Rexford, Cole Schlesinger, David Walker, Rob Harrison
2013 J jnl
Lenses for Web Data.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Raghu Rajkumar, Nate Foster, Sam Lindley, James Cheney
2013 A* conf
Machine-verified network controllers.
PLDI
Arjun Guha, Mark Reitblatt, Nate Foster
2013 Misc conf
Managing the network with Merlin.
HotNets
Robert Soulé, Shrutarshi Basu, Robert Kleinberg, Emin Gün Sirer, Nate Foster
2013 J jnl
Modular SDN Programming with Pyretic.
login Usenix Mag.
Joshua Reich, Christopher Monsanto, Nate Foster, Jennifer Rexford, David Walker
2013 — ed.
Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, HotSDN 2013, The Chinese University of Hong Kong, Hong Kong, China, Friday, August 16, 2013
HotSDN
Nate Foster, Rob Sherwood
2013 — conf
Toward Synthesis of Network Updates.
SYNT
Andrew Noyes, Todd Warszawski, Pavol Cerný, Nate Foster
2013 B conf
Tutorial: Practical verification of network programs.
FMCAD
Nate Foster, Arjun Guha, Mark Reitblatt, Cole Schlesinger
2012 A* conf
A compiler and run-time system for network programming languages.
POPL
Christopher Monsanto, Nate Foster, Rob Harrison, David Walker
2012 A* conf
Abstractions for network update.
SIGCOMM
Mark Reitblatt, Nate Foster, Jennifer Rexford, Cole Schlesinger, David Walker
2012 — conf
Specifying and Verifying the Correctness of Dynamic Software Updates.
VSTTE
Christopher M. Hayden, Stephen Magill, Michael Hicks, Nate Foster, Jeffrey S. Foster
2012 — conf
Splendid isolation: a slice abstraction for software-defined networks.
HotSDN@SIGCOMM
Stephen Gutz, Alec Story, Cole Schlesinger, Nate Foster
2011 Misc conf
Consistent updates for software-defined networks: change you can believe in!
HotNets
Mark Reitblatt, Nate Foster, Jennifer Rexford, David Walker
2011 — ed.
Database Programming Languages - DBPL 201, 13th International Symposium, Seattle, Washington, USA, August 29, 2011. Proceedings
DBPL
Nate Foster, Anastasios Kementsietsidis
2011 A conf
Forest: a language and toolkit for programming with filestores.
ICFP
Kathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu
2011 A conf
Frenetic: a network programming language.
ICFP
Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, David Walker
2010 — conf
Frenetic: a high-level language for OpenFlow networks.
PRESTO@CoNEXT
Nate Foster, Michael J. Freedman, Rob Harrison, Jennifer Rexford, Matthew L. Meola, David Walker
2010 A conf
Matching lenses: alignment and view update.
ICFP
Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce
2010 — conf
Three Complementary Approaches to Bidirectional Programming.
SSGIP
Nate Foster, Kazutaka Matsuda, Janis Voigtländer
2009 — conf
Provenance: a future history.
OOPSLA Companion
James Cheney, Stephen Chong, Nate Foster, Margo I. Seltzer, Stijn Vansummeren