[1] Benjamin C. Pierce. Types and Programming Languages. 0262162091. The MIT Press. 2002.  BIBT_EXEndNote

[2] Daniel P. Friedman, Mitchell Wand, and Christopher T. Haynes. Essentials of Programming Languages (2nd Edition). 0262062178. The MIT Press. 2001.  BIBT_EXEndNote

[3] Glynn Winskel93. The Formal Semantics of Programming Languages - an Introduction. 0262231697. The MIT Press. 1993.  BIBT_EXEndNote

[4] Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. 0201100886. Addison-Wesley. 1986.  BIBT_EXEndNote

[5] J. Roger Hindley and Jonathanp P. Seldin. Introduction to Combinators and λ-Calculus. 0521268966. Cambridge University Press. 1986.  BIBT_EXEndNote

[6] Barbara Liskov and John Guttag. Abstraction and Specification in Program Development. 0262121123. The MIT Press. 1986.  BIBT_EXEndNote

[7] Harold Abelson and Gerald Jay Sussman. Structure and Interpretation of Computer Programs. 0262510367. The MIT Press. 1985.  BIBT_EXEndNote

[8] David Gries. The Science of Programming. 038790641X. Springer-Verlag. 1981.  BIBT_EXEndNote

[9] Kyungmin Bae, Peter Csaba Ölveczky, 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.  BIBT_EXEndNote

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

[11] Thomas Huining Feng. System Simulation and Analysis Using Hierarchical Event Relationship Graphs. Application Research of Computers. 27(7):2572-2578. 2010.  BIBT_EXEndNote

[12] Thomas Huining Feng. Dynamic program analysis based on partitioning and summarization. Application Research of Computers. 27(6):2130-2146. 2010.  BIBT_EXEndNote

[13] Thomas Huining Feng. System design and simulation with composing models of computation. Application Research of Computers. 27(6):2116-2122. 2010.  BIBT_EXEndNote

[14] Aditya Agrawal, Gabor Karsai, and Feng Shi. A UML-based graph transformation approach for implementing domain-specific model transformations . International Journal on Software and Systems Modeling. 2003.  BIBT_EXEndNote

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

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

[17] Thorsten Fischer, Jörg Niere, Lars Torunski, and Albert Zündorf. Story diagrams: A new graph grammar language based on the unified modelling language and Java . Lecture Notes in Computer Science. 296-309. 2000.  BIBT_EXEndNote

[18] Urs Hölzle and Ole Agesen. Dynamic vs. static optimization techniques for object-oriented languages. Theory and Practice of Object Systems. 1(3). 1996.  BIBT_EXEndNote

[19] Guy E. Blelloch. Programming parallel algorithms. Communications of the ACM. 39(3). Mar. 1996.  BIBT_EXEndNote

[20] Todd A. Proebsting. BURS automata generation. ACM Transactions on Programming Languages and Systems. 17(3):461-486. May 1995.  BIBT_EXEndNote

[21] David F. Bacon, Susan L. Graham, and Oliver J. Sharp. Compiler transformations for high-performance computing. ACM Computing Surveys. 24(4):345-420. Dec. 1994.  BIBT_EXEndNote

[22] Barbara H. Liskov and Jeannette M. Wing. A behavioral notion of subtyping. ACM Transactions on Programming Languages and Systems. 16(6). Nov. 1994.  BIBT_EXEndNote

[23] Roberto M. Amadio and Luca Cardelli. Subtyping recursive types. ACM Transactions on Programming Languages and Systems. 15(4). Sep. 1993.  BIBT_EXEndNote

[24] Martin C. Rinard, Daniel J. Scales, and Monica S. Lam. Jade: A high-level, machine-independent language for parallel programming. IEEE Computer. 26(6). Jun. 1993.  BIBT_EXEndNote

[25] David Ungar and Randall B. Smith. SELF: The power of simplicity. List and Symbolic Computation: An International Journal. 4(3). Jun. 1991.  BIBT_EXEndNote

[26] Christopher W. Fraser and Robert R. Henry. Hard-coding bottom-up code generation tables to save time and space. Software -- Practice and Experience. 21(1):1-12. Jan. 1991.  BIBT_EXEndNote

[27] Paul Hudak. Conception, evolution, and application of functional programming languages. ACM Computing Surveys. 21(3):359-411. Sep. 1989.  BIBT_EXEndNote

[28] Andrew W. Appel. Simple generational garbage collection and stack allocation. Software -- Practice and Experience. 19(2):171-183. Feb. 1989.  BIBT_EXEndNote

