Personlig profil
Emneord
- Datalogi, IT
- Denotationel semantik
- Flerniveau sprog
- Fortolkere og køretidssystemer
- Højere-ordens programmeringssprog
- Operationel semantik
- Oversættere
- Program generation
- Programanalyse
- programmering
- Programspecialisation
- Semantik af programmeringssprog
- Typesystemer
Samarbejder og forskningsfelter
Publikation
-
From Manual to Automation: A Comparative Study of Manual, Standard Dilution, and Proportional–Integral Controls for Cultivation of Rhodomonas salina in a 500 L Tubular Alga Photobioreactor
Jepsen, P. M., Rhiger, M. & Westergaard, C. R., 2026, I: Aquaculture Research. 2026, 1, 15 s., 2232484.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil10 Downloads (Pure) -
Type-Based Uncurrying for Unknown Function Calls
Rhiger, M., 2024. 12 s.Publikation: Konferencebidrag › Paper › Forskning › peer review
-
ENTRA: Whole-systems energy transparency
Eder, K., Gallagher, J. P., López-García, P., Muller, H., Banković, Z., Georgiou, K., Haemmerlé, R., Hermenegildo, M. V., Kafle, B., Kerrison, S., Kirkeby, M. H., Klemen, M., Li, X., Liqat, U., Morse, J., Rhiger, M. & Rosendahl, M., 1 nov. 2016, I: Microprocessors and Microsystems. 47, Part B, s. 278-286 9 s.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
Fil17 !!Link opens in a new tab Citationer (Scopus)307 Downloads (Pure) -
Hygienic Quasiquotation in Scheme: Distilled Tutorial
Rhiger, M., sep. 2012, ACM SIGPLAN Workshop on Scheme and Functional Programming. Association for Computing Machinery, 7 s. (Workshop on Scheme and Functional Programming).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
4 !!Link opens in a new tab Citationer (Scopus) -
Staged Computation with Staged Lexical Scope
Rhiger, M., mar. 2012, Programming Languages and Systems: 21st European Symposium on Programming. Seidl, H. (red.). Springer, Bind 7211. s. 559-579 20 s.Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review
12 !!Link opens in a new tab Citationer (Scopus)
Projekter
- 5 Afsluttet
-
Energicertificeret softwareudvikling og drift
Kirkeby, M. H. (Projektdeltager), Rosendahl, M. (Projektdeltager), Rhiger, M. (Projektdeltager) & Lu, H. (Projektdeltager)
07/09/2021 → 31/05/2022
Projekter: Projekt › Forskning
-
Energimærkning af Software og Software Installationer
Gallagher, J. P. (Projektdeltager), Kirkeby, M. H. (Projektdeltager), Rosendahl, M. (Projektdeltager) & Rhiger, M. (Projektdeltager)
01/02/2020 → 30/09/2020
Projekter: Projekt › Forskning
-
ENTRA: Whole-Systems Energy Transparency
Gallagher, J. P. (Projektdeltager), Rosendahl, M. (Projektdeltager), Rhiger, M. (Projektdeltager), Strand, D. L. (Projektleder) & Bohr, N. (Projektdeltager)
01/10/2012 → 30/09/2015
Projekter: Projekt › Forskning
-
NUSA: Numeric and Symbolic Abstractions for Software Model Checking
Gallagher, J. P. (Projektdeltager), Rosendahl, M. (Projektdeltager) & Rhiger, M. (Projektdeltager)
01/01/2011 → 31/12/2013
Projekter: Projekt › Forskning
-
SAFT: Static Analysis with Finite Tree Automata
Gallagher, J. P. (Projektleder), Rosendahl, M. (Projektdeltager) & Rhiger, M. (Projektdeltager)
01/01/2007 → 31/12/2010
Projekter: Projekt › Forskning
Aktiviteter
-
ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation (PEPM) (Begivenhed)
Rhiger, M. (Medlem)
25 aug. 2025 → 17 jan. 2026Aktivitet: Medlemsskab › Medlemskab af bedømmelsesudvalg
-
35th Symposium on Implementation and Application of Functional Languages
Rhiger, M. (Deltager)
29 aug. 2023 → 31 aug. 2023Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
Workshop on the Implementation of Type Systems
Rhiger, M. (Deltager)
28 aug. 2023Aktivitet: Deltagelse i eller arrangering af en begivenhed › Deltagelse i workshop, seminar og kursus
-
Copenhagen Programming Languages Workshop
Rhiger, M. (Arrangør)
2023 → …Aktivitet: Deltagelse i eller arrangering af en begivenhed › Organisation og deltagelse i konference
-
Nordic Workshop on Programming Theory (Begivenhed)
Rhiger, M. (Fagfællebedømmer)
2 nov. 2022 → 4 nov. 2025Aktivitet: Redaktionelt arbejde og fagfællebedømmelse › Peer reviewer/fagfællebedømmer af manuskripter › Forskning