fix misspelled name (#44)

https://r-mukund.github.io/
pcminer-tools · Jul 25, 2023 · 7a28d36 · 7a28d36
1 parent 8d99ae7
commit 7a28d36
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/data/PLDI/2016/pldi2016-pc.txt b/data/PLDI/2016/pldi2016-pc.txt
@@ -95,7 +95,7 @@ E:Rodric Rabbah
 E:Arjun Radhakrishna
 E:Cosmin Radoi
 E:Jonathan Ragan-Kelley
-E:Mukund Raghotaman
+E:Mukund Raghothaman
 E:Aseem Rastogi
 E:Veselin Raychev
 E:Cole Schlesinger

diff --git a/data/PLDI/2020/pldi2020-pc.txt b/data/PLDI/2020/pldi2020-pc.txt
@@ -27,7 +27,7 @@ Klaus Ostermann
 Corina S. Pasareanu
 Phitchaya Mangpo Phothilimthana
 Ruzica Piskac
-Mukund Raghotaman
+Mukund Raghothaman
 Veselin Raychev
 John Regehr
 Adrian Sampson

diff --git a/data/POPL-AE/2016/popl-ae2016-pc.txt b/data/POPL-AE/2016/popl-ae2016-pc.txt
@@ -16,7 +16,7 @@ Scott Moore
 ThanhVu Nguyen
 Clément Pit-Claudel
 Arjun Radhakrishna
-Mukund Raghotaman
+Mukund Raghothaman
 Andrew Reynolds
 Malavika Samak
 Peter Schrammel