Skip to content

erez-aharonov/machine_learning_for_programming

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

57 Commits
 
 

Repository files navigation

machine learning for programming

Links to "big code" stuff

Articles

https://thenewstack.io/can-ai-find-bugs-in-your-code/

Pay attention for the tech giants

https://syncedreview.com/2021/04/09/tum-google-nvidia-lmu-munchens-codetrans-pretrained-models-crack-source-code-tasks-with-sota-performance/

Facebook

https://research.fb.com/programs/research-awards/proposals/probability-and-programming-request-for-proposals/
https://research.fb.com/announcing-the-winners-of-the-probability-and-programming-research-awards/
https://research.fb.com/blog/2019/07/registration-now-open-for-the-2019-probability-and-programming-research-workshop-big-code-summit-and-plemm/

Microsoft

https://visualstudio.microsoft.com/services/intellicode/
https://venturebeat.com/2019/05/20/microsoft-wants-to-apply-ai-to-the-entire-application-developer-lifecycle/
https://devblogs.microsoft.com/visualstudio/ai-assisted-developer-tools/
https://devblogs.microsoft.com/visualstudio/typing-less-coding-more-how-we-delivered-intellicode-whole-line-completions-with-a-transformer-model/

Github

https://venturebeat.com/2020/01/22/github-now-uses-ai-to-recommend-open-issues-in-project-repositories/

Intel

https://newsroom.intel.com/news/why-more-software-development-needs-go-machines/#gs.d5ajwf>br> https://venturebeat.com/2021/07/18/why-machine-programming-should-be-the-next-technology-you-invest-in/

JetBrains

https://www.infoworld.com/article/3518429/jetbrains-taps-machine-learning-for-full-line-code-completion.html

Companies

https://kite.com/
https://www.codota.com/
https://www.deepcode.ai/
https://sourced.tech
https://tabnine.com/
https://about.sourcegraph.com/
https://www.microsoft.com/en-us/ai/ai-lab-code-defect
https://copilot.github.com/
https://aws.amazon.com/codeguru/
https://www.codesee.io/

Benchmarks

https://github.blog/2019-09-26-introducing-the-codesearchnet-challenge/

People

http://software-lab.org/people/Michael_Pradel.html
http://www.cs.technion.ac.il/~yahave/
https://www.microsoft.com/en-us/research/people/sumitg/
https://rishabhmit.bitbucket.io/
https://www.sri.inf.ethz.ch/people/martin
https://www.intel.ai/bio/justin-gottschlich/#gs.d56lvn
https://www.monperrus.net/martin/
https://www.cs.utexas.edu/~isil/
http://www.cs.utexas.edu/~swarat/
https://www.rayb.info/

Other reference for "Big Code"

https://github.com/src-d/awesome-machine-learning-on-source-code
http://learnbigcode.github.io/
https://github.com/agemagician/CodeTrans

news

https://www.analyticsindiamag.com/6-machine-learning-tools-that-will-help-you-find-code-bugs/ https://code.fb.com/developer-tools/finding-and-fixing-software-bugs-automatically-with-sapfix-and-sapienz/

Groups

https://research.jetbrains.org/groups/ml_methods
https://www.sri.inf.ethz.ch/
http://software-lab.org/index.html
http://pliny.rice.edu/
https://www.ifabfoundation.org/ifab-activities/projects/bologna-big-code-lab-bbc-lab/
https://www.bigcode-project.org/

Courses

http://software-lab.org/teaching/summer2018/asdl/

Datasets

https://www.sri.inf.ethz.ch/py150
https://www.sri.inf.ethz.ch/js150
https://github.com/src-d/datasets/tree/master/PublicGitArchive

Articles in focus

https://www.microsoft.com/en-us/research/uploads/prod/2018/01/icse18-education.pdf
CodeTrans: Towards Cracking the Language of Silicone’s Code Through Self-Supervised Deep Learning and High Performance Computing

Videos

https://www.youtube.com/watch?v=nsmhtvZquvM

Log analyitics

Articles

https://coralogix.com/log-analytics-blog/machine-learning-log-analytics/

Companies

https://coralogix.com/
https://www.zebrium.com/
https://logz.io/
https://www.logicmonitor.com/

Academic articles

2020: Software Logging for Machine Learning
2013: Automatic Log Analysis using Machine Learning

About

Links to "big code" stuff

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published