Sergey Matskevich

Publication Activity (10 Years)

Years Active: 2016-2023
Publications (10 Years): 7

Top Topics

Natural Language

Semantic Representation

Top Venues

NL4SE@ESEC/SIGSOFT FSE

Publications

Colin S. Gordon, Sergey Matskevich
Trustworthy Formal Natural Language Specifications. Onward! (2023)
Colin S. Gordon, Sergey Matskevich
Trustworthy Formal Natural Language Specifications. CoRR (2023)
Sergey Matskevich, Colin S. Gordon
Preprocessing Source Code Comments for Linguistic Models. CoRR (2022)
Colin S. Gordon, Sergey Matskevich
Natural Language Specifications in Proof Assistants. CoRR (2022)
Sergey Matskevich, Colin S. Gordon
Generating Comments From Source Code with CCGs. CoRR (2018)
Sergey Matskevich, Colin S. Gordon
Generating comments from source code with CCGs. NL4SE@ESEC/SIGSOFT FSE (2018)
Christopher W. Geib, Janith Weerasinghe, Sergey Matskevich, Pavan Kantharaju, Bart G. W. Craenen, Ronald P. A. Petrick
Building Helpful Virtual Agents Using Plan Recognition and Planning. AIIDE (2016)