Code configuration is hard. Studies have shown that only about a quarter of code snippets found on websites like Stack Overflow and GitHub's gist system are directly executable. Many of these snippets fail to execute because of missing code dependencies, services, or environment variables. Infer focuses on automatically generating computing environments and configuration scripts for arbitrary code bases.

Graph bipartization (Odd Cycle Transversal) is a well studied problem with applications in embedding problems for near-term quantum computing hardware. Practical OCT applies existing preprocessing techniques for odd cycle transversal and vertex cover, comparing combinatorial branching algorithms against integer linear programming solvers.

Walk entropy measures how structured or uniform a graph is in terms of its walk structure, the characteristics of closed walks which can be performed from each vertex. Spiderdonuts studies the relationship of a graph's walk structure to its matrix-based centrality measures, showing that some "deceptive" graphs have different walk classes assigned the same value by well studied centrality measures. Published in LAA.

Selenium WebDriver is a popular library for performing automated UI testing of web-based applications using continuous integration. However, Selenium tests are often flaky, failing because a test condition is evaluated before the browser has finished rendering the page. Test flakiness can be addressed by giving Selenium a wait condition. Wait Wait compares different Selenium configurations, including choice of waiting strategy, for test stability and runtime performance. AST 2019.