Jan Midtgaard

  • Campusvej 55

    5230 Odense M

    Denmark

If you made any changes in Pure these will be visible here soon.

Personal profile

Research areas

  • Software Methodology
  • Testing
  • Programming Tools and Technologies
  • Static analysis
  • Programming Languages
  • Programming Languages And formal Models
  • Functional Programming
  • Compilers And Interpreters
  • Programming Paradigmes

Fingerprint Dive into the research topics where Jan Midtgaard is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 3 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

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 p.

Research output: Chapter in Book/Report/Conference proceedingConference abstract in proceedingsResearch

  • 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. (ed.). Springer, p. 284-305 (Lecture Notes in Computer Science, Vol. 11002). (Programming and Software Engineering, Vol. 11002).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 103 Downloads (Pure)

    QuickChecking Patricia Trees

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

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  • 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 ed. Association for Computing Machinery, Vol. 1. p. 1-23

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 30 Downloads (Pure)

    QuickChecking static analysis properties

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

    Research output: Contribution to journalJournal articleResearchpeer-review

  • Activities

    • 6 Membership of review committee
    • 2 Visiting another research institution
    • 1 Conference presentations

    French Institute for Research in Computer Science and Automation

    Jan Midtgaard (Visiting researcher)

    11. Jul 201918. Jul 2019

    Activity: Visiting another research institution

    Sorbonne University

    Jan Midtgaard (Visiting researcher)

    6. May 201915. May 2019

    Activity: Visiting another research institution

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

    Jan Midtgaard (Member)

    1. Feb 201911. Oct 2019

    Activity: MembershipMembership of review committee

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

    Jan Midtgaard (Member)

    1. Sep 201815. Jan 2019

    Activity: MembershipMembership of review committee

    Uppsala University (External organisation)

    Jan Midtgaard (Member)

    7. Jun 2018

    Activity: MembershipMembership of review committee

    Prizes

    John McCarthy Best Article Award

    Midtgaard, Jan (Recipient), 12. Jun 2018

    Prize: Prizes, scholarships, distinctions