Tihomir Gvero
Hôte
Research
I am a postdoctoral researcher at the EPFL University, working with Prof. Viktor Kuncak. My research interests are mainly in the areas of Program Synthesis and Software Testing.
I obtained my Ph.D. from EPFL in 2015, advised by Prof. Viktor Kuncak.
In summer 2010, I did an internship at Microsoft Research Redmond. I worked with Nikolai Tillmann on a search strategy and a technique that improves test input generation in Pex.
Software
- InSynth - a tool for interactive synthesis of code snippets
- UDITA test generation language
- Java PathFinder extensions: Undo Backtracking, Untracked Fields/Objects
- Computer Science 1 (Fall 2012)
- Information Technology Project (Fall 2011)
- Theoretical Computer Science (Spring 2011)
Teaching
Publications
Main Publications
| T. Gvero and V. Kuncak OOPSLA. pages TO APPEAR, Pittsburgh, Pennsylvania, USA, October 2015. |
Synthesizing Java Expressions from Free-Form Queries |
| T. Gvero and V. Kuncak International Conference on Software Engineering, Demo Papers (ICSE Demo 2015), pages TO APPEAR, Florence, Italy, May 2015. |
Interactive Synthesis using Free-Form Queries |
| T. Gvero, V. Kuncak, I. Kuraj and R. Piskac ACM SIGPLAN Conf. Programming Language Design and Implementation (PLDI 2013). pages 27-38, Seattle, Washington, USA, June 2013. |
Complete Completion using Types and Weights |
| T. Gvero, V. Kuncak and R. Piskac Computer Aided Verification (CAV) Tool Demo 2011, pages 418-423, Snowbird, UT, USA, July 2011. |
Interactive Synthesis of Code Snippets |
| B. Daniel, D. Dig, T. Gvero, V. Jagannath, J. Jiaa, D. Mitchell, J. Nogiec, S.H. Tan, and D. Marinov International Conference on Software Engineering, Demo Papers (ICSE Demo 2011), pages 1010-1012, Waikiki, Honoulu, Hawaii, USA, May 2011 |
ReAssert: A Tool for Repairing Broken Unit Tests |
| B. Daniel, T. Gvero, and D. Marinov International Symposium on Software Testing and Analysis (ISSTA 2010), pages 207-218, Trento, Italy, July 2010 |
On Test Repair using Symbolic Execution |
| M. Gligoric, T. Gvero, V. Jagannath, S. Khurshid, V. Kuncak, and D. Marinov International Conference on Software Engineering (ICSE 2010), pages 225-234, Cape Town, South Africa, May 2010. (This paper won an ACM SIGSOFT Distinguished Paper Award.) |
Test Generation through Programming in UDITA |
| M. Gligoric , T. Gvero, S. Lauteburg, D. Marinov, and S. Khurshid 2nd IEEE International Conference on Software Testing, Verification and Validation (ICST 2009), Denver, CO, April 2009. |
Optimizing Generation of Object Graphs in Java PathFinder |
| T. Gvero, M. Gligoric, S. Lauterburg, M. d'Amorim, D. Marinov, and S. Khurshid International Conference on Software Engineering, Demo Papers (ICSE Demo 2008), pages 863-866, Leipzig, Germany, May 2008. |
State extensions for Java PathFinder |
Technical Reports
- On Synthesizing Code from Free-Form Queries, T. Gvero and V. Kuncak, EPFL, IC Technical Report EPFL-REPORT-201606. 2014.
- Code Completion using Quantitative Type Inhabitation, T. Gvero, V. Kuncak, and R. Piskac, EPFL, IC Technical Report EPFL-REPORT-170040. 2011.
- On Test Generation through Programming in UDITA, M. Gligoric, T. Gvero, V. Jagannath, S. Khurshid, V. Kuncak, and D. Marinov, EPFL, IC Technical Report LARA-REPORT-2009-05. 2009.
- On Delayed Choice Execution for Falsification, M. Gligoric , T. Gvero, S. Khurshid, V. Kuncak, and D. Marinov, Technical Report LARA-REPORT-2008-08, EPFL, IC, 2008.