Publikationer pr. år
Publikationer pr. år
Personlig profil
CV
My interests include functional and managed object-oriented programming languages and their implementation, program transformation, program specification, software development, compilers, parallel programming, and bioinformatics.
Emneord
- Programming languages
- Software development
- Parallel programming
- Functional programming
- Program specification
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Peter Sestoft er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
-
The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation: Invited Contribution)
Sestoft, P. & Søndergaard, H., 11 jan. 2024, 2024 ACM SIGPLAN International Work- shop on Partial Evaluation and Program Manipulation (PEPM ’24). Association for Computing Machinery, s. 1-13 13 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
On the cost semantics for spreadsheets with sheet-defined functions
Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., apr. 2022, I: Journal of Computer Languages. 69, 20 s., 101103.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil -
Co-designing DSL quality assurance measures for and with non-programming experts
Borum, H. S., Seidl, C. & Sestoft, P., 18 okt. 2021, DSM 2021: Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling. Association for Computing Machinery, s. 31-40 10 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Fil -
On Designing Applied DSLs for Non-programming Experts in Evolving Domains
Borum, H. S., Niss, H. & Sestoft, P., 2021, Proceedings of 24th International Conference on Model-Driven Engineering Languages and Systems, MODELS 2021. IEEE, s. 227-238 11 s.Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
On the semantics for spreadsheets with sheet-defined functions
Bock, A. A., Bøgholm, T., Sestoft, P., Thomsen, B. & Thomsen, L. L., mar. 2020, I: Journal of Computer Languages. 57, 11 s., 100960.Publikation: Artikel i tidsskrift og konference artikel i tidsskrift › Tidsskriftartikel › Forskning › peer review
Åben adgangFil
-
Agile modeller af forretningsregler og -processer der kan visualiseres og simuleres ud fra forskellige perspektiver (Kunde, forretning, og IT)
Hildebrandt, T. (PI), Debois, S. (CoI), Slaats, T. (CoI) & Sestoft, P. (CoI)
Styrelsen for Forskning og Uddannelse
26/02/2015 → 31/05/2015
Projekter: Projekt › Forskning
-
Open Data Management for Scientific Innovation
Sestoft, P. (CoI), Hentschel, M. (PI) & Pedersen, A. T. B. (Samarbejdspartner)
01/01/2025 → 31/12/2028
Projekter: Projekt › Forskning
-
A general-purpose framework for software verification
Bengtson, J. (PI), Birkedal, L. (CoI), Sestoft, P. (CoI) & Faithfull, A. (CoI)
01/07/2013 → 30/04/2017
Projekter: Projekt › Forskning
-
P3: Popular parallel programming
Sestoft, P. (PI), Bock, A. A. (CoI) & Biermann, F. (CoI)
01/02/2015 → 23/03/2019
Projekter: Projekt › Forskning
-
InfinIT Innovationsnetværk for Finans IT
Godskesen, J. C. (PI), Sestoft, P. (CoI), Beck, R. (CoI), Dittrich, Y. (CoI), Debois, S. (CoI) & Madsen, F. (CoI)
Styrelsen for Forskning og Uddannelse
01/07/2014 → 31/12/2020
Projekter: Projekt › Forskning
Presse/medier
-
-
-
Udland Kryptovaluta kritiseres for et enormt energiforbrug, men nu skifter en af de største kurs
11/09/2022
1 Mediebidrag
Presse/medie
-
Kinesisk forbud mod bitcoin-minedrift øgede drivhusgasudledningen globalt
02/06/2022
1 Mediebidrag
Presse/medie
-
Kinas forbud mod bitcoin-minedrift har forværret drivhusgasudledningen globalt
02/06/2022
1 Mediebidrag
Presse/medie
Aktiviteter
- 9 Medlemskab af bedømmelsesudvalg
-
Assessment committee for recruitment of Full Professorships in Digital Design (Begivenhed)
Sestoft, P. (Forperson)
1 aug. 2024 → 1 jan. 2025Aktivitet: Medlemsskab - typer › Medlemskab af bedømmelsesudvalg
-
Hiring committee for assistant/associate Professorships in Algorithms (Begivenhed)
Sestoft, P. (Forperson), Kulyk, O. (Medlem) & Jacob, R. (Medlem)
2 maj 2024 → 1 sep. 2024Aktivitet: Medlemsskab - typer › Medlemskab af bedømmelsesudvalg
-
Hiring committee for recruitment of assistant/associate professor in Data-Intensive Systems and Applications (Begivenhed)
Sestoft, P. (Forperson), Tözün, P. (Medlem) & Husfeldt, T. (Medlem)
22 aug. 2023 → 31 dec. 2023Aktivitet: Medlemsskab - typer › Medlemskab af bedømmelsesudvalg
-
Hiring committee for recruitment of assistant/associate professorships in Natural Language Processing (Begivenhed)
Sestoft, P. (Forperson), Hardmeier, C. (Medlem) & Kulyk, O. (Medlem)
26 nov. 2023 → 1 mar. 2024Aktivitet: Medlemsskab - typer › Medlemskab af bedømmelsesudvalg
-
Hiring committee for recruitment of assistant professor in therapeutic and affective robotics (Begivenhed)
Sestoft, P. (Forperson), Støy, K. (Medlem) & Kulyk, O. (Medlem)
12 mar. 2024 → 1 maj 2024Aktivitet: Medlemsskab - typer › Medlemskab af bedømmelsesudvalg