Page Not Found
Page not found. Your pixels are in another canvas.
Sitemap
A list of all the posts and pages found on the site. For you robots out there is an XML version available for digesting as well.
Pages
About me
About me
Archive Layout with Content
Posts by Category
Posts by Collection
CV
Markdown
Page not in menu
This is a page not in th emain menu
Page Archive
Portfolio
Publications
Sitemap
Posts by Tags
Talk map
Talks and presentations
Teaching
Terms and Privacy Policy
Blog posts
Jupyter notebook markdown generator
Posts
Future Blog Post
Published:
This post will show up by default. To disable scheduling of future posts, edit config.yml and set future: false.
Blog Post number 4
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 3
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 2
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
Blog Post number 1
Published:
This is a sample blog post. Lorem ipsum I can’t remember the rest of lorem ipsum and don’t have an internet connection right now. Testing testing testing this blog post. Blog posts are cool.
portfolio
Portfolio item number 1
Short description of portfolio item number 1
Portfolio item number 2
Short description of portfolio item number 2
publications
Foosball Coding: Correcting Shift Errors and Bit Flip Errors in 3D Racetrack Memory
50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2020), June 2020
Pono 2.0: A Versatile SMT-Based Model Checker for Safety and Liveness
27th International Symposium on Formal Methods (FM 2026), May 2026
Helium: Quantifying Microarchitectural Side-Channel Leakage with Probabilistic Guarantees
53rd International Symposium on Computer Architecture (ISCA 2026), June 2026
talks
Talk 1 on Relevant Topic in Your Field
Published:
This is a description of your talk, which is a markdown files that can be all markdown-ified like any other post. Yay markdown!
Tutorial 1 on Relevant Topic in Your Field
Published:
Talk 2 on Relevant Topic in Your Field
Published:
Conference Proceeding talk 3 on Relevant Topic in Your Field
Published:
This is a description of your conference proceedings talk, note the different field in type. You can put anything in this field.
teaching
Math 112L: Laboratory Calculus II (Teaching Assistant)
Undergraduate course — Duke University, Mathematics Department, January 2017
Math 105L: Laboratory Calculus and Functions I (Teaching Assistant)
Undergraduate course — Duke University, Mathematics Department, August 2017
Math 106L: Laboratory Calculus and Functions II (Teaching Assistant)
Undergraduate course — Duke University, Mathematics Department, January 2018
Math 112L: Laboratory Calculus II (Teaching Assistant)
Undergraduate course — Duke University, Mathematics Department, January 2019
ECE 350L: Digital Systems (Teaching Assistant)
Undergraduate course — Duke University, Electrical & Computer Engineering Department, August 2019
ECE 350L: Digital Systems (Teaching Assistant)
Undergraduate course — Duke University, Electrical & Computer Engineering Department, January 2020
workshops
Quantifying Software Leakage via Transmitters with Leakage Functions
6th Young Architect Workshop (YArch) at 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2024), April 2024
SymLeak: Quantifying Side Channel Leakage with Symbolic Execution
Student Forum Workshop at Formal Methods in Computer-Aided Design 2024 (FMCAD 2024), October 2024
Word-Level Model Checking with IC3 in Pono
Student Forum Workshop at Formal Methods in Computer-Aided Design 2024 (FMCAD 2024), October 2024
Synthesizing Execution Contracts from RTL for Formally Verified Hardware Side-Channel Defenses
8th Young Architect Workshop (YArch) at 53rd International Symposium on Computer Architecture (ISCA 2026), June 2026