RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды института системного программирования РАН

Труды ИСП РАН, 2018, том 30, выпуск 2, страницы 65–80 (Mi tisp309)

Автоматизированная генерация декодеров машинных команд
Н. Ю. Фокина, М. А. Соловьев

Список литературы

1. Ramsey N., Fernandez M. F., “The New Jersey Machine-code Toolkit”, Proceedings of the USENIX Technical Conference, 1995, 289-302
2. Ramsey N., Fernandez M. F., “Specifying Representations of Machine Instructions”, ACM Transactions on Programming Languages and Systems, 19:3 (1997), 492-524  crossref  scopus
3. Hsieh W. C., Engler D. R., Back G., “Reverse-Engineering Instruction Encodings”, Proceedings of the General Track: 2002 USENIX Annual Technical Conference, 2001, 133-145
4. Collberg C. S., “Reverse Interpretation + Mutation Analysis = Automatic Retargeting”, Proceedings of the ACM SIGPLAN 1997 Conference on Programming Language Design and Implementation, 1997, 57-70  crossref
5. Collberg C. S., “Automatic Derivation of Compiler Machine Descriptions”, ACM Transactions on Programming Languages and Systems, 24:4 (2002), 369-408  crossref
6. Рубанов В. В., Михеев А. С., “Интегрированная среда описания системы команд встраиваемых процессоров”, Труды ИСП РАН, 9 (2006), 143-158  elib [Rubanov V. V., Mikheev A. S., “Integrated Environment for Embedded Processors Instruction Set Description”, Proc. ISP RAS, 9 (2006), 143-158 (in Russian)]
7. Krishna R., Austin T., “Efficient Software Decoder Design”, IEEE Computer Society Technical Committee on Computer Architecture Newsletter, 2001
8. Theiling H., “Generating Decision Trees for Decoding Binaries”, Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems, 2001, 112-120  crossref
9. Qin W., Malik S., “Automated Synthesis of Efficient Binary Decoders for Retargetable Software Toolkits”, Proceedings of the 40th Annual Design Automation Conference, 2003, 764-769  crossref


© МИАН, 2026