Language Support for Property-Based Testing (ML Family 2026 - ML Family Workshop 2026)

Mon 24 - Sat 29 August 2026 Indianapolis, Indiana, United States

Track

ML Family 2026 ML Family Workshop

This program is tentative and subject to change.

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Fri 28 Aug 2026 14:30 - 15:00 at IP132 Kelley - Afternoon Session

Bio

I am an Assistant Professor in the Department of Computer Science and Engineering at the University at Buffalo.

In my research, I make the software development process safer and more effective by building tools for software validation that address the needs of real users. My main area of study is programming languages, but I borrow motivation and techniques from both software engineering and human-computer interaction as well. Currently my projects center around the theoretical, practical, and human aspects of property-based testing and formal methods.

I love to collaborate, so feel free to reach out if you have anything you’d like to discuss.