Differences

This shows you the differences between two versions of the page.

--- research [2016/09/02 18:44] – ruppert
+++ research [2024/01/05 23:06] (current) – eruppert
@@ Line 3: / Line 3: @@
 ==== Recent Publications ====
-Many of the papers listed below may be downloaded from the authors' web pages.
-=== 2016 ===
+=== 2023 ===
-  * James Aspnes, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]].  Depth of a random binary search tree with concurrent insertions.  To appear in //Proc. International Conference on Distributed Computing//, 2016.
+  * Spyros Angelopoulos, [[https://www.eecs.yorku.ca/~kamalis|Shahin Kamali]].  Contract Scheduling with Predictions. //Journal of Artificial Intelligence Research//, 77, 2023.
-  * Stephen A. Cook, [[http://www.cse.yorku.ca/~jeff|Jeff Edmonds]], Venkatesh Medabalimi, Toniann Pitassi.  Lower bounds for nondeterministic semantic read-once branching programs.  In //Proc. International Colloquium on Automata, Languages, and Programming//, 2016.
+  * Spyros Angelopoulos, [[https://www.eecs.yorku.ca/~kamalis|Shahin Kamali]].  Rényi-Ulam Games and Online Computation with Imperfect Advice. In //Proc. 48th International Symposium on Mathematical Foundations of Computer Science//, 2023.
-  * Qiyi Tang, [[http://www.cse.yorku.ca/~franck|Franck van Breugel]].  Computing probabilistic bisimilarity distances via policy iteration. In //Proc. International Conference on Concurrency Theory//, 2016.
+  * Shalom Asbell, [[https://www.eecs.yorku.ca/~ruppert|Eric Ruppert]].  A Wait-Free Deque with Polylogarithmic Step Complexity.  In //Proc. International Conference on Principles of Distributed Systems//, 2023.
-=== 2015 ===
+  * Hassan Ashtiani, Vinayak Pathak, [[https://www.eecs.yorku.ca/~uruth|Ruth Urner]].  Adversarially Robust Learning with Tolerance. In //Proc. International Conference on Algorithmic Learning Theory//, 2023.
-  * Carole Delporte-Gallet, Hugues Fauconnier, Petr Kuznetsov, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]].  On the space complexity of set agreement.  In //Proc. ACM Symposium on Principles of Distributed Computing//, 2015.
+  * Paul Bastide, Marthe Bonamy, Anthony Bonato, Pierre Charbit, [[https://www.eecs.yorku.ca/~kamalis|Shahin Kamali]], Théo Pierron, Mikaël Rabie.  Improved Pyrotechnics: Closer to the Burning Number Conjecture. //Electronic Journal of Combinatorics//, 30(4), 2023.
-  * Md. Kowsar Hossain, [[http://www.eecs.yorku.ca/~datta|Suprakash Datta]], [[http://www.eecs.yorku.ca/~jeff|Jeff Edmonds]].  Ad-ATMA: An efficient MAC protocol for wireless sensor and ad hoc networks.  In //Proc. International Conference on Ambient Systems, Networks and Technologies//, 2015.
+  * Joan Boyar, Lene M. Favrholdt, [[https://www.eecs.yorku.ca/~kamalis|Shahin Kamali]], Kim S. Larsen.  Online Interval Scheduling with Predictions. In //Proc. 18th International Symposium on Algorithms and Data Structures//, 2023.
-  * [[http://www.eecs.yorku.ca/~niloo|Niloufar Shafiei]].  Doubly-linked lists with good amortized complexity.  In //Proc. 19th International Conference on Principles of Distributed Systems//, 2015.  This paper won the conference's **best paper award**.
+  * [[https://www.eecs.yorku.ca/~burjons|Elisabet Burjons]], Matthias Gehnen, Henri Lotze, Daniel Mock, Peter Rossmanith.  The Online Simple Knapsack Problem with Reservation and Removability.  In //Proc. 48th International Symposium on Mathematical Foundations of Computer Science//, 2023.
-=== 2014 ===
+  * Fasil Cheema, [[https://www.eecs.yorku.ca/~uruth|Ruth Urner]].  Precision Recall Cover: A Method For Assessing Generative Models.  In //Proc. International Conference on Artificial Intelligence and Statistics//, 2023.
-  * Tareq Adnan, [[http://www.cse.yorku.ca/~datta|Suprakash Datta]], Stuart MacLean.  Efficient and accurate sensor network localization. //Personal and Ubiquitous Computing//, 18(4): 821-833, 2014
+  * Tosca Lechner, Vinayak Pathak, [[https://www.eecs.yorku.ca/~uruth|Ruth Urner]]. Adversarially Robust Learning with Uncertain Perturbation Sets, In //Proc. Conference on Neural Information Processing Systems//, 2023.
-  * [[http://www.cse.yorku.ca/~franck|Franck van Breugel]], James Worrell.  The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata.  In //Horizons of the Mind//, 2014.
+  * Tosca Lechner, [[https://www.eecs.yorku.ca/~uruth|Ruth Urner]], Shai Ben-David. Strategic Classification with Unknown User Manipulations.  In //Proc. International Conference on Machine Learning//, 2023.
-  * [[http://www.cse.yorku.ca/~franck|Franck van Breugel]], Elham Kashefi, Catuscia Palamidessi, Jan Rutten, editors. //Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday//. LNCS 8464, Springer, 2014.
+  * Hossein Naderibeni, [[https://www.eecs.yorku.ca/~ruppert|Eric Ruppert]].  A Wait-free Queue with Polylogarithmic Step Complexity.  In //Proc. ACM Symposium on Principles of Distributed Computing//, 2023.
-  * Trevor Brown, Faith Ellen, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]]. A general technique for non-blocking trees. In //Proc. ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming//, 2014.
+  * Amgad Rady, [[http://www.eecs.yorku.ca/~franck|Franck van Breugel]].  Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains. In //Proc. 26th International Conference on Foundations of Software Science and Computation Structures//, 2023.
-  * Faith Ellen, Panagiota Fatourou, Joanna Helga, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]]. The amortized complexity of non-blocking binary search trees. In //Proc. ACM Symposium on Principles of Distributed Computing//, 2014.
+  * Matt Walker, Parssa Khazra, Anto Nanah Ji, Hongru Wang, [[http://www.eecs.yorku.ca/~franck|Franck van Breugel]].  jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code. //ACM SIGSOFT Software Engineering Notes// 48(1), 2023.
-  * Rachid Guerraoui, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]]. A paradox of eventual linearizability in shared memory. In //Proc. ACM Symposium on Principles of Distributed Computing//, 2014.
+  * Yuanhao Wei, Guy E. Blelloch, Panagiota Fatourou, [[https://www.eecs.yorku.ca/~ruppert|Eric Ruppert]].  Practically and Theoretically Efficient Garbage Collection for Multiversioning.  In //Proc. 28th ACM Symposium on Principles and Practice of Parallel Programming//, 2023.
-  * Rachid Guerraoui, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]]. Linearizability Is Not Always a Safety Property. In //Proc. 2nd International Conference on Networked Systems//, 2014.
+=== 2022 ===
-  * Stuart MacLean, [[http://www.cse.yorku.ca/~datta|Suprakash Datta]]. Reducing the Positional Error of Connectivity-Based Positioning Algorithms Through Cooperation Between Neighbors.  //IEEE Transactions on Mobile Computing//, 13(8): 1868-1882, 2014.
+  * Spyros Angelopoulos, [[http://www.eecs.yorku.ca/~kamalis|Shahin Kamali]], Kimia Shadkami.  Online Bin Packing with Predictions.  In //Proc. International Joint Conference on Artificial Intelligence//, 2022.
-  * Nastaran Shafiei, [[http://www.cse.yorku.ca/~franck|Franck van Breugel]]. Automatic handling of native methods in Java PathFinder. In //Proc. International Symposium on Model Checking of Software//, 2014.
+  * Spyros Angelopoulos, [[http://www.eecs.yorku.ca/~kamalis|Shahin Kamali]], Dehou Zhang. Online Search with Best-Price and Query-Based Predictions. In //Proc. 36th AAAI Conference on Artificial Intelligence//, 2022.
-=== 2013 ===
+  * Hans-Joachim Böckenhauer, [[http://www.cse.yorku.ca/~burjons|Elisabet Burjons]]. Martin Raszyk, Peter Rossmanith, Reoptimization of Parameterized Problems.  //Acta Informatica// 59, 2022.
-  * Tareq Adnan, Suprakash Datta. AdAMAC: A New MAC Protocol for High Traffic Wireless Networks. In //Proc. 4th International Conference on Ambient Systems, Networks and Technologies and 3rd International Conference on Sustainable Energy Information Technology//, 2013.
+  * [[http://www.cse.yorku.ca/~burjons|Elisabet Burjons]], Janosch Fuchs, Henri Lotze. The Slotted Online One-Sided Crossing Minimization Problem on 2-Regular Graphs. In //Proc. 33rd International Workshop on Combinatorial Algorithms//, 2022.
-  * [[http://www.cse.yorku.ca/~franck|Franck van Breugel]], Claudio Hermida, Michael Makkai, James Worrell.  Addendum to "Recursively defined metric spaces without contraction" [TCS 380 (1/2) (2007) 143-163].  //Theoretical Computer Science//, 492: 117-122, 2013.
+  * Charlie Carlson, Ewan Davies, Nicolas Fraiman, Alexandra Kolla, [[https://www.adityapotukuchi.com|Aditya Potukuchi]], Corrine Yap.  Algorithms for the ferromagnetic Potts model on expanders. In //Proc. 63rd IEEE Symposium on Foundations of Computer Science//, 2022.
-  * Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]], Hung Tran-The. Byzantine agreement with homonyms. //Distributed Computing//, 26(5-6): 321-340, 2013.
+  * Sadia Chowdhury, [[https://www.eecs.yorku.ca/~uruth|Ruth Urner]]. Robustness Should Not Be at Odds with Accuracy. In //Proc. 3rd Symposium on Foundations of Responsible Computing//, 2022.
-  * Stuart MacLean, [[http://www.cse.yorku.ca/~datta|Suprakash Datta]]. Energy Constrained Positioning in Mobile Wireless Ad hoc and Sensor Networks. In //Proc. 4th International Conference on Ambient Systems, Networks and Technologies and 3rd International Conference on Sustainable Energy Information Technology//, 2013.
+  * Carole Delporte-Gallet, Panagiota Fatourou, Hugues Fauconnier, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]].  When Is Recoverable Consensus Harder Than Consensus?  In //Proc. ACM Symposium on Principles of Distributed Computing//, 2022.
-  * [[http://www.cse.yorku.ca/~niloo"|Niloufar Shafiei]]. Non-blocking patricia tries with replace operations.  In //Proc. 33rd International Conference on Distributed Computing Systems//, 2013
+  * Saulo dos Santos, Japjeet Singh, Ruppa K. Thulasiram, [[http://www.eecs.yorku.ca/~kamalis|Shahin Kamali]], Louis Sirico, Lisa Loud.  A New Era of Blockchain-Powered Decentralized Finance (DeFi) - A Review. In //Proc. 46th IEEE Computers, Software and Applications Conference//, 2022.
-  * Hui Wang, Michael Jenkin, [[http://www.cse.yorku.ca/~patrick|Patrick W. Dymond]]. Enhancing Exploration in Topological Worlds with a Directional Immovable Marker. In //Proc. 10th Conference on Computer and Robot Vision//, 2013.
+  * James Freitag, Neshat Mohammadi, [[https://www.adityapotukuchi.com|Aditya Potukuchi]], Lev Reyzin.  On the Geometry of Stable Steiner Tree Instances. In //Proc. 34th Canadian Conference on Computational Geometry//, 2022.
-=== 2012 ===
+  * Matthew Jenssen, Will Perkins, [[https://www.adityapotukuchi.com|Aditya Potukuchi]]. Independent sets of a given size and structure in the hypercube. //Combinatorics, Probability and Computing//, 31(4), 2022.
-  * [[http://www.cse.yorku.ca/~franck|Franck van Breugel]]. On behavioural pseudometrics and closure ordinals. //Information Processing Letters//, 112(19): 715-718, 2012.
+  * Matthew Jenssen, [[https://www.adityapotukuchi.com|Aditya Potukuchi]], Will Perkins. Approximately counting independent sets in bipartite graphs via graph containers.  In //Proc. 33rd ACM-SIAM Symposium on Discrete Algorithms//, 2022.
-  * Arkadev Chattopadhyay, [[http://www.cse.yorku.ca/~jeff|Jeff Edmonds]], Faith Ellen, and Toniann Pitassi.  A little advice can be very helpful.  In //Proc. ACM-SIAM Symposium on Discrete Algorithms//, 2012.
+  * [[http://www.eecs.yorku.ca/~kamalis|Shahin Kamali]].  Compact representation of graphs with bounded bandwidth or treedepth. //Information and Computation//, 285, 2022.
-  * Di Chen, [[http://www.cse.yorku.ca/~franck|Franck van Breugel]], James Worrell.  On the Complexity of Computing Probabilistic Bisimilarity.  In //Proc. 15th International Conference on Foundations of Software Science and Computational Structures//, 2012.
+  * [[http://www.eecs.yorku.ca/~kamalis|Shahin Kamali]], Pooya Nikbakht.  Online Square Packing with Rotation.  In //Proc. 34th Canadian Conference on Computational Geometry//, 2022.
-  * Elise Cormie-Bowins, [[http://www.cse.yorku.ca/~franck|Franck van Breugel]].  Measuring Progress of Probabilistic LTL Model Checking. In //Proc. 10th Workshop on Quantitative Aspects of Programming Languages and Systems//, 2012.
+  * [[http://www.eecs.yorku.ca/~kamalis|Shahin Kamali]], Pooya Nikbakht, Arezoo Sajadpour.  A Randomized Algorithm for Non-crossing Matching of Online Points. In //Proc. 34th Canadian Conference on Computational Geometry//, 2022.
-  * [[http://www.cse.yorku.ca/~jeff|Jeff Edmonds]]. On the Competitiveness of AIMD-TCP within a General Network. //Theoretical Computer Science// 462: 12-22, 2012.
+  * Tosca Lechner, [[http://www.cse.yorku.ca/~ruth|Ruth Urner]].  Learning Losses for Strategic Classification.  In //Proc. 36th AAAI Conference on Artificial Intelligence//,  2022.
-  * [[http://www.cse.yorku.ca/~jeff|Jeff Edmonds]], Kirk Pruhs. Scalably scheduling processes with arbitrary speedup curves. //ACM Transactions on Algorithms//, 8(3): 28, 2012.
+  * [[http://www.cse.yorku.ca/~gt|George Tourlakis]], //Computability//, Springer, 2021.
-  * Hui Wang, Michael Jenkin, [[http://www.cse.yorku.ca/~patrick|Patrick W. Dymond]]. Enhancing Exploration in Topological Worlds with Multiple Immovable Markers. In //Proc. 9th Conference on Computer and Robot Vision//, 2012.
+=== 2021 ===
-=== 2011 ===
+  * Sushant Agarwal, Nivasini Ananthakrishnan, Shai Ben-David, Tosca Lechner, [[http://www.cse.yorku.ca/~ruth|Ruth Urner]].  Open Problem: Are all VC-classes CPAC learnable? In //Proc. 33rd Conference on Learning Theory//, 2021.
-  * Tareq Adnan, [[http://www.cse.yorku.ca/~datta|Suprakash Datta]], Stuart MacLean. Effcient and Accurate Range-based Sensor Network Localization. In //Proc. 3rd International Conference on Ambient Systems, Networks and Technologies and 9th International Conference on Mobile Web Information Systems//, 2011.
+  * Nivasini Ananthakrishnan, Shai Ben-David, Tosca Lechner, [[http://www.cse.yorku.ca/~ruth|Ruth Urner]]. Identifying Regions of Trusted Predictions. In //Proc. 37th Conference on Uncertainty in Artificial Intelligence//, 2021.
-  * Anton Belov, Matti Järvisalo, [[http://www.cse.yorku.ca/~zbigniew|Zbigniew Stachniak]]. Depth-Driven Circuit-Level Stochastic Local Search for SAT. In //Proc. 22nd International Joint Conference on Artificial Intelligence//, 2011.
+  * Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, [[http://www.cse.yorku.ca/~franck|Franck van Breugel]].  Computing Probabilistic Bisimilarity Distances for Probabilistic Automata.  //Logical Methods in Computer Science//, 17(1), 2021.
-  * Trevor Brown and Joanna Helga.  Non-blocking //k//-ary search trees. //Proc. 15th International Conference On Principles Of Distributed Systems//, 2011.
+  * Naama Ben-David, Guy E. Blelloch, Panagiota Fatourou, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]], Yihan Sun, Yuanhao Wei.  Space and Time Bounded Multiversion Garbage Collection. In Proc. //Proc. 35th International Symposium on Distributed Computing//, 2021.
-  * Trevor Brown, Faith Ellen, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]].  Pragmatic primitives for non-blocking data structures. In //Proc. PODC//, 2013.
+  * Syyeda Zainab Fatmi, Xiang Chen, Yash Dhamija, Maeve Wildes, Qiyi Tang, [[http://www.cse.yorku.ca/~franck|Franck van Breugel]].  Probabilistic Model Checking of Randomized Java Code.  In //Proc. 27th International Symposium on Model Checking Software - 27th International Symposium (SPIN)//, 2021.
-  * Ho-Leung Chan, [[http://www.cse.yorku.ca/~jeff|Jeff Edmonds]], Tak Wah Lam, Lap-Kei Lee, Alberto Marchetti-Spaccamela, Kirk Pruhs.  Nonclairvoyant Speed Scaling for Flow and Energy.  //Algorithmica//, 61(3): 507-517, 2011.
+  * Yunge Hao, [[http://www.cse.yorku.ca/~gt|George Tourlakis]], An arithmetically complete predicate modal logic, Bulletin of the Section of Logic, 2021.  To appear.
-  * Ho-Leung Chan, [[http://www.cse.yorku.ca/~jeff|Jeff Edmonds]], Kirk Pruhs.  Speed Scaling of Processes with Arbitrary Speedup Curves on a Multiprocessor, //Theory of Computing Systems//, 49(4): 817-833, 2011.
+  * Yuanhao Wei, Naama Ben-David, Guy E. Blelloch, Panagiota Fatourou, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]], Yihan Sun.  Constant-time snapshots with applications to concurrent data structures. In //Proc. 26th ACM Symposium on Principles and Practice of Parallel Programming//, 2021.
-  * Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]] and Hung Tran-The.  Byzantine Agreement with Homonyms.  In //Proc. 30th ACM Symposium on Principles of Distribued Computing//, pages 21-30, 2011.
+=== 2020 ===
-  * [[http://www.cse.yorku.ca/~jeff|Jeff Edmonds]], Sungjin Im, Benjamin Moseley. Online scalable scheduling for the <m>l_k</m>-norms of flow time without conservation of work. In //Proc. ACM-SIAM Symposium on Discrete Algorithms//, 2011.
+  * Sushant Agarwal, Nivasini Ananthakrishnan, Shai Ben-David, Tosca Lechner, [[http://www.cse.yorku.ca/~ruth|Ruth Urner]].  On Learnability wih Computable Learners. In //Proc. 31st International Conference on Algorithmic Learning Theory//, 2020.
-  * [[http://www.cse.yorku.ca/~jeff|Jeff Edmonds]], Kirk Pruhs. Cake cutting really is not a piece of cake. //ACM Transactions on Algorithms//, 7(4): 51, 2011.
+  * Hassan Ashtiani, Vinayak Pathak, [[http://www.cse.yorku.ca/~ruth|Ruth Urner]].  Black-box Certification and Learning under Adversarial Perturbations.  In //Proc. 37th International Conference on Machine Learning//, 2020.
-  * Stuart MacLean, [[http://www.cse.yorku.ca/~datta|Suprakash Datta]].  The minimum positional error incurred by any connectivity-based positioning algorithm for mobile wireless systems. //Theoretical Computer Science//, 412(50): 6897-6912, 2011.
+  * Qiyi Tang, [[http://www.cse.yorku.ca/~franck|Franck van Breugel]].  Deciding probabilistic bisimilarity distance one for probabilistic automata.  //Journal of Computer and System Sciences// 111: 57-84, 2020.
-  * Stuart MacLean, [[http://www.cse.yorku.ca/~datta|Suprakash Datta]]. Improving the accuracy of connectivity-based positioning for mobile sensor networks. In //Proc. 22nd IEEE International Symposium on Personal, Indoor and Mobile Radio Communications//, 2011.
-  * Hui Wang, Michael Jenkin, [[http://www.cse.yorku.ca/~patrick|Patrick W. Dymond]]. The relative power of immovable markers in topological mapping. In //Proc. IEEE International Conference on Robotics and Automation//, 2011.
-  * Xin Zhang, [[http://www.cse.yorku.ca/~franck|Franck van Breugel]].  A Progress Measure for Explicit-State Probabilistic Model-Checkers. In //Proc. 38th International Colloquium on Automata, Languages and Programming//, 2011.
 === Publications in Previous Years ===
-  * [[2010]]
+  * [[2015-2019|2015-2019]]
-  * [[2009]]
+  * [[2010-2014|2010-2014]]
-  * [[2008]]
+  * [[2006-2009|2006-2009]]
-  * [[2007]]
-  * [[2006]]
   * [[http://www.cse.yorku.ca/tg/2005-pub.html|2005]]
   * [[http://www.cse.yorku.ca/tg/2004-pub.html|2004]]
   * [[http://www.cse.yorku.ca/tg/2003-pub.html|2003]]
-==== Recent Graduate Theses ====
+==== Graduate Theses ====
+  * Hossein Naderibeni, Lock-free Queues with Polylogarithmic Step Complexity, M.Sc. thesis, 2022.
+  * Sadia Chowdhury, Novel Examinations of Interpretable Surrogates and Adversarial Robustness in Machine Learning, M.Sc. thesis, 2021.
+  * Yunge Hao, On Solovay's Theorem and a Proof of Arithmetical Completeness of a New Predicate Modal Logic, M.Sc. thesis, 2021.
+  * Karan Singh, Ensuring Fairness Despite Differences in Environment, M.Sc. thesis, 2019.
+  * Kowsar Hossain, An Efficient MAC Protocol for Wireless Sensor and Ad Hoc Networks, M.Sc. thesis, 2017.
+  * Amgad Rady, Characterizing Implementations that Preserve Properties of Concurrent Randomized Algorithms, M.Sc. thesis, 2017.
+  * Feng Gao, A short and readable proof of cut elimination for two 1st-order modal logics, M.Sc. thesis, 2016.
   * Niloufar Shafiei, Non-Blocking Data Structures Handling Multiple Changes Atomically, Ph.D. thesis, 2015.
+  * Stephen Voland, Random Polyhedral Scenes, M.Sc. thesis, 2015.
   * Nastaran Shafiei, Model-Checking of Distributed Multithreaded Java Applications, Ph.D. thesis, 2014.
@@ Line 123: / Line 131: @@
   * Rahul Chaturvedi, Electing and Maintaining Leaders in Populations of Autonomous Agents, M.Sc. thesis, 2012.
+  * Yehuda Schwartz, Some Results in Computability and the Proof Theory of Predicate Modal Logic, Ph.D. thesis, 2012.
+  * Joanna Helga, Complexity Analysis of Non-blocking Binary Search Trees, M.Sc. project, 2011.
   * Xin Zhang, Measuring Progress of Model Checking Randomized Algorithms, M.Sc. thesis, 2010.
-  *[[http://www.cse.yorku.ca/~jeff/research/students/homePages/James.htm|(James) Hyukjoon Kwon]], [[http://www.cse.yorku.ca/~jeff/research/students/James/thesis.pdf|Improved Results on Models of Greedy and Primal-Dual Algorithms]], M.Sc. thesis, 2008.
+  * [[http://www.cse.yorku.ca/~jeff/research/students/homePages/James.htm|(James) Hyukjoon Kwon]], [[http://www.cse.yorku.ca/~jeff/research/students/James/thesis.pdf|Improved Results on Models of Greedy and Primal-Dual Algorithms]], M.Sc. thesis, 2008.
   * Nassim Nasser, [[http://www.cse.yorku.ca/~jeff/research/students/Nassim/project.pdf|PBT Framework and BT Reductions]], M.Sc. project, 2008.
@@ Line 146: / Line 158: @@
   * Mikhail Fomitchev, Lock-Free Linked Lists and Skip Lists, M.Sc. thesis, 2003.  (Winner of York University's Thesis Prize.)
-==== Recent Undergraduate (CSE4080) Projects ====
+==== Undergraduate Research Projects ====
+  * Shahen Alexanian, Bounds on the Competitive Ratio of the Online n-Knapsack Problem with Reservation Costs (n>2), 2023.
+  * Shalom Asbell, Lock-free Deques, 2023.
+  * Ethan Fifle, Design and Analysis of 3D Algorithms and Data Structures with Industry Applications, 2023.
+  * Katherine Ling, Compact Data Structures for Geometric Graphs, 2023.
+  * Koko NanahJi and Jordan Malek, Lock-free Bag Data Structures, 2020-21.
   * Trevor Brown, Non-blocking Search Trees, 2010.
@@ Line 154: / Line 176: @@
   * Soheil Pourhashemi, [[http://www.cs.yorku.ca/~aaw/Pourhashemi/index.html|Leftist and Skew Heaps]] (Algorithmics Animation Workshop), 2007.
-  *Daniel Natapov, [[http://www.cse.yorku.ca/~jeff/research/students/4080/Daniel.ppt|The Max Cut Problem]] (Attended CS6111), 2007.
+  * Daniel Natapov, [[http://www.cse.yorku.ca/~jeff/research/students/4080/Daniel.ppt|The Max Cut Problem]] (Attended CS6111), 2007.
   * Zhenyu Pan, [[http://www.cs.yorku.ca/~aaw/ZhenyuPan/devor/DeVor.html|Delaunay and Voronoi Diagram]] (Algorithmics Animation Workshop), 2007.