Skip to content

Commit

Permalink
Fix the inconsistent casing
Browse files Browse the repository at this point in the history
  • Loading branch information
dwslim committed Aug 16, 2024
1 parent 19a2c83 commit ced724c
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions content/_index.md
Original file line number Diff line number Diff line change
Expand Up @@ -29,9 +29,9 @@ sections:
### Interests
Theoretical foundations of Computer Systems, with a current focus on:
1. Dynamic Analysis algorithms for detecting concurrency bugs
2. Fuzz Testing for Concurrent Software
Theoretical foundations of computer systems, with a current focus on:
1. Dynamic analysis algorithms for detecting concurrency bugs
2. Fuzz testing for concurrent software
3. Algorithmic foundations for analysis problems beyond sequential consistency (weak memory and message passing concurrency)
### Projects
Expand Down

0 comments on commit ced724c

Please sign in to comment.