馮輝寧
Thomas Huining Feng
Prolemy Group, EECS, U.C. Berkeley
tfeng@eecs.berkeley.edu

Résumé - Thomas Huining Feng

Download: PDFpdf, Text

Contents

1. Contact Information
2. Research Interests
3. Education
4. Work Experience
5. Research Experience
6. Skills
7. Awards
8. Publications
9. Relevant Coursework
9.1. U.C. Berkeley
9.2. McGill University

1. Contact Information

Address:  Ph.D. Candidate, EECS Department, 253 Cory Hall, U.C. Berkeley, CA 94720
Phone:  (510) 384-6498
Homepage:  http://www.eecs.berkeley.edu/~tfeng/
Email:  tfeng@eecs.berkeley.edu

2. Research Interests

  • Modeling and simulation of distributed discrete-event systems

  • Model transformation with graph grammars

  • Higher-order composition languages

  • Program analysis and optimization

  • Software fault tolerance

3. Education

2004 − Present:  Ph.D. (expected in May 2009), Department of Electrical Engineering and Computer Sciences, U.C. Berkeley, USA.

  • Dissertation: Engineering Structurally Configurable Parallel and Distributed Systems with Model Transformation

    (Committee: Prof. Edward A. Lee, Prof. Ras Bodik, Prof. Lee W. Schruben)

GPA: 4.0

Advisor: Prof. Edward A. Lee

2002 − 2004:  M.Sc., School of Computer Science, McGill University, Montréal, Canada.

GPA: 3.88

Advisor: Prof. Hans Vangheluwe

1998 − 2002:  B.Sc., Department of Computer Science and Technology, Nanjing University, Nanjing, China.

Advisor: Prof. Qimei Chen

4. Work Experience

May. 2007 − Aug. 2007:  Summer Research Intern in Sensor and Actuator Group in IBM T.J. Watson Research Center, Hawthorne, NY.

  • Invented a dynamic redeployment algorithm with heuristics for a component-based distributed discrete-event system.

Mentor: Norman H. Cohen

Manager: Paul B. Chou

Jun. 2006 − Sep. 2006:  Summer Research Intern in Distributed Messaging Group in IBM T.J. Watson Research Center, Hawthorne, NY.

  • Invented a distributed transparently fault-tolerant and highly-available middle-ware for component-oriented applications. (Patent pending)

Mentor: Rob Strom

Manager: Chitra Dorai

5. Research Experience

2004 − Present:  Graduate Student Researcher in Ptolemy Group, CHESS (Center for Hybrid and Embedded Software Systems), U.C. Berkeley.

  • Model transformation. Created a transformation tool for actor models in the Ptolemy II framework.

  • Discrete-event simulation. Created event relationship graphs (ERGs) for hierarchical discrete-event models.

  • Optimistic execution of distributed systems with fault tolerance. Created an incremental checkpointing and recovery mechanism with source code transformation.

  • Execution strategy for real-time distributed discrete-event systems. Created an execution strategy that leverages time-synchronized platforms to achieve out-of-order event processing.

  • Higher-order language design. Created a declarative language for higher-order model composition.

Summer 2008: Google Summer of Code mentor in the Ptolemy II project.

  • Scalable model construction. Applied model transformation on a distributed application using Google's MapReduce programming paradigm.

2002 − 2004:  Research Assistant in MSDL (Modeling, Simulation and Design Lab), McGill University.

  • Model-based design. Invented a visual formalism by extending UML Statecharts, and implemented a simulator and a code generator supporting multiple target languages.

2000 − 2002:  Research Assistant in MPLS (Multi-Protocol Label Switching) network communication group, Nanjing University.

6. Skills

  • Computer languages: Java, C++, C, C#, Python, SQL, Common Lisp, Scheme, ML, MATLAB, LATEX, Bash, Visual Basic, HTML, XSLT, JavaScript

  • Operating systems: Solaris, Linux, Windows

  • Programming environments: Eclipse (plugin development), Visual Studio, JBuilder, VisualAge, Emacs

7. Awards

  • Dean's Honour List, McGill University, Canada, 2004.

  • Differential Fee Waiver, McGill University, Canada, 2002 - 2003.

8. Publications

  1. 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. [34]

  2. 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. [35]

  3. 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. [71]

  4. 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. [73]

  5. 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. [36]

  6. 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. [37]

  7. 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. [75]

  8. 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. [38]

  9. 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. [39]

  10. 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. [78]

  11. 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. [40]

  12. 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. [43]

  13. 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. [45]

  14. Thomas Huining Feng. A Virtual Machine Supporting Multiple Statechart Extensionspdf. Summer Computer Simulation Conference (SCSC 2003), Student Workshop, Montreal, Canada, Jul. 2003. [46]

  15. Thomas 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. [48]

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

9. Relevant Coursework

9.1. U.C. Berkeley

CS 294-5 (Spring 2007):  Dynamic Program Analysis, Testing, and Debugging by Prof. Koushik Sen

CS 294-2 (Spring 2006):  Software Synthesis by Prof. Ras Bodik

CS 264 (Spring 2005):  Program Analysis by Prof. Ras Bodik

CS 263 (Fall 2005):  Design and Analysis of Programming Languages by Prof. George Necula

CS 194 (Spring 2005):  Distributed Systems by Prof. Scott Shenker and Prof. Ion Stoica

CS 164 (Fall 2004):  Compilers and Programming Languages by Prof. Ras Bodik

EE 290N (Fall 2004):  Concurrent Models of Computation for Embedded Software by Prof. Edward A. Lee

EE 244 (Fall 2005):  Introduction to Computer Aided Design of Integrated Circuits by Prof. Kurt Keutzer and Prof. Sanjit A. Seshia

EE 219C (Spring 2006):  Computer-Aided Verification by Prof. Sanjit A. Seshia

IEOR 261 (Spring 2007):  Experimenting with Simulated Systems by Prof. Lee W. Schruben

9.2. McGill University

308-764 (Spring 2003):  Software Fault Tolerance by Prof. Jörg Kienzle

308-762 (Spring 2003):  Modeling and Simulation based Design by Prof. Hans Vangheluwe

Copyright © 2005-2008 Thomas Huining Feng. Generated on Oct 10, 2008.