mabrocks

5 ms·

1.
by mabrocks 4y ago
If you're interested in these kinds of things, many years ago we created TerpreT ( https://arxiv.org/pdf/1608.04428.pdf and https://github.com/51alg/TerpreT ) to look into generic program synth
2.
by mabrocks 6y ago
There's been a long, long tradition of software verification at Microsoft; look for SLAM (the original research backing the Static Driver Verifier), Yogi (SDV backend V2), Slayer (generic memory safety) and Terminator (termination of s
3.
by mabrocks 7y ago
That's an interesting question which we haven't studied so far. There is a good argument to be made that ML models trained on public data do not work well on private data on the interesting queries , where I consider those querie
4.
by mabrocks 7y ago
This is a release of a dataset, to help people train machine learning models. That's why the blog post says "We’re also releasing a large dataset to help data scientists build models for this task." We also provide a way to e
5.
by mabrocks 7y ago
You would need to extend the data-processing pipeline for the new language, which in the best case only requires to adapt the standard wrapper around the Tree Sitter parser. The wrapper needs to take care of language-specific details (e.g.,
6.
by mabrocks 7y ago
We only used code from repos that github has marked as using a non-copyleft open source license (i.e., we had an explicit license whitelist and used only repos matching that).
7.
by mabrocks 7y ago
[I'm one of the Microsoft Research people who worked on this] There are many interesting ideas that you could build on top of this kind of data, and we only scratched the surface so far. For example, the simple "search" techn
8.
by mabrocks 7y ago
[I'm one of the Microsoft Research people who worked on this] There wasn't a technical reason (unless you count lazyness as a technical reason) -- we simply had infrastructure for Python specifically lying around from past researc
9.
by mabrocks 7y ago
[I'm one of the Microsoft Research people who worked on this] We used the repo-level license information from github to filter to free non-copyleft licenses, and the license files are actually stored next to the extracted data corpus (
10.
by mabrocks 7y ago
[I'm one of the Microsoft Research people who worked on this] All code is from public repositories. We only used publicly available APIs to obtain the data, so that others can reproduce the results / build on top of the data extra