In research that could be useful in making more capable robots, Brown University mathematicians developed an artificial ...

Abstract: Software development often involves systematic edits, similar but nonidentical changes to many code locations, that are error-prone and laborious for developers. Mining and learning such ...

Abstract: Generating invariants for loops is often a grueling obstacle in formal program verification. Researchers have employed methods from formal techniques based on abstract interpretation to test ...