After transition from a Ph.D. candidate to a software engineer, I really enjoy building large scale systems and hacking if necessary!
Software Development Engineer @ Azure auto-pilot networks From September 2015 to Present (2 months) Greater Seattle AreaR&D intern @ Apply header space analysis to debug virtual networks From June 2015 to August 2015 (3 months) Palo AltoResearch Assistant @ Middleboxes: Modified the Linux kernel network stack to support dynamic service chaining (middlebox service).
Resource Management: Abstracted a network resource allocation problem to a new class of multi-commodity flow problem, and solved the problem with exact linear programming and randomized rounding algorithms.
Network Verification: Designed a C-style, GDB-like assertion language for network debugger using VeriFlow, a real-time network debugging tool. From September 2013 to June 2015 (1 year 10 months) Princeton, NJTeaching assistant for COS318 Operating Systems @ I led TA lectures and designed projects and grading scripts for COS318, Operating Systems. From September 2014 to January 2015 (5 months) Princeton NJResearch Intern @ ---Designed and evaluated an efficient video-streaming algorithm for cellular network assuming the bandwidth is predictable from the carrier side.
---Project published in an ACM workshop. From June 2014 to August 2014 (3 months) Bedminster NJSoftware Engineering Intern @ ---Designed, implemented and evaluated a cache friendly Vickery auction algorithm in Amazon backend servers for ads placement.
---System deployed into production and currently serving all Amazon product pages. From June 2013 to August 2013 (3 months) Greater Seattle AreaResearch Assistant @ ---Integrated VeriFlow, the first real-time SDN data plane-debugging tool to verify network-wide invariants.
---Work led to publication in NSDI, press releases (http://bit.ly/1BXvN74 and http://bit.ly/16nEf56); now part of startup Veriflow Inc. From May 2012 to May 2013 (1 year 1 month) Urbana-Champaign, Illinois Area
Master of Arts (MA), Computer Science, 3.87 @ Princeton University From 2013 to 2015 Bachelor of Science (BS), Computer Science, 3.76 @ University of Illinois at Urbana-Champaign From 2011 to 2013 Bachelor of Science (B.S.), Chemistry, 3.7 @ Fudan University From 2008 to 2010 Xuan Zou is skilled in: Computer Networking, Operating Systems, Distributed Systems, Algorithms, C++, C, Python, LaTeX, Machine Learning, Java, Linux
Websites:
http://www.cs.princeton.edu/~xuanz