20032018
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Personlig profil

Forskningsområder

  • Metoder til softwareudvikling
  • Testning
  • Programmeringsværktøjer og -teknologier
  • Statisk analyse
  • Programmeringssprog
  • Programmeringssprog og formelle modeller
  • Funktionel programmering
  • Oversættere og fortolkere
  • Programmeringsparadigmer

Fingeraftryk Fingeraftryk er baseret på at anvende teksten fra personernes videnskabelige dokumenter til at skabe et indeks med vægtede emneordskoncepter, som definerer de vigtigste emner for hver enkelt forsker.

Static analysis Teknik og materialevidenskab
Flow control Teknik og materialevidenskab
Abstract Machines Matematik
Flow Control Matematik
Computer programming languages Teknik og materialevidenskab
Testing Teknik og materialevidenskab
Abstract Interpretation Matematik
Correspondence Matematik

Netværk Nyligt eksternt samarbejde på landeniveau. Dyk ned i detaljerne ved at klikke på punkterne.

Publikationer 2003 2018

Developments in property-based testing (invited talk)

Midtgaard, J., 2018, Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. Association for Computing Machinery, 1 s.

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferenceabstrakt i proceedingsForskning

Computer programming languages
Testing
Theorem proving
Software engineering
Industry
23 Downloads (Pure)

Process-Local Static Analysis of Synchronous Processes

Midtgaard, J., Nielson, F. & Nielson, H. R., 1. jan. 2018, Static Analysis: 25th International Symposium, SAS 2018, Proceedings. Podelski, A. (red.). Springer, s. 284-305 (Lecture Notes in Computer Science, Bind 11002). (Programming and Software Engineering, Bind 11002).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
Message passing
Static analysis
Computer programming languages
Telecommunication networks
Explosions

QuickChecking Patricia Trees

Midtgaard, J., 2018, Trends in Functional Programming - 18th International Symposium, TFP 2017, Revised Selected Papers. Wang, M. & Owens, S. (red.). Springer, s. 59-78 (Lecture Notes in Computer Science, Bind 10788). (Theoretical Computer Science and General Issues, Bind 10788).

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Data Structures
Functional Data
Integer
Radar
Testing
19 Downloads (Pure)

Effect-driven QuickChecking of compilers

Midtgaard, J., Nygaard Justesen, M., Kasting, P., Nielson, F. & Riis Nielson, H., 2017, Proceedings of the ACM on Programming Languages. 15 udg. Association for Computing Machinery, Bind 1. s. 1-23

Publikation: Bidrag til bog/antologi/rapport/konference-proceedingKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
Testing

QuickChecking static analysis properties

Midtgaard, J. & Møller, A., 1. sep. 2017, I : Software Testing, Verification and Reliability. 27, 6, e1640.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Static analysis
Computer programming languages
Transfer functions
Mathematical operators
Testing

Aktiviteter 2017 2019

  • 6 Medlemskab af bedømmelsesudvalg
  • 2 Gæsteophold ved andre institutioner
  • 1 Konferenceoplæg

Institut National de Recherche en Informatique et en Automatique

Jan Midtgaard (Gæsteforsker)
11. jul. 201918. jul. 2019

Aktivitet: Gæsteophold ved andre institutioner

Sorbonne University

Jan Midtgaard (Gæsteforsker)
6. maj 201915. maj 2019

Aktivitet: Gæsteophold ved andre institutioner

26th International Static Analysis Symposium, SAS 2019 (Begivenhed)

Jan Midtgaard (Medlem)
1. feb. 201911. okt. 2019

Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation 2019 (Begivenhed)

Jan Midtgaard (Medlem)
1. sep. 201815. jan. 2019

Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

Uppsala University (Ekstern organisation)

Jan Midtgaard (Medlem)
7. jun. 2018

Aktivitet: MedlemskabMedlemskab af bedømmelsesudvalg

Priser

John McCarthy Best Article Award

Jan Midtgaard (Modtager), 12. jun. 2018

Pris: Priser, stipendier, udnævnelser