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
-
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
-
ToMeSo: Tools and Methods for Scalable Software Verifications
Sestoft, P. (CoI), Birkedal, L. (PI), Mehnert, H. (CoI), Jensen, J. B. (CoI), Bengtson, J. (CoI), Thamsborg, J. J. (CoI), Hartmann Jensen, M. (CoI), Sieczkowski, F. (CoI), Mehnert, H. (CoI) & Svendsen, K. (CoI)
01/03/2009 → 30/06/2013
Projekter: Projekt › Forskning
-
BEFORE
Østerbye, K. (PI), Sestoft, P. (CoI), Dittrich, Y. (CoI), Henglein, F. (CoI), Hessellund, A. (CoI), Borch, S. E. (CoI), Graversen, K. (CoI), Winther Jespersen, J. (CoI) & Stefansen, C. (CoI)
01/01/2007 → 31/12/2008
Projekter: Projekt › Forskning
-
NEXT: NEXT generation Enterprise Resource Planning (ERP) systems
Østerbye, K. (PI), Dittrich, Y. (CoI), Sestoft, P. (CoI), Hessellund, A. (CoI), Borch, S. E. (CoI), Winther Jespersen, J. (CoI), Carstensen, P. (CoI), Borch, S. E. (CoI), Winther Jespersen, J. (CoI), Henglein, F. (CoI) & Andersen, H. R. (CoI)
Ministry of Higher Education and Science
01/07/2001 → 31/12/2009
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
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
-
Kinas forbud mod bitcoin-minedrift har forværret drivhusgasudledningen globalt
02/06/2022
1 Mediebidrag
Presse/medie
-
Kinesisk forbud mod bitcoin-minedrift øgede 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