Towards a Microscopic Traffic Simulation of All of Switzerland. - Bryan Raney; Andreas Voellmy; Nurhan Cetin; Milenko Vrtic; Kai Nagel (International Conference on Computational Science (1), 2002)

Nettle: A Language for Configuring Routing Networks. - Andreas Voellmy; Paul Hudak (DSL, 2009)

Proof of an interdomain policy: a load-balancing multi-homed network. - Andreas Voellmy (SafeConfig, 2009)

Nettle: Taking the Sting Out of Programming Network Routers. - Andreas Voellmy; Paul Hudak (PADL, 2011)

Procera: a language for high-level reactive network control. - Andreas Voellmy; Hyojoon Kim; Nick Feamster (HotSDN@SIGCOMM, 2012)

Scalable software defined network controllers. - Andreas Voellmy; Junchang Wang (SIGCOMM, 2012)

Mio: a high-performance multicore io manager for GHC. - Andreas Voellmy; Junchang Wang; Paul Hudak; Kazuhiko Yamamoto (Haskell, 2013)

Maple: simplifying SDN programming using algorithmic policies. - Andreas Voellmy; Junchang Wang; Yang Richard Yang; Bryan Ford; Paul Hudak (SIGCOMM, 2013)

Tango: Simplifying SDN Control with Automatic Switch Property Inference, Abstraction, and Optimization. - Aggelos Lazaris; Daniel Tahara; Xin Huang 008; Li Erran Li; Andreas Voellmy; Yang Richard Yang; Minlan Yu (CoNEXT, 2014)

Jive: Performance Driven Abstraction and Optimication for SDN. - Aggelos Lazaris; Daniel Tahara; Xin Huang 008; Li Erran Li; Andreas Voellmy; Yang Richard Yang; Minlan Yu (ONS, 2014)

Magellan: Generating Multi-Table Datapath from Datapath Oblivious Algorithmic SDN Policies. - Andreas Voellmy; Shenshen Chen; Xin Wang 036; Yang Richard Yang (SIGCOMM, 2016)