Thomas Huining Feng

  Ph.D., EECS, U.C. Berkeley
  Sr. Software Engineer, LinkedIn Corp.

  http://thomasfeng.com/
  huining.feng@gmail.com
  +1 (510) 384-6498


1 PROFESSIONAL INTERESTS

  Cyber-physical system
  Modeling and simulation
  Program analysis and optimization
  Cloud computing
  Parallel and distributed systems
  Software engineering, fault tolerance


2 EDUCATION

  2009
  Ph.D., Electrical Engineering and Computer Sciences, U.C. Berkeley, USA.

  2004
  M.Sc., Computer Science, McGill University, Montreal, Canada.

  2002
  B.Sc., Computer Science and Technology, Nanjing University, Nanjing, China.


3 WORK EXPERIENCE

  2010 - Now
  Senior Software Engineer, LinkedIn Corp., Mountain View, CA.
  Design and implement a distributed data server with high performance, scalability and availability, providing global indexing, parallel data access, and assurance of data consistency and integrity. Build LinkedIn company pages as an application of the data server. Perform data analysis to derive user engagement metrics from the real-time events gathered from the application.

  2009 - 2010
  Member of Technical Staff, Oracle Corp., Redwood Shores, CA.
  Created a new PL/SQL compiler that was more reliable and more efficient. Invented a grammar specification language to formally define the PL/SQL syntax and to automatically bootstrap the compiler. Designed and developed new features and language constructs to support more structural PL/SQL programs in Oracle databases.

  2007
  Researcher, IBM T.J. Watson Research Center.
  Invented and implemented an algorithm to improve performance of a real-time distributed discrete-event system based on queueing theory, dynamically collected performance metrics, and heuristics about system bottlenecks.

  2006
  Researcher, IBM T.J. Watson Research Center.
  Invented and implemented a distributed transparently fault-tolerant and highly-available middleware for component-oriented applications, supporting discrete-event computation semantics, secondary backup servers, and incremental checkpointing with message replay for system recovery. (Patent)


4 RESEARCH EXPERIENCE

  2004 - 2009
  Researcher, Ptolemy Group, EECS, U.C. Berkeley.
  Created an event-oriented modeling and simulation tool on the Ptolemy II research framework. Invented a graphical modeling language by extending event graphs with hierarchical model composition and integration with other existing modeling languages. Developed a model transformation theory based on this modeling language for scalable composition of subsystems. (Collaboration with Lockheed Martin and Bosch research labs, funded by NSF and US Army Research.)

  2008
  Mentor, Google Summer of Code (GSOC).
  Mentored GSOC students and improved a discrete-event execution theory for distributed real-time systems. Built a prototype of the theory using modeling and simulation tools.

  2002 - 2004
  Researcher, Modeling, Simulation and Design Lab (MSDL), McGill.
  Created a modeling language with extensions to Statecharts. Built a modeling and simulation tool for the language, and a code generator to automatically convert models into source code in multiple programming languages.

  2000 - 2002
  Researcher, Network Communication Group, Nanjing University.
  Researched techniques to improve performance of Multiprotocol Label Switching (MPLS) networks.


5 PATENT

  United States Patent No. 7,937,618. Distributed Fault-Tolerant and Highly Available Computing System. Chitra Dorai, Robert E. Strom, Huining Feng. Issued on 05/03/2011.

  United States Patent Publication No. 2011/0023050. System and Method for Time-Aware Run-Time to Guarantee Time. Robert E. Strom, Chitra Dorai, Huining Feng, Wei Zheng. Published on 01/27/2011.


