Project List

Engineering ROTOR: a Refactoring Tool for OCaml (ongoing)

OCaml [1] is a mature functional programming language with an expressive type system. Recently, we have developed a prototype tool, called ROTOR, for automatically refactoring OCaml codebases [2]. Currently, ROTOR handles renaming of functions. This is surprisingly hard due to OCaml’s powerful module system: renaming a function in one module may actually require renaming functions … full description “Engineering ROTOR: a Refactoring Tool for OCaml (ongoing)”

Natural Language Understanding: Measuring the Semantic Similarity between Sentences (ongoing)

Overview To implement and design various deep neural networks for measuring the semantic similarities between sentence pairs. Background Natural language understanding (NLU) is widely viewed as a grand challenge in Artificial Intelligence (AI). An important sub-task in NLU is to measure the semantic similarity between sentence pairs, also known as the Semantic Textual Similarity (STS) task. A … full description “Natural Language Understanding: Measuring the Semantic Similarity between Sentences (ongoing)”