Jan Midtgaard

  • Campusvej 55

    5230 Odense M

    Denmark

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

Static analysis Engineering & Materials Science
Flow control Engineering & Materials Science
Abstract Machines Mathematics
Flow Control Mathematics
Computer programming languages Engineering & Materials Science
Testing Engineering & Materials Science
Abstract Interpretation Mathematics
Correspondence Mathematics

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

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

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

Computer programming languages
Testing
Theorem proving
Software engineering
Industry
28 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. (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
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. (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

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

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

Open Access
File
Testing

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

Static analysis
Computer programming languages
Transfer functions
Mathematical operators
Testing

Activities 2017 2019

  • 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

Jan Midtgaard (Recipient), 12. Jun 2018

Prize: Prizes, scholarships, distinctions