FP /
Proposed subjects for Master's Thesis projects within the Functional Programming group
2015-03-16: This page is deprecated in favor of MScThesis (but it may take a while to migrate).
The official instructions about the MSc thesis procedure can be found elsewhere. Here are the proposals (and some Frequently Asked Questions):
- Error reporting for CYK parsing
- Project related to GPUs and Parallelism
- SMTlib DSL
- Web Interface for Scrip Analysis Tools
- A constraint solver for Cabal packages using MiniSat
- Agda mode for Yi
- Interactive Parsing for Haskell
- Efficient sort
- Efficient Generic Libraries
- GAMS Software Technology Infrastructure
- GAMS development tools: refactoring, analysis, visualisation
- QuickChecking Standard Libraries
- QuickChecking C code via Haskell
- Reasoning about Information Flow in a Web Browser
- Exploring First-Order Models
- Hackage Querying tool
- Haddock support for Markdown syntax
- Haddock support for user submitted documentation
- A fully fledged parser combinator library based on Parallel Parsing Processes
- Graphical Programming tool
- Implement Patience Diff for Darcs
- Add primitive atomic operations to GHC
- Feldspar related projects
Projects already taken (most recent at the top)
| Title | Student | Prg. | period | Examiner | Supervisor/company |
|---|
Finished projects:
| Title | Student | Prg. | period | Examiner | Supervisor/company |
|---|---|---|---|---|---|
| Testing Erlang-OTP with QuickCheck | C. Din | SET? | 2009 | John Hughes | Nick Smallbone |
| Interactive Parsing for Haskell | A. Karlsson | FoCAL? | ?-? | Koen Claessen | JPB |