Skip to content

Looking for Teammates

Jump to bottom
Cosmin Radoi edited this page Nov 3, 2016 · 2 revisions

We are looking for 1-2 students who could join us to develop, over the next few months, integrations of the program transformation engine based on the K framework with:

  1. GitHub, via GitHub's REST API. The API is well designed so it should be simple and fun.

  2. GitHub, via Safari/Chrome plugins that enrich GitHub's own pull request interface. Some experience with web development/JavaScript would be useful.

  3. popular IDEs and code editors (Atom, IntelliJ, etc.) via lightweight plugins. Experience with developing plugins for any IDE/code editor would be helpful but not required.

  4. popular programming languages parsers and code generators. Some experience with parsing and/or the languages themselves would be helpful. We are particularly interested in R, Python, Swift, C/C++, and Java.

Email cos@illinois.edu if you think you can have a go at any of the above. If you are allowed to work in the US (i.e., not on a study-only visa), we can also pay for your effort. But you're welcome to join/help regardless.

Also, if you are interested in the research side of it, we are always looking for bright students to collaborate with.

Clone this wiki locally