Research Output per year
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.
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 proceeding › Conference abstract in proceedings › Research
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 proceeding › Article in proceedings › Research › peer-review
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 proceeding › Article in proceedings › Research › peer-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-23Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
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 journal › Journal article › Research › peer-review
Activities 2017 2019
French Institute for Research in Computer Science and Automation
Jan Midtgaard (Visiting researcher)Activity: Visiting another research institution
Sorbonne University
Jan Midtgaard (Visiting researcher)Activity: Visiting another research institution
26th International Static Analysis Symposium, SAS 2019 (Event)
Jan Midtgaard (Member)Activity: Membership › Membership of review committee
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation 2019 (Event)
Jan Midtgaard (Member)Activity: Membership › Membership of review committee
Uppsala University (External organisation)
Jan Midtgaard (Member)Activity: Membership › Membership of review committee
Prizes
John McCarthy Best Article Award
Jan Midtgaard (Recipient), 12. Jun 2018
Prize: Prizes, scholarships, distinctions