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.
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 proceeding › Conference abstract in proceedings › Research
Computer programming languages
Testing
Theorem proving
Software engineering
Industry
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
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 proceeding › Article in proceedings › Research › peer-review
Data Structures
Functional Data
Integer
Radar
Testing
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
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 journal › Journal article › Research › peer-review
Static analysis
Computer programming languages
Transfer functions
Mathematical operators
Testing
Activities 2017 2019
French Institute for Research in Computer Science and Automation
Jan Midtgaard (Visiting researcher)11. Jul 2019 → 18. Jul 2019
Activity: Visiting another research institution
Sorbonne University
Jan Midtgaard (Visiting researcher)6. May 2019 → 15. May 2019
Activity: Visiting another research institution
26th International Static Analysis Symposium, SAS 2019 (Event)
Jan Midtgaard (Member)1. Feb 2019 → 11. Oct 2019
Activity: Membership › Membership of review committee
The ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation 2019 (Event)
Jan Midtgaard (Member)1. Sep 2018 → 15. Jan 2019
Activity: Membership › Membership of review committee
Uppsala University (External organisation)
Jan Midtgaard (Member)7. Jun 2018
Activity: Membership › Membership of review committee
Prizes
John McCarthy Best Article Award
Jan Midtgaard (Recipient), 12. Jun 2018
Prize: Prizes, scholarships, distinctions