No photo of Torben Ægidius Mogensen

Torben Ægidius Mogensen

Ph.D.

1992 …2018

Research activity per year

Personal profile

Teaching

Compilers, programming language technology, language design, games.

Current research

Domain-specific languages, program semi-inversion.

Knowledge of languages

Danish, English and a smattering of German and Romanian

Primary fields of research

automatic program analysis and transformation (in particular partial evaluation and program semi-inversion), compiler technology (in particular for functional languages), domain-specific languages and occasionally algorithms, complexity, automata theory, fractals and graphics.

Fingerprint

Dive into the research topics where Torben Ægidius Mogensen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 6 Similar Profiles
  • Data structures and dynamic memory management in reversible languages

    Cservenka, M. H., Glück, R., Haulund, T. & Mogensen, T. Æ., 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Kari, J. & Ulidowski, I. (eds.). Springer, p. 269-285 (Lecture notes in computer science, Vol. 11106).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    3 Citations (Scopus)
  • Garbage-Free Reversible Multiplication and Division

    Mogensen, T. Æ., 22 Aug 2018, Reversible Computetion: 10th International Conference, RC 2018 Leicester, UK, September 12–14, 2018 Proceedings. Kari, J. & Ulidowski, I. (eds.). Springer, p. 253-268 (Lecture Notes in Computer Science, Vol. 11106).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    1 Citation (Scopus)
  • Reversible Garbage Collection for Reversible Functional Languages

    Mogensen, T. A., 1 Jul 2018, In: New Generation Computing. 36, 3, p. 203-232

    Research output: Contribution to journalJournal articleResearchpeer-review

    2 Citations (Scopus)
  • Implementing reversible object-oriented language features on reversible machines

    Haulund, T., Mogensen, T. Æ. & Glück, R., 2017, Reversible Computation. Proceedings: 9th International Conference, RC 2017, Kolkata, India, July 6-7, 2017, Proceedings. Phillips, I. & Rahaman, H. (eds.). Springer, p. 66-73 8 p. (Lecture notes in computer science, Vol. 10301).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    8 Citations (Scopus)
  • RSSA: a reversible SSA form

    Mogensen, T. Æ., 2016, Perspectives of System Informatics: 10th International Andrei Ershov Informatics Conference, PSI 2015, Revised Selected Papers. Mazzara, M. & Voronkov, A. (eds.). Springer, p. 203-217 15 p. (Lecture notes in computer science, Vol. 9609).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    1 Citation (Scopus)
  • Garbage collection for reversible functional languages

    Mogensen, T. Æ., 2015, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J.-B. (eds.). Springer, p. 79-94 16 p. (Lecture notes in computer science, Vol. 9138).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    6 Citations (Scopus)
  • Supercompilation for datatypes

    Mogensen, T. Æ., 2015, Perspectives of system informatics: 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers. Voronkov, A. & Virbitskaite, I. (eds.). Springer, p. 232-247 16 p. (Lecture notes in computer science, Vol. 8974).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • Designing garbage-free reversible implementations of the integer cosine transform

    De Vos, A., Burignat, S., Glück, R., Mogensen, T. Æ., Axelsen, H. B., Thomsen, M. K., Rotenberg, E. & Yokoyama, T., 1 Oct 2014, In: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 p., 11.

    Research output: Contribution to journalJournal articleResearchpeer-review

    1 Citation (Scopus)