Publikationer pr. år
Publikationer pr. år
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
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
-
The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation: Invited Contribution)
Sestoft, P. & Søndergaard, H., 2024, 2024 ACM SIGPLAN International Work- shop on Partial Evaluation and Program Manipulation (PEPM ’24). Association for Computing Machinery, 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
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
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
-
Gamle kulkraftværker bliver genoplivet for at 'grave' efter bitcoins
28/09/2021
1 Mediebidrag
Presse/medie
-
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
-
P3: Popular parallel programming
Sestoft, P. (PI), Bock, A. A. (CoI) & Biermann, F. (CoI)
01/02/2015 → 23/03/2019
Projekter: Projekt › Forskning
-
Parallel Programmering for Slutbrugere i Regneark
Biermann, F. (PI) & Sestoft, P. (PI)
Danish National Research Foundation
01/07/2015 → 30/06/2018
Projekter: Projekt › Forskning
-
High-Level Design and Verification of Digital Systems
Fu, Z. (PI), Sestoft, P. (CoI) & Wasowski, A. (CoI)
Innovationsnetværk for IT - InfinIT
01/04/2020 → 31/10/2020
Projekter: Projekt › Forskning
-
P1: Pioneer Centre for Artificial Intelligence
Sestoft, P. (PI), Plank, B. (CoI), Hansen, D. W. (CoI), Larsen, A. W. (CoI), Bogers, T. (CoI), Madsen, I. J. W. (CoI), Dixen, L. (CoI), Trinhammer, M. L. (CoI), Iarygina, O. (CoI), Grasshof, S. (CoI), Mottelson, A. (CoI), Burelli, P. (CoI), Risi, S. (CoI), Rogers, A. (CoI), van der Goot, R. (CoI) & Coscia, M. (CoI)
Danish National Research Foundation
01/07/2021 → 30/06/2034
Projekter: Projekt › Forskning