GSoC student 2023
email: me@syntaxforge.net
Education: PhD Student in Computer Science, Indiana Unveristy
Completed project:
Code Completion in ClangRepl
Clang-REPL enables developers to program in C++ in an exploratory
manner via a read-eval-print-loop. Developers, however, have to type
each letter or symbol in the REPL, which likely causes typos. The
auto-completion we are proposing aims to assist developers in avoiding
that laborious typing, and it is also type-directed in that completion
candidates are well-typed with respect to cursor positions. The
project incorporates the completion infrastructure of Cling into
Clang-REPL. Next, we build components that handle type contexts and
subtyping. Lastly, we combine the completion and type-related
components to deliver the type-directed auto-completion in Clang-REPL.
Project Proposal: URL
Project Reports: Final Report
Mentors: Vassil Vassilev
We are part of the
Princeton Department of Physics
and
Princeton Institute for Computational Science and Engineering
(PICSciE).
Contact: David Lange; Vassil Vassilev
This project is supported by National Science Foundation under Grant OAC-1931408 (2020-2023) and OAC-2311471(2023-2026). Any opinions, findings, conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the National Science Foundation.
© 2019 Princeton University. Site made with Jekyll; Credit to Allan lab for this site template.
