Finishing the DXR (https://wiki.mozilla.org/DXR) support for Rust that Nick Cameron started would be extremely valuable and intersect with your static analysis interests. https://bugzilla.mozilla.org/show_bug.cgi?id=956768 is our tracking metabug for the DXR-side work that is still required; presumably Nick (nrc on irc) can clarify the Rust-side stuff remaining.
Cheers, Josh On 9 October 2014 02:22, Victor Barua <victor.ba...@gmail.com> wrote: > 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 <basc...@gmail.com> wrote: > >> On Wed, Oct 8, 2014 at 10:51 AM, Victor Barua <victor.ba...@gmail.com> >> 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 > Rust-dev@mozilla.org > https://mail.mozilla.org/listinfo/rust-dev > >
_______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev
