Abstract interpretation is a powerful static analysis framework we can use to answer questions such as: What range of values does this variable take? What are all the types of the values that can flow into this function? Is this piece of code ever executed, or is it dead? Using abstract interpretation to build a [...] Read More... The post Open-sourcing SPARTA to make abstract interpretation easy appeared first on Facebook Code.
Facebook AI Research (FAIR) has released new features and research results, including a completely retrained model of ELF OpenGo using reinforcement learning. The new bot outperforms the previous bot, which defeated several top 30 professional Go players 20-0 and has been widely adopted by the AI research community to benchmark future research. FAIR first released [...] Read More... The post FAIR open-sources new ELF OpenGo data set, research, and insights appeared first on Facebook Code.
The IEEE Computer Society recently selected Facebook London’s Mark Harman as the recipient of the 2019 Harlan D. Mills Award. The award recognizes those who have demonstrated long-standing, sustained, and impactful contributions to software engineering. Previous winners include distinguished scientists from NASA, Microsoft, and AT&T. Learn more about Harman’s research here. In addition to his [...] Read More... The post Engineering manager Mark Harman wins 2019 IEEE Harlan D. Mills award appeared first on Facebook Code.