Skip to main
University of Kentucky
University-wide Navigation
My UK
Search our Site
search
Search
Utility Nav
Visit
Apply
Give
Menu
Main navigation (Mega Menu)
About
About
Faculty Directory
Staff Directory
Our Strategy
Our History
Administrative Offices
News
Accreditation
Admissions
Admissions
First-Year Students
Transfer Students
Scholarships
Admitted Students Next Steps
Academic Common Market
Academics
Academics
Degree Programs
Undergraduate Studies
Graduate Studies
Departments
Visit us
Student Success
Student Success
Contact us
Engineering Living Learning Program
Engineering Tutoring
Keys to Success
Makerspaces
Mentoring Programs
International Programs
Science and Engineering Library
Student Organizations
Student Resources
Student Services
Research
Research
Research Centers, Institutes, and Consortia
Industry Engagement
Research Resources
Summer Research Experiences for Undergraduates
Career & Co-ops
Alumni
Alumni
Funkhouser Modernization
Get Involved
Giving
Hall of Distinction
Pathway of Innovation
Refer a Student
Societies
Stay Connected
The Alumni Ambassador Program
UKEAA
Young Alumni Philanthropy Council
Funkhouser
Learn about the Modernization
Give Now!
In This Section
Main Menu / Search
Main Navigation
Return to Home Page
About
Back
About
Faculty Directory
Staff Directory
Our Strategy
Our History
Administrative Offices
Back
Administrative Offices
Engineering Facilities
Marketing and Communications
OFAF
Business Office
Engineering Computing Services
News
Accreditation
Back
Accreditation
Aerospace Engineering
Biomedical Engineering
Biosystems Engineering
Chemical Engineering Paducah Campus
Chemical Engineering
Civil Engineering
Computer Engineering Technology
Computer Engineering
Computer Science
Electrical Engineering
Lean Systems Engineering Technology
Materials Engineering
Mechanical Engineering Paducah Campus
Mechanical Engineering
Mining Engineering
Admissions
Back
Admissions
First-Year Students
Back
First-Year Students
Freshman Admission Requirements
Engineering Enhancement Fee FAQs
Transfer Students
Back
Transfer Students
Course Equivalencies
Pathways to Engineering
Summer School Credit
Scholarships
Back
Scholarships
Engineering Technology Scholarships
External Scholarships
Scholarships for Current Students
Scholarships for Incoming Freshmen
Scholarships for Transfer Students
Admitted Students Next Steps
Academic Common Market
Academics
Back
Academics
Degree Programs
Undergraduate Studies
Back
Undergraduate Studies
Academic Enhancements
Degree Programs
First-Year Engineering Program
Graduate Studies
Back
Graduate Studies
Admissions
Directors of Graduate Studies
Financial Support
Resources
Departments
Back
Departments
Biomedical Engineering
Biosystems and Agricultural Engineering
Chemical Engineering
Civil Engineering
Computer Science
Engineering Technology
Electrical and Computer Engineering
Materials Science & Engineering
Mechanical and Aerospace Engineering
Mining Engineering
Paducah Campus
Visit us
Back
Visit us
Engineering Open House
Prospective Student Information Session Recording
Receptions
WIE Day
Student Success
Back
Student Success
Contact us
Engineering Living Learning Program
Back
Engineering Living Learning Program
FAQs
ELLP Peer Mentors
Women in Engineering Wing
Engineering Tutoring
Keys to Success
Makerspaces
Back
Makerspaces
Innovation Center
Mentoring Programs
Back
Mentoring Programs
Mentor & Mentee Guide
Mentoring Application for Alumni
Mentoring Application for Students
International Programs
Back
International Programs
Education Abroad
International Admissions
Partnerships
Scholarships
Science and Engineering Library
Student Organizations
Back
Student Organizations
American Institute of Aeronautics and Astronautics
American Society of Civil Engineers
Biomedical Engineering Society
Chi Epsilon
Engineering Ambassadors
Engineering Student Council
Engineers Without Borders USA
Graduate Society of Women Engineers (GradSWE)
Institute of Electrical and Electronics Engineers - IEEE
Kentucky Society of Professional Engineers
MACE GSA
Mining Engineering Honor Society
RailCats
Society of Hispanic Professional Engineers
Tau Beta Pi - Kentucky Alpha
UK American Institute of Chemical Engineers
WIE
Water Professionals Student Chapter
Student Resources
Back
Student Resources
FERPA
Student Services
Back
Student Services
Academic Advising
Academic Status
Application for Engineering Standing
Dean’s List & Engineering Honor Societies
Graduation Information
Majors, Minors and Degrees FAQs
Research
Back
Research
Research Centers, Institutes, and Consortia
Back
Research Centers, Institutes, and Consortia
Institute for Sustainable Manufacturing
Power and Energy Institute of Kentucky
Industry Engagement
Research Resources
Back
Research Resources
Lab Safety Training
Procedure for Obtaining Institutional Support Letters for Research Grants
Student Research Resources
UK Research Resources
Summer Research Experiences for Undergraduates
Back
Summer Research Experiences for Undergraduates
2017 REU – In Review
2018 REU – In Review
2019 REU – In Review
REU Participants
Career & Co-ops
Alumni
Back
Alumni
Funkhouser Modernization
Back
Funkhouser Modernization
Funkhouser Floor Plans Revealed
The DB Challenge
Get Involved
Back
Get Involved
Engage with an Engineer
Giving
Hall of Distinction
Back
Hall of Distinction
Hall of Distinction Nomination
Pathway of Innovation
Refer a Student
Societies
Stay Connected
The Alumni Ambassador Program
UKEAA
Back
UKEAA
UKEAA Board
Apply
Academic Outreach
Alumni Engagement and Events
Communications and Advancement
Young Alumni Philanthropy Council
Back
Young Alumni Philanthropy Council
Members
Young Alumni Philanthropy Council Application
Funkhouser
Learn about the Modernization
Give Now!
Utility Nav (mobile)
Visit
Apply
Give
University-wide Navigation
My UK
Search our Site
search
Search
Back to Events
Back to Tabs
Shaila Zaman
An Automated Framework to Diagnose System-Level Concurrency Bugs
Breadcrumb
Home
Events
Shaila Zaman
Apr 18, 2022, 2:00 – 3:00 PM
DMB 102A
Thesis Defense
,
Ph.D. in Computer Science
Defense Chair: Tingting Yu
Back to Events
