Research: Compilers, Operating Systems, and Security (COSY Lab)

I am actively seeking motivated PhD, MS, and undergraduate students who are interested in participating in research projects focusing on systems and security. Please find some sample projects below.

System Security

• Goal: Designing dynamic/static program analysis techniques for identifying security vulnerabilities in systems (e.g., Linux, OP-TEE)
• Recent Pubs: TailCheck [OSDI’23]; DevFuzz [S&P’23]
• Funding: ADD

Intermittent Computing

• Goal: Designing crash consistency solutions for battery-less energy harvesting systems
• Recent Pubs: IntOS [OSDI’24]; Write-Light Cache [ISCA’23]
• Funding: NSF 2153747

Regular Expression Denial of Service (REDOS)

• Goal: Designing REDOS-safe regular expression engines
• Recent Pubs: Memoization [S&P’21]; ReDoS [FSE’18]
• Funding: NSF 2135157

Sustainable Data Center

• Goal: Designing system and programming support for sustainable data center
• Recent Pubs: Metrics [SIGENERGY’23]
• Funding: NSF 2214980

Fully Homomorphic Encryption (FHE)

• Goal: Designing system and compiler support for FHE
• Recent Pubs: DaCapo [SEC’24]; Reserve [ASPLOS’24]
• Funding: NSF 2414504

Last updated on Nov 07, 2024.