I'm interested in a project from a programming languages perspective. It's an area I've recently gotten into and it would also align with the research focus of my supervisor. I think it would be interesting to work on some static analysis tooling. Sean mentioned a test coverage tool earlier in the thread which is actually a pretty good baseline for a project as it's a combination of mucking with the language internals (which I could talk about in a report) and implementing a useful tool. Your idea about proving properties of Rust programs would also make an excellent project as its a great combination of theory and implementation.
I'd like to thank everyone for the ideas so far, there's a lot of good material and I'm slowly accumulating project ideas to run past my supervisor. If you've got more keep them coming. On 8 October 2014 21:36, Tony Arcieri <[email protected]> wrote: > On Wed, Oct 8, 2014 at 10:51 AM, Victor Barua <[email protected]> > wrote: > >> I'm a senior Computer Science undergraduate student at the University of >> British Columbia. As part of my degree I have to complete an undergraduate >> thesis which is a project of around 220 hours between now and next April. >> Rust is a language that has caught my eye and I would be very interested in >> working on something related to it that I could contribute back to the >> community at the end of my project. >> > > What are you interested in? I think it'd be really cool to create a > language based on Rust for proving properties about Rust programs using > things like dependent types, refinement types, or otherwise. > > -- > Tony Arcieri >
_______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