6 PUBLICATIONS

  [1]  Thomas Huining Feng. Compositional modeling and design of multi-way dataflow in cloud computing environment. System Engineering – Theory & Practice (In Press), 2011.
  [2]  Kyungmin Bae, Peter Csaba Olveczky, Thomas Huining Feng, Edward A. Lee, and Stavros Tripakis. Verifying hierarchical Ptolemy II discrete-event models using Real-Time Maude. Science of Computer Programming (In Press), 2011.
  [3]  Thomas Huining Feng, Edward A. Lee, and Lee W. Schruben. Ptera: An event-oriented model of computation for heterogeneous systems. In ACM International Conference on Embedded Software (EMSOFT 2010), Scottsdale, Arizona, USA, Oct. 2010.
  [4]  Thomas Huining Feng. System Simulation and Analysis Using Hierarchical Event Relationship Graphs. Application Research of Computers, Jul. 2010.
  [5]  Thomas Huining Feng. Dynamic program analysis based on partitioning and summarization. Application Research of Computers, Jun. 2010.
  [6]  Thomas Huining Feng. System design and simulation with composing models of computation. Application Research of Computers, Jun. 2010.
  [7]  Kyungmin Bae, Peter Csaba Olveczky, Thomas Huining Feng, and Stavros Tripakis. Verifying Ptolemy II discrete-event models using Real-Time Maude. In IEEE International Conference on Formal Engineering Methods (ICFEM 2009), Rio de Janeiro, Brazil, Dec. 2009.
  [8]  Rob Strom, Chitra Dorai, Thomas Huining Feng, and Wei Zheng. Deterministic replay for transparent recovery in component-oriented middleware. In IEEE International Conference on Distributed Computing Systems (ICDCS 2009), Montreal, Quebec, Canada, Jun. 2009.
  [9]  Thomas Huining Feng. Model Transformation with Hierarchical Discrete-Event Control. PhD thesis, EECS Department, University of California, Berkeley, May 2009.
  [10] Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, and Patricia Derler. Execution strategies for PTIDES, a programming model for distributed embedded systems. In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2009), San Francisco, CA, USA, Apr. 2009.
  [11] Thomas Huining Feng. Engineering structurally configurable models with model transformation, Dec. 2008. Master thesis.
  [12] Christopher Brooks, Chihhong Cheng, Thomas Huining Feng, Edward A. Lee, and Reinhard von Hanxleden. Model engineering using multimodeling. In ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS 2008), Workshop on Model Co-Evolution and Consistency Management, Toulouse, France, Sep. 2008.
  [13] Thomas Huining Feng and Edward A. Lee. Scalable models using model transformation. In ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS 2008), Workshop on Model Based Architecting and Construction of Embedded Systems, Toulouse, France, Sep. 2008.
  [14] Shamik Bandyopadhyay, Thomas Huining Feng, Hiren D. Patel, and Edward A. Lee. A scratchpad memory allocation scheme for dataflow models. Technical Report UCB/EECS-2008-104, EECS Department, University of California, Berkeley, Aug. 2008.
  [15] Patricia Derler, Thomas Huining Feng, Edward A. Lee, Slobodan Matic, Hiren D. Patel, Yang Zhao, and Jia Zou. PTIDES: A programming model for distributed real-time embedded systems. Technical Report UCB/EECS-2008-72, EECS Department, University of California, Berkeley, May 2008.
  [16] Thomas Huining Feng, Edward A. Lee, Hiren D. Patel, and Jia Zou. Toward an effective execution policy for distributed real-time embedded systems. In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2008), Work-in-Progress Session, St. Louis, MO, USA, Apr. 2008.
  [17] Thomas Huining Feng and Edward A. Lee. Real-time distributed discrete-event execution with fault tolerance. In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2008), St. Louis, MO, USA, Apr. 2008.
  [18] Christopher Brooks, Thomas Huining Feng, Edward A. Lee, and Reinhard von Hanxleden. Multimodeling: A preliminary case study. Technical Report UCB/EECS-2008-7, EECS Department, University of California, Berkeley, Jan. 2008.
  [19] Thomas Huining Feng, Miriam Zia, and Hans Vangheluwe. Multi-formalism modelling and model transformation for the design of reactive systems. In ACM/SIGSIM Summer Computer Simulation Conference (SCSC 2007), San Diego, CA, USA, Jul. 2007.
  [20] Thomas Huining Feng, Lynn Wang,Wei Zheng, Sri Kanajan, and Sanjit A. Seshia. Automatic model generation for black box real-time systems. In ACM/IEEE Design, Automation and Test in Europe Conference (DATE 2007), Acropolis, Nice, France, 2007.
  [21] Adam Cataldo, Elaine Cheong, Thomas Huining Feng, Edward A. Lee, and Andrew Mihal. A formalism for higher-order composition languages that satisfies the Church-Rosser property. Technical Report UCB/EECS-2006-48, EECS Department, University of California, Berkeley, May 2006.
  [22] Thomas Huining Feng and Edward A. Lee. Incremental checkpointing with application to distributed discrete event simulation. In Winter Simulation Conference (WSC 2006), Monterey, USA, 2006.
  [23] Thomas Huining Feng and Hans Vangheluwe. Modeling and simulation based design with DCharts. In Conference on Conceptual Modeling and Simulation (CSM 2004), Genoa, Italy, 2004.
  [24] Thomas Huining Feng. DCharts, a formalism for modeling and simulation based design of reactive software systems, Feb. 2004. Master thesis.
  [25] Thomas Huining Feng and Hans Vangheluwe. Case study: Consistency problems in a UML model of a chat room. In International Conference on the Unified Modelling Language (UML 2003), Workshop on Consistency Problems in UML-based Software Development II, San Francisco, USA, 2003.
  [26] Thomas Huining Feng. A virtual machine supporting multiple Statechart extensions. In ACM/SIGSIM Summer Computer Simulation Conference (SCSC 2003), Student Workshop, Montreal, Canada, 2003.
  [27] Thomas Huining Feng. An extended semantics for a Statechart virtual machine. In ACM/SIGSIM Summer Computer Simulation Conference (SCSC 2003), Student Workshop, Montreal, Canada, 2003.
  [28] Qimei Chen, Ming Li, and Huining Feng. Using ATM in MPLS domain. Electronic Power Automation Equipment, 22(7):85-89, 2002.
  [29] Qimei Chen and Huining Feng. 3rd-level framework for MPLS: Internet Protocol. Electronic Power Automation Equipment, 22(6):84-88, 2002.
  [30] Huining Feng and Qimei Chen. Analyzing an improvement of MPLS-Net structures for the decrease of dialogue transmission delay. In IEEE International Conference on Systems, Man and Cybernetics, volume 4, Hammamet, Tunisia, 2002.
  [31] Huining Feng and Qimei Chen. A tree view of the MPLS FEC strategy. In IEEE International Conference on Telecommunications (ICT 2002), Beijing, China, 2002.