| home |
|
Both technical reports, regular as well as unpublished or abbreviated papers
of team members are listed below.
Legend:
|
|
| Technical reports: | |
| Boulytchev D., Vigdorchik E., Lomov D., Smirnov M. Modern Retargetable Code Generation Tools. Institute for Information Technologies, 2000. |
|
| Boulytchev D., Vigdorchik E., Lomov D., Smirnov M. Machine Description Formalizms. Institute for Information Technologies, 2001. |
|
| Boulytchev D. Processor Architecture Description Language. Institute for Information Technologies, 2002. |
|
| Boulytchev D., Shaporenkov D., Simanovskij A., Smirnov M. PADLA Toolset. Institute for Information Technologies, 2002. |
|
| Lomov D., Moskal A. Dynamic Caml v.0.2. Run-Time Code Generation Library for Objective Caml. St.Petersburg State University, Faculty of Mathematics and Mechanics, Software Engineering Department, 2002. |
|
| Lukin E. Compiler Evaluation Framework. Institute for Information Technologies, 2002. |
|
| Master thesises: | |
| Vigdorchik E. Instruction Selection and Local Register Allocation in Retargetable Code Generator. St.Petersburg State University, 2001. |
|
| Lomov D. Dynamic Code Generation and Mixed Computations for Objective Caml. St.Petersburg State University, 2001. |
|
| Simanovsky A. Alias Analisys in PROMISE Framework. St.Petersburg State University, 2002. |
|
| Shaporenkov D. Interprocedural Optimizations in PROMISE Framework. St.Petersburg State University, 2002. |
|
| Yakoushkin S. Microprofile-based Local Instruction Sheduling. St.Petersburg State University, 2004. |
|
| Papers: | |
| Boulytchev D. BURS-based Instruction Set Selection // 4th International Conference on Perspectives of System Informatics, PSI'06 - 2006. |
|
| Boulytchev D., Vigdorchik E. Cooking Raw Types in Java // Workshop on Multiparadigm Programming with Object-Oriented Languages, OOPSLA'05 - 2005. |
|
| Boulytchev D. Efficient Code Generation Algorithms // System Informatics. - Novosibirsk, 2004. |
|
| Boulytchev D. Macroarchitecture Description for Hardware/Software Codesign // System Programming. - St.Petersburg, 2004. - p. 7-22. |
|
| Boulytchev D. Macroarchitecture Description Language for Hardware/Software Codesign // System Programming. - St.Petersburg, 2004. - p. 23-48. |
|
| Simanovsky A., Shaporenkov D. Macroarchitecture to Assembler and Disassembler Synthesis // System Programming. - St.Petersburg, 2004. - p. 49-74. |
|
| Smirnov M. Macroarchitecture to Microarchitecture Synthesis // System Programming. - St.Petersburg, 2004. - p. 75-88. |
|
| Boulytchev D., Koznov D., Terekhov A. On Project-Specific Languages and Their Application in Reengineering // Proceedings of the Conference on Software Maintenance and Reengineering. - 2002. - p. 177-185. |
|
| Boulytchev D. Returning to Functional Programming // Open Systems, No. 5. - 2002. - p. 38-44. |
|
| Boulytchev D., Lomov D. An Empirical Study of Retargetable Compilers // Proceedings of 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics. - 2001. - p. 328-331. |
|
| Boulytchev D. Pattern-matching and Identification of Structural Types in PL/1 Language // Automated Reengeneering of Programs. - St.Petersburg, 2000. - p. 278-301. |
|
| Unpublished manuscripts: | |
| Boulytchev D. Introduction to Objective Caml Programming: an Overview of Functional Constructions. |
|
| home |
Copyright © OOPS Team
webmaster@oops.math.spbu.ru