Index Catalog // Digital WPI

Start Over

Filtering by: Contributor Bohrer, Rose Publisher Worcester Polytechnic Institute

Logic For Exploit Detection: Utilizing Proof Search for Exploitability Detection in Compact Software Systems

Keyword:

Bug Detection, Staged Linear Logic, Logic Programming, Linear Logic Programming, Proof Search, and Python

Creator:

Eskandari Miandoab, Kaveh

Advisor:

Bohrer, Rose

Publisher:

Worcester Polytechnic Institute

Date Created:

2024-04-25

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
PolyCreate - Enabling Live coding in unreal game engine

Creator:

Sanghvi, Utsav

Advisor:

Bohrer, Rose and Roberts, Charles Davis

Publisher:

Worcester Polytechnic Institute

Date Created:

2024-05-03

Resource Type:

Report

Degree:

MS

Unit (Department):

Interactive Media & Game Development
Regular Session Types

Keyword:

Exponential Types, Regular Languages, RST, Session Types, and Program Synthesis

Creator:

Friedman, Alex

Advisor:

Bohrer, Rose

Publisher:

Worcester Polytechnic Institute

Date Created:

2023-11-16

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Accelerating Software Development Through Integrated Domain-Driven Program Synthesis

Creator:

Mercaldo, Nathanael

Advisor:

Heineman, George T.

Publisher:

Worcester Polytechnic Institute

Date Created:

2023-08-22

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Homotopy Type Theory for Sewn Quilts

Keyword:

Programming Language, Quilts, and Homotopy Type Theory

Creator:

Clark, Charlotte

Advisor:

Bohrer, Rose

Publisher:

Worcester Polytechnic Institute

Date Created:

2023-04-20

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science