Martin Kellogg (left) and Calvin Loncaric
Allen School students Martin Kellogg and Calvin Loncaric have earned national recognition as grand finalists in the Association for Computing Machinery’s 2017 Student Research Competition. The competition, which is sponsored by Microsoft, highlights exemplary student researchers and encourages their participation in top computing research conferences. Kellogg captured third place in the undergraduate category, and Loncaric placed third in the graduate category. A total of 330 students participated in this year’s competition by presenting their work at one of two dozen ACM conferences held around the world.
Kellogg is a first-year Ph.D. student who works with professor Michael Ernst in the Allen School’s Programming Languages & Software Engineering (PLSE) group. He presented his winning project, “Combining Bug Detection and Test Case Generation,” at the Foundations of Software Engineering (FSE 2016) conference in December. The paper, which was the result of work he initiated as an undergraduate at University of Virginia, presents N-prog, an efficient, new tool for the detection of software bugs.
Loncaric, who also works with Ernst, captured third place in the graduate competition for another project featured at FSE 2016, “Cozy: Synthesizing Collection Data Structures.” Cozy is a novel tool for implementing new data structures that uses counter-example guided inductive synthesis in place of the more tedious and error-prone process of handwritten implementation.
ACM recognized Kellogg, Loncaric and their fellow competition winners at its annual awards banquet this past weekend in San Francisco, California.
Read the ACM press release here and our prior blog coverage of the Allen School at FSE 2016 here.
Way to go, Martin and Calvin!