馮輝寧
Thomas Huining Feng
Prolemy Group, EECS, U.C. Berkeley
huining.feng@gmail.com

Résumé - Thomas Huining Feng

Download: PDFpdf / Worddoc / Texttxt

Contents

1. Contact
2. Professional Interests
3. Education
4. Work Experience
5. Research Experience
6. Patent
7. Publications

1. Contact

Degree:  Ph.D., EECS, U.C. Berkeley
Position:  Principal Software Engineer, LinkedIn Corp.
Homepage:  http://thomasfeng.com/
Email:  huining.feng@gmail.com
Phone:  +1 (510) 384-6498

2. Professional Interests

  • Cyber-physical system design and application

  • Modeling and simulation

  • Program analysis and optimization

  • Cloud computing

  • Parallel and distributed systems

  • Software engineering, fault tolerance

3. Education

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

2004:    M.Sc., Computer Science, McGill University, Montréal, Canada.

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

4. Work Experience

2010 − Now:  Principal 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)

5. 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 University.

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.

6. Patent

  1. 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.

  2. 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.

7. Publications

  1. Thomas Huining Feng. Compositional Modeling and Design of Multi-Way Dataflow in Cloud Computing Environment. System Engineering - Theory & Practice (In Press), 2011. [10]

  2. Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, Edward A. Lee, and Stavros Tripakis. Verifying Ptolemy II Discrete-Event Models Using Real-Time Maudepdf. Science of Computer Programming (In Press), 2011. [9]

  3. Thomas Huining Feng, Edward A. Lee and Lee W. Schruben. Ptera: An Event-Oriented Model of Computation for Heterogeneous Systemspdf. In International Conference on Embedded Software (EMSOFT 2010), Scottsdale, Arizona, USA, Oct. 2010. [41]

  4. Thomas Huining Feng. System Simulation and Analysis Using Hierarchical Event Relationship Graphs. Application Research of Computers, Jul. 2010. [11]

  5. Thomas Huining Feng. Dynamic Program Analysis Based on Partitioning and Summarization. Application Research of Computers, Jun. 2010. [12]

  6. Thomas Huining Feng. System Design and Simulation with Composing Models of Computation. Application Research of Computers, Jun. 2010. [13]

  7. Kyungmin Bae, Peter Csaba Ölveczky, Thomas Huining Feng, and Stavros Tripakis. Verifying Ptolemy II Discrete-Event Models Using Real-Time Maudepdf. In International Conference on Formal Engineering Methods (ICFEM 2009), Rio de Janeiro, Brazil, Dec. 2009. [42]

  8. Rob Strom, Chitra Dorai, Thomas Huining Feng, and Wei Zheng. Deterministic Replay for Transparent Recovery in Component-Oriented Middlewarepdf. In 29th International Conference on Distributed Computing Systems (ICDCS 2009), Montréal, Québec, Canada, Jun. 2009. [43]

  9. Thomas Huining Feng. Model Transformation with Hierarchical Discrete-Event Controlpdf. Ph.D. Dissertation, Technical Report UCB/EECS-2009-77, EECS Department, University of California, Berkeley, May 2009. [84]

  10. Jia Zou, Slobodan Matic, Edward A. Lee, Thomas Huining Feng, and Patricia Derler. Execution Strategies for PTIDES, a Programming Model for Distributed Embedded Systemspdf. In 15th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2009), San Francisco, CA, USA, Apr. 2009. [44]

  11. Thomas Huining Feng. Engineering Structurally Configurable Models with Model Transformationpdf. Master's Thesis, Technical Report UCB/EECS-2008-159, EECS Department, University of California, Berkeley, Dec. 2008. [85]

  12. Christopher Brooks, Chihhong Cheng, Thomas Huining Feng, Edward A. Lee, and Reinhard von Hanxleden. Model Engineering using Multimodelingpdf. In 1st International Workshop on Model Co-Evolution and Consistency Management (MCCM 2008), Toulouse, France, Sep. 2008. [45]

  13. Thomas Huining Feng and Edward A. Lee. Scalable Models Using Model Transformationpdf. In 1st International Workshop on Model Based Architecting and Construction of Embedded Systems (ACESMB 2008), Toulouse, France, Sep. 2008. [46]

  14. Shamik Bandyopadhyay, Thomas Huining Feng, Hiren D. Patel and Edward A. Lee. A Scratchpad Memory Allocation Scheme for Dataflow Modelspdf. Technical Report UCB/EECS-2008-104, EECS Department, University of California, Berkeley, Aug. 2008. [86]

  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 Systemspdf. Technical Report UCB/EECS-2008-72, EECS Department, University of California, Berkeley, May 2008. [88]

  16. Thomas Huining Feng, Edward A. Lee, Hiren D. Patel, and Jia Zou. Toward an Effective Execution Policy for Distributed Real-Time Embedded Systemspdf. In 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2008), St. Louis, MO, USA, Apr. 2008. [47]

  17. Thomas Huining Feng and Edward A. Lee. Real-Time Distributed Discrete-Event Execution with Fault Tolerancepdf. In 14th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2008), St. Louis, MO, USA, Apr. 2008. [48]

  18. Christopher Brooks, Thomas Huining Feng, Edward A. Lee, and Reinhard von Hanxleden. Multimodeling: A Preliminary Case Studypdf. Technical Report UCB/EECS-2008-7, EECS Department, University of California, Berkeley, Jan. 2008. [90]

  19. Thomas Huining Feng, Miriam Zia, and Hans Vangheluwe. Multi-Formalism Modelling and Model Transformation for the Design of Reactive Systemspdf. In 2007 Summer Computer Simulation Conference (SCSC 2007), San Diego, CA, USA, Jul. 2007. [49]

  20. Thomas Huining Feng, LynnWang,Wei Zheng, Sri Kanajan, and Sanjit A. Seshia. Automatic model generation for black box real-time systems.pdf In Design, Automation and Test in Europe (DATE) Conference, Acropolis, Nice, France, Apr. 2007. [50]

  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 propertypdf. Technical Report UCB/EECS-2006-48, EECS Department, University of California, Berkeley, May 2006. [93]

  22. Thomas Huining Feng and Edward A. Lee. Incremental checkpointing with application to distributed discrete event simulationpdf. In Winter Simulation Conference (WSC 2006), Monterey, CA, USA, Dec. 2006. [51]

  23. Thomas Huining Feng and Hans Vangheluwe. Modeling and Simulation Based Design with DChartspdf. Conference on Conceptual Modeling and Simulation (CSM 2004), Genoa, Italy, Oct. 2004. [54]

  24. Thomas Huining Feng. DCharts, a Formalism for Modeling and Simulation Based Design of Reactive Software Systemspdf. Master's Thesis, School of Computer Science, McGill University, Canada, Feb. 2004. [97]

  25. Thomas Huining Feng. Case Study: Consistency Problems in a UML Model of a Chat Roompdf . International Conference on the Unified Modelling Language, Workshop on Consistency Problems in UML-based Software Development II, San Francisco, USA, Oct. 2003. [56]

  26. Thomas Huining Feng. A Virtual Machine Supporting Multiple Statechart Extensionspdf. Summer Computer Simulation Conference (SCSC 2003), Student Workshop, Montréal, Canada, Jul. 2003. [57]

  27. Thomas Huining Feng. An Extended Semantics for a Statechart Virtual Machine. Summer Computer Simulation Conference (SCSC 2003), Student Workshop, Montréal, Canada, Jul. 2003. [58]

  28. Qimei Chen, Ming Li and Huining Feng. Using ATM in MPLS Domain. Electronic Power Automation Equipment, 22(7):85-89, 2011. [15]

  29. Qimei Chen and Huining Feng. 3rd-Level Framework for MPLS: Internet Protocol. Electronic Power Automation Equipment, 22(6):84-88, 2011. [16]

  30. Huining Feng and Qimei Chen. Analyzing an Improvement of MPLS-Net Structures for the Decrease of Dialogue Transmission Delay. IEEE International Conference on Systems, Man and Cybernetics, Hammamet, Tunisia, Oct. 2002. [60]

  31. Huining Feng and Qimei Chen. A Tree View of the MPLS FEC Strategy. IEEE International Conference on Telecommunications, Beijing, China, Jun. 2002. [61]

Copyright © 2005-2011 Thomas Huining Feng. Generated on Apr 22, 2023.