[29] Hans-Juergen Boehm. Garbage collection in an uncooperative environment. Software -- Practice and Experience. 18(9):807-820. Sep. 1988.  BIBT_EXEndNote

[30] Charles Farnum. Compiler support for floating-point computation. Software -- Practice and Experience. 18(7):701-709. Jul. 1988.  BIBT_EXEndNote

[31] Randy Allen and Ken Kennedy. Automatic translation of FORTRAN programs to vector form. ACM Transactions on Programming Languages and Systems. 9(4):491-542. Oct. 1987.  BIBT_EXEndNote

[32] Andrew W. Appel. Garbage collection can be faster than stack allocation. Information Processing Letters. 25(4):275-279. Jun. 1987.  BIBT_EXEndNote

[33] Michael G. Burke and Gerald A. Fisher. A practical method for LR and LL syntactic error diagnosis and recovery. ACM Transactions on Programming Languages and Systems. 9(2):164-197. Apr. 1987.  BIBT_EXEndNote

[34] David A. Turner. A new implementation technique for applicative languages. Software -- Practice and Experience. 9:31-49. 1979.  BIBT_EXEndNote

[35] Robert Kowalski. Algorithm = Logic + Control. Communications of the ACM. 22(7). Jul. 1979.  BIBT_EXEndNote

[36] Edsger W. Dijkstra, Leslie Lamport, A. J. Martin, C. S. Scholten, and E. F. M. Steffens. On-the-fly garbage collection: An exercise in cooperation. Communications of the ACM. 21(11):966-975. 1978.  BIBT_EXEndNote

[37] Robin Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences. 17(3):348-375. Dec. 1978.  BIBT_EXEndNote

[38] John Backus. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Communications of the ACM. 21(8):613-641. Aug. 1978.  BIBT_EXEndNote

[39] Barbara Liskov, Alan Snyder, Russell Atkinson, and Craig Schaffert. Abstraction mechanisms in CLU. Communications of the ACM. 20(8). Aug. 1977.  BIBT_EXEndNote

[40] J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Samuelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Revised report on the algorithmic language ALGOL 60. Communications of the ACM. 1(17). Jan. 1963.  BIBT_EXEndNote

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

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

[43] Rob Strom, Chitra Dorai, Thomas Huining Feng, and Wei Zheng. Deterministic Replay for Transparent Recovery in Component-Oriented Middleware. IEEE International Conference on Distributed Computing Systems (ICDCS 2009). Jun. 2009. Montreal, Quebec, Canada.  BIBT_EXEndNote

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

[45] Christopher Brooks, Chihhong Cheng, Thomas Huining Feng, Edward A. Lee, and Reinhard von Hanxleden. Model Engineering Using Multimodeling. ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS 2008), Workshop on Model Co-Evolution and Consistency Management. Sep. 2008. Toulouse, France.  BIBT_EXEndNote

[46] Thomas Huining Feng and Edward A. Lee. Scalable Models Using Model Transformation. ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS 2008), Workshop on Model Based Architecting and Construction of Embedded Systems. Sep. 2008. Toulouse, France.  BIBT_EXEndNote

[47] Thomas Huining Feng, Edward A. Lee, Hiren D. Patel, and Jia Zou. Toward an Effective Execution Policy for Distributed Real-Time Embedded Systems. IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2008), Work-in-Progress Session. Apr. 2008. St. Louis, MO, USA.  BIBT_EXEndNote

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

[49] Thomas Huining Feng, Miriam Zia, and Hans Vangheluwe. Multi-formalism modelling and model transformation for the design of reactive systems. ACM/SIGSIM Summer Computer Simulation Conference (SCSC 2007). Jul. 2007. San Diego, CA, USA.  BIBT_EXEndNote

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

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

[52] András Balogh and Dániel Varró. Advanced model transformation language constructs in the VIATRA2 framework . SAC '06: Proceedings of the 2006 ACM symposium on Applied computing. Oct. 2006. Esslingen, Germany. 1280-1287.  BIBT_EXEndNote

[53] Alexander Königs. Model transformation with triple graph grammars. Model Transformations in Practice Workshop. Oct. 2005.  BIBT_EXEndNote

[54] Thomas Huining Feng and Hans Vangheluwe. Modeling and simulation based design with DCharts. Conference on Conceptual Modeling and Simulation (CSM 2004). Oct. 2004. Genoa, Italy.  BIBT_EXEndNote

[55] Tihamér Levendovszky, László Lengyel, Gergely Mezei, and Hassan Charaf. A systematic approach to metamodeling environments and model transformation systems in VMTS . International Workshop on Graph-Based Tools (GraBaTs). Oct. 2004. Rome, Italy.  BIBT_EXEndNote

[56] Thomas Huining Feng. Case study: Consistency problems in a UML model of a chat room. International Conference on the Unified Modelling Language (UML 2003), Workshop on Consistency Problems in UML-based Software Development II. 6. Oct. 2003. San Francisco, USA.  BIBT_EXEndNote

[57] Thomas Huining Feng. A virtual machine supporting multiple statechart extensions. ACM/SIGSIM Summer Computer Simulation Conference (SCSC 2003), Student Workshop. The Society for Computer Modeling and Simulation. Jul. 2003. Montreal, Canada.  BIBT_EXEndNote

[58] Thomas Huining Feng. An extended semantics for a Statechart virtual machine. ACM/SIGSIM Summer Computer Simulation Conference (SCSC 2003), Student Workshop. The Society for Computer Modeling and Simulation. Jul. 2003. Montreal, Canada.  BIBT_EXEndNote

[59] Luciano Baresi and Reiko Heckel. Tutorial introduction to graph transformation: A software engineering perspective. International Conference on Graph Transformation (ICGT 02). Oct. 2002. Barcelona, Spain.  BIBT_EXEndNote

[60] 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. Oct. 2002. Hammamet, Tunisia.  BIBT_EXEndNote

[61] Huining Feng and Qimei Chen. A tree view of the MPLS FEC strategy. IEEE International Conference on Telecommunications (ICT 2002). Jun. 2002. Beijing, China.  BIBT_EXEndNote

[62] Juan de Lara and Hans Vangheluwe. AToM³: A tool for multi-formalism and meta-modelling . FASE '02: Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering. Apr. 2002. Grenoble, France.  BIBT_EXEndNote

[63] Ulrich Nickel, Jörg Niere, and Albert Zündorf. The FUJABA environment . ICSE '00: Proceedings of the 22nd International Conference on Software Engineering. Jun. 2000. Limerick, Ireland.  BIBT_EXEndNote

[64] Gabriele Taentzer. AGG: A tool enviroment for algebraic graph transformation . Proceedings of Applications of Graph Transformations with Industrial Relevance (AGTIVE). Sep. 1999. Kerkrade, The Netherlands.  BIBT_EXEndNote

[65] Alexander Aiken and David Gay. Barrier inference. Proceedings of the 25th ACM Symposium on Principles of Programming Languages. Jan. 1998. San Diego, California.  BIBT_EXEndNote

[66] Brian Grant, Markus Mock, Matthai Philipose, Craig Chambers, and Susan J. Eggers. Annotation-directed run-time specialization in C. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation. Jun. 1997. Amsterdam, Netherlands.  BIBT_EXEndNote

[67] Martin Odersky and Philip Wadler. Pizza into Java: Translating theory into practice. 24th ACM Symposium on Principles of Programming Languages. Jan. 1997. Paris, France.  BIBT_EXEndNote

[68] Joel Auslander, Matthai Philipose, Craig Chambers, Susan J. Eggers, and Brian N. Bershad. Fast, effective dynamic compilation. Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. May 1996.  BIBT_EXEndNote

[69] Todd A. Proebsting and Benjamin A. Whaley. One-pass, optimal tree parsing - with or without trees. Proceedings of the 6th International Conference on Compiler Construction. Apr. 1996.  BIBT_EXEndNote

[70] Andy Schürr, Andreas J. Winter, and Albert Zündorf. Graph grammar engineering with PROGRES . Proceedings of the 5th European Software Engineering Conference. Sep. 1995. Sitges, Spain. 219-234.  BIBT_EXEndNote

[71] David E. Culler, Andrea Dusseau, Seth Copen Goldstein, Arvind Krishnamurthy, Steven Lumetta, Thorsten von Eicken, and Katherine Yelick. Parallel programming in Split-C. Supercomputing. Nov. 1993. Portland, Oregon.  BIBT_EXEndNote

[72] Paul R. Wilson. Uniprocessor garbage collection techniques. Proceedings of the International Workshop on Memory Management. Sep. 1992. St. Malo, France.  BIBT_EXEndNote

[73] Fritz Henglein. Global tagging optimization by type inference. Proceedings of the 1992 ACM Conference on LISP and Functional Programming. Jul. 1992. San Francisco, California.  BIBT_EXEndNote

[74] Christopher W. Fraser, Robert R. Henry, and Todd A. Proebsting. BURG -- fast optimal instruction selection and tree parsing. ACM SIGPLAN Notices. 27(4):68-76. Apr. 1992.  BIBT_EXEndNote

[75] Jens Palsberg and Michael I. Schwartzbach. Object-oriented type inference. Proceedings of the ACM Conference on Object-oriented Programming: Systems, Languages, and Applications. Oct. 1991. Phoenix, Arizona.  BIBT_EXEndNote

[76] Andrew W. Appel. Continuation-passing, closure-passing style. Proceedings of the 16th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Jan. 1989. Austin, Texas.  BIBT_EXEndNote

[77] Olin Shivers. Control flow anlaysis in Scheme. Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation. Jun. 1988. Atlanta, Georgia.  BIBT_EXEndNote

[78] Eduardo Pelegri-Llopart and Susan L. Graham. Optimal code generation for expression trees: An application of BURS theory. Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Jan. 1988. San Diego, California.  BIBT_EXEndNote

[79] Thomas Reps. Optimal-time incremental semantic analysis for syntax-directed editors. Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Jan. 1982. Albuquerque, Mexico.  BIBT_EXEndNote

[80] Alan Mycroft. The theory and practice of transforming call-by-need into call-by-value. Proceedings of the 4th International Symposium on Programming. 269-281. Apr. 1980.  BIBT_EXEndNote

[81] Susan L. Graham, Charles B. Haley, and William N. Joy. Practical LR error recovery. Proceedings of the 1979 SIGPLAN Symposium on Compiler Construction. 1979. Denver, Colorado.  BIBT_EXEndNote

[82] Patrick Cousot and Radhia Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by contruction or approximation of fixed points. Fourth ACM Symposium on Principles of Programming Languages. Jan. 1977. Los Angeles, California.  BIBT_EXEndNote

[83] Thomas Huining Feng, Edward A. Lee, and Lee W. Schruben. Ptera: An Event-Oriented Model of Computation. EECS Department, University of California, Berkeley. UCB/EECS-2010-40. Apr. 2010.  BIBT_EXEndNote

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

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

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

[87] Thomas Huining Feng and Edward A. Lee. Scalable Models Using Model Transformation. EECS Department, University of California, Berkeley. UCB/EECS-2008-85. Jul. 2008.  BIBT_EXEndNote

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

[89] Christopher Brooks, Chihhong Cheng, Thomas Huining Feng, Edward A. Lee, and Reinhard von Hanxleden. Model Engineering using Multimodeling. EECS Department, University of California, Berkeley. UCB/EECS-2008-39. Apr. 2008.  BIBT_EXEndNote

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

[91] Thomas Huining Feng and Edward A. Lee. Implementation of Real-Time Distributed Discrete-Event Execution with Fault Tolerance. EECS Department, University of California, Berkeley. UCB/EECS-2007-133. Nov. 2007.  BIBT_EXEndNote

[92] Thomas Huining Feng, Lynn Wang, Wei Zheng, Sri Kanajan, and Sanjit A. Seshia. Automatic model generation for black box real-time systems. EECS Department, University of California, Berkeley. UCB/EECS-2006-117. Sep. 2006.  BIBT_EXEndNote

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

[94] Thomas Huining Feng and Edward A. Lee. Incremental checkpointing with application to distributed discrete event simulation. EECS Department, University of California, Berkeley. UCB/EECS-2006-37. Apr. 2006.  BIBT_EXEndNote

[95] Kimmo Nupponen. The design and implementation of a graph rewrite engine for model transformations. Department of Computer Science and Engineering, Helsinki University of Technology. May 2005.  BIBT_EXEndNote

[96] Edward A. Lee and Stephen Neuendorffer. Concurrent models of computation for embedded software. EECS Department, University of California, Berkeley. UCB/ERL M04/26. 2004.  BIBT_EXEndNote

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

[98] Dorothea Blostein, Hoda Fahmy, and Ann Grbavec. Practical use of graph rewriting. Department of Computing and Information Science, Queen's University. Kingston, Ontario, Canada. 95-373. Jan 1995.  BIBT_EXEndNote

[99] Clemens Szypersky, Stephen Omohundro, and Stephan Murer. Engineering a programming language: The type and class system of Sather. International Computer Science Insitute. TR-93-064. Nov. 1993.  BIBT_EXEndNote

[100] Andrew W. Appel. A critique of standard ML. Princeton University. CS-TR-364-92. Nov. 1992.  BIBT_EXEndNote

[101] Andrew D. Birrell. An introduction to programming with threads. DEC System Research Center. Jan. 1989.  BIBT_EXEndNote

[102] C. A. R. Hoare. Hints on programming language design. Stanford Artificial Intelligence Laboratory. STAN-CS-73-403. Dec. 1973.  BIBT_EXEndNote

[103] Richard P. Gabriel. LISP: Good news, bad news, and how to win big. Lucid, Inc.. 1991.  BIBT_EXEndNote