All Stories

  1. From Security Findings to Verified Fixes: Automated Repair of Infrastructure-as-Code Misconfigurations

    Article • October 2026, ACM (Association for Computing Machinery)

    Omer Tripp

  2. MigrationBench: Repository-Level Code Migration Benchmark from Java 8

    Article • August 2026, ACM (Association for Computing Machinery)

    Omer Tripp

  3. Understanding Developer-Analyzer Interactions in Code Reviews

    Article • October 2024, ACM (Association for Computing Machinery)

    Omer Tripp

  4. NL2Code-Reasoning and Planning with LLMs for Code Development

    Article • August 2024, ACM (Association for Computing Machinery)

    Omer Tripp

  5. A Deep Dive into Large Language Models for Automated Bug Localization and Repair

    Article • Proceedings of the ACM on Software Engineering, July 2024, ACM (Association for Computing Machinery)

    Omer Tripp

  6. Inference for Ever-Changing Policy of Taint Analysis

    Article • April 2024, ACM (Association for Computing Machinery)

    Omer Tripp

  7. Compositional Taint Analysis for Enforcing Security Policies at Scale

    Article • November 2023, ACM (Association for Computing Machinery)

    Omer Tripp, Chenxi Wang

  8. User-Assisted Code Query Optimization

    Article • June 2023, ACM (Association for Computing Machinery)

    Ben Liblit, Omer Tripp, Rajdeep Mukherjee