View Proposal

---

Proposer

Jurriaan Hage

Title

Collecting benchmarks for type incorrect programs for programming language X (X could be Java, Scala, Haskell, OCaML, etc.)

Goal

Collecting benchmarks for type incorrect programs for a given statically typed programming language

Description

Typically, a student will focus on a particular programming language, which it is can be decided mutually. Some examples are Java, Scala, ML, OCaML, Haskell, Idris, any statically typed language will do. The idea is then to construct and collect programmes that in some measurable way cover (part of) the language, and which can then be used to experimentally check the quality of the type error diagnosis procuced by compilers for the language. Programs can be collected manually, or students can invest in techniques to make collecting a benchmark of this kind a more automatic process, for example by mutating type correct programs.

Resources

Background

Url

Difficulty Level

Variable

Ethical Approval

None

Number Of Students

4

Supervisor

Jurriaan Hage

Keywords

programming

Degrees

Bachelor of Science in Computer Science
Bachelor of Science in Computer Systems
Master of Engineering in Software Engineering
Master of Design in Games Design and Development
Master of Science in Artificial Intelligence
Master of Science in Artificial Intelligence with SMI
Master of Science in Computer Science for Cyber Security
Master of Science in Computing (2 Years)
Master of Science in Data Science
Master of Science in Network Security
Master of Science in Software Engineering
Bachelor of Science in Computing Science
Bachelor of Science in Computer Science (Cyber Security)