Sergey Mechtaev

mechtaev@comp.nus.edu.sg
(+65) 8545 6442

Sergey Mechtaev

Welcome to my homepage. I am currently a Ph.D. student in the School of Computing at the National University of Singapore under the supervision of Abhik Roychoudhury. Previously, I graduated from Saint Petersburg State University with Specialist Diploma (eq. to Master degree) in Computer Science.

My research interests include:

You can view my resume for more detailed information.

Projects

  • Angelix — Test-driven automated program repair tool. Infers semantics of the buggy program using symbolic execution, and synthesizes patches through constraint solving. Scales to real-world programs by employing novel synthesis specification called angelic forest. Generates simple and understandable fixes by using MAX-SAT encoding. [website]
  • syb-ocaml — Adaptation of Scrap Your Boilerplate approach for OCaml. Based on two ideas: type markers for type-safe runtime type comparison and specialization to type for reducing performance overhead. [website]

Publications

  • Angelix: Scalable Multiline Program Patch Synthesis via Symbolic Analysis [pdf]
    Sergey Mechtaev, Jooyong Yi and Abhik Roychoudhury
    ACM/IEEE International Conference on Software Engineering (ICSE), 2016
  • DirectFix: Looking for Simple Program Repairs [pdf]
    Sergey Mechtaev, Jooyong Yi and Abhik Roychoudhury
    ACM/IEEE International Conference on Software Engineering (ICSE), 2015
  • Элиминация стереотипного кода в программах на языке Objective Caml [pdf]
    Мечтаев С. В.
    Системное программирование. Том 6, вып. 1, 2011
  • Efficiently Scrapping Boilerplate Code in OCaml [pdf]
    Dmitri Boulytchev and Sergey Mechtaev
    ACM SIGPLAN Workshop on ML, 2011