Tyler Procko

dblp:317/1046 · also Tyler Thomas Procko · DBLP profile ↗
← Back
4ranked-venue papers
0as first author
4since 2021 · last 2026
0000-0002-7801-0124ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2 · 2 since 2021Artificial intelligence and machine learning · 1 · 1 since 2021Human-computer interaction and ubiquitous computing · 1 · 1 since 2021
YearPublicationVenuePosition
2026 A Survey of Machine Learning Lifecycle Provenance: Models, Approaches, and Tools
Lynn Vonder Haar, Tyler Procko, Omar Ochoa
ENASE (2)2
2026 Verifying Machine Learning Testability Requirements with Provenance
Lynn Vonder Haar, Tyler Procko, Omar Ochoa
ICSOFT2
2024 Exploring Testing Methods for Large Language Models
abstract
Large Language Models (LLMs) are extensive aggregations of human language, designed to understand and generate sophisticated text. LLMs are becoming ubiquitous in a range of applications, from social media to code generation. With their immense size, LLMs face scalability challenges, making testing methods particularly difficult to implement effectively. Traditional machine learning and software testing methods, derived and adapted for LLMs, test these models to a point; however, they still struggle to accurately capture the full complexity of model behavior. This paper aims to capture the current efforts and techniques in testing LLMs, specifically focusing on stress testing, mutation testing, regression testing, metamorphic testing, and adversarial testing. This survey focuses on how traditional testing methods must be adapted to fit the needs of LLMs. Furthermore, while this area is fairly novel, there are still gaps in the literature that have been identified for future research.
Timothy Elvira, Tyler Procko, Lynn Vonder Haar, Omar Ochoa
ICMLA2
2023 Scrum in the Classroom: An Implementation Guide
abstract
Over the years, Agile approaches have been proven successful in industry settings, as documented in the literature. In response to this success, education professionals have developed ways to introduce Agile practices into engineering classrooms with similar success. These practices have been most popular in project-based courses because they enhance student learning and prepare students for using Agile practices in industry after graduation. The Scrum approach is one of the most popular Agile methods in industry and classroom adoption. Modified versions of Scrum are utilized within the classroom to align with student needs, familiarity with Scrum, and the materials presented within the class. As a result of this adaptation, many different Scrum-based implementations are found in classrooms. The popularity of this approach has led to numerous publications detailing individual experiments using Scrum in the classroom, with most of these adoptions occurring in engineering classrooms. This paper presents a literature review of Scrum applied in the classroom. This work explores the advantages of using Scrum in the classroom, providing details on the type and level of university classroom used for implementation. Information on methods of implementation, appropriate class subjects, and student educational levels are provided within this paper. This guide can be used by those looking to utilize Scrum within their classroom as a stand-alone practice. The findings of this paper demonstrate that Scrum can be used in correlation with a wide variety of classroom structures and topics. This paper is intended to guide future educators who wish to implement Scrum into classes and educational programs.
Sarah A. Reynolds, Alexis Caldwell, Tyler Procko, Omar Ochoa
FIE3