Torben Ægidius Mogensen

Publikationer pr. år

Undervisnings- og vejledningsområder

Compilers, programming language technology, language design, games.

Aktuel forskning

Domain-specific languages, program semi-inversion.

Sprogkundskaber

Danish, English and a smattering of German and Romanian.

Primære forskningsområder

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.

Fingeraftryk

Dyk ned i forskningsemnerne, hvor Torben Ægidius Mogensen er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.

6 Lignende profiler

23 Konferencebidrag i proceedings
8 Tidsskriftartikel
6 Bidrag til bog/antologi
5 Bog
Mere
- 2 Antologi

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. (red.). Springer, s. 269-285 (Lecture notes in computer science, Bind 11106).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
3 Citationer (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. (red.). Springer, s. 253-268 (Lecture Notes in Computer Science, Bind 11106).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
1 Citationer (Scopus)
Reversible Garbage Collection for Reversible Functional Languages
Mogensen, T. A., 1 jul. 2018, I: New Generation Computing. 36, 3, s. 203-232
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
2 Citationer (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. (red.). Springer, s. 66-73 8 s. (Lecture notes in computer science, Bind 10301).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
8 Citationer (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. (red.). Springer, s. 203-217 15 s. (Lecture notes in computer science, Bind 9609).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
1 Citationer (Scopus)
Garbage collection for reversible functional languages
Bidragets oversatte titel: Spildopsamling fot reversible funktionssprogMogensen, T. Æ., 2015, Reversible computation: 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings. Krivine, J. & Stefani, J-B. (red.). Springer, s. 79-94 16 s. (Lecture notes in computer science, Bind 9138).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

6 Citationer (Scopus)
Supercompilation for datatypes
Bidragets oversatte titel: Supercompilation for datatyperMogensen, 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. (red.). Springer, s. 232-247 16 s. (Lecture notes in computer science, Bind 8974).
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer 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 okt. 2014, I: A C M Journal on Emerging Technologies in Computing Systems. 11, 2, 15 s., 11.
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
1 Citationer (Scopus)