research
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
research [2016/09/02 18:44] – ruppert | research [2023/12/14 20:01] – eruppert | ||
---|---|---|---|
Line 3: | Line 3: | ||
==== Recent Publications ==== | ==== Recent Publications ==== | ||
- | Many of the papers listed below may be downloaded from the authors' | ||
- | === 2016 === | + | === 2023 === |
- | * James Aspnes, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]]. | + | * Spyros Angelopoulos, [[https://www.eecs.yorku.ca/~kamalis|Shahin Kamali]]. |
- | * Stephen A. Cook, [[http://www.cse.yorku.ca/~jeff|Jeff Edmonds]], Venkatesh Medabalimi, Toniann Pitassi. | + | * Spyros Angelopoulos, [[https://www.eecs.yorku.ca/~kamalis|Shahin Kamali]]. |
- | * Qiyi Tang, [[http://www.cse.yorku.ca/~franck|Franck van Breugel]]. | + | * Shalom Asbell, [[https://www.eecs.yorku.ca/~ruppert|Eric Ruppert]]. |
- | === 2015 === | + | * Hassan Ashtiani, Vinayak Pathak, [[https:// |
- | * Carole Delporte-Gallet, Hugues Fauconnier, Petr Kuznetsov, [[http://www.cse.yorku.ca/~ruppert|Eric Ruppert]]. | + | * Paul Bastide, Marthe Bonamy, Anthony Bonato, Pierre Charbit, [[https://www.eecs.yorku.ca/~kamalis|Shahin Kamali]], Théo Pierron, Mikaël Rabie. |
- | * Md. Kowsar Hossain, [[http:// | + | * Joan Boyar, Lene M. Favrholdt, [[https:// |
- | * [[http:// | + | * [[https:// |
- | === 2014 === | + | * Fasil Cheema, [[https:// |
- | * Tareq Adnan, [[http://www.cse.yorku.ca/~datta|Suprakash Datta]], Stuart MacLean. | + | * Tosca Lechner, [[https://www.eecs.yorku.ca/~uruth|Ruth Urner]], Shai Ben-David. Strategic Classification with Unknown User Manipulations. |
- | * [[http://www.cse.yorku.ca/~franck|Franck van Breugel]], James Worrell. | + | * Hossein Naderibeni, |
- | * [[http:// | + | * Amgad Rady, [[http:// |
- | * Trevor Brown, Faith Ellen, [[http:// | + | * Matt Walker, Parssa Khazra, Anto Nanah Ji, Hongru Wang, [[http:// |
- | * Faith Ellen, Panagiota Fatourou, Joanna Helga, [[http://www.cse.yorku.ca/ | + | * Yuanhao Wei, Guy E. Blelloch, Panagiota Fatourou, [[https://www.eecs.yorku.ca/ |
- | * Rachid Guerraoui, [[http:// | + | === 2022 === |
- | * Rachid Guerraoui, [[http:// | + | * Spyros Angelopoulos, [[http:// |
- | * Stuart MacLean, [[http:// | + | * Spyros Angelopoulos, [[http:// |
- | * Nastaran Shafiei, [[http:// | + | * Hans-Joachim Böckenhauer, [[http:// |
- | === 2013 === | + | * [[http:// |
- | * Tareq Adnan, Suprakash Datta. AdAMAC: A New MAC Protocol | + | * Charlie Carlson, Ewan Davies, Nicolas Fraiman, Alexandra Kolla, [[https:// |
- | * [[http://www.cse.yorku.ca/~franck|Franck van Breugel]], Claudio Hermida, Michael Makkai, James Worrell. | + | * Sadia Chowdhury, |
- | * Carole Delporte-Gallet, | + | * Carole Delporte-Gallet, Panagiota Fatourou, Hugues Fauconnier, [[http:// |
- | * Stuart MacLean, [[http:// | + | * Saulo dos Santos, Japjeet Singh, Ruppa K. Thulasiram, [[http:// |
- | * [[http://www.cse.yorku.ca/ | + | * James Freitag, Neshat Mohammadi, |
- | * Hui Wang, Michael Jenkin, [[http://www.cse.yorku.ca/ | + | * Matthew Jenssen, Will Perkins, [[https://www.adityapotukuchi.com|Aditya Potukuchi]]. Independent sets of a given size and structure |
- | === 2012 === | + | * Matthew Jenssen, [[https:// |
- | * [[http:// | + | * [[http:// |
- | * Arkadev Chattopadhyay, | + | * [[http:// |
- | * Di Chen, [[http:// | + | * [[http:// |
- | * Elise Cormie-Bowins, [[http:// | + | * Tosca Lechner, [[http:// |
- | * [[http:// | + | * [[http:// |
- | * [[http:// | + | === 2021 === |
- | * Hui Wang, Michael Jenkin, [[http:// | + | * Sushant Agarwal, Nivasini Ananthakrishnan, |
- | === 2011 === | + | * Nivasini Ananthakrishnan, |
- | * Tareq Adnan, [[http:// | + | * Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, [[http:// |
- | * Anton Belov, Matti Järvisalo, [[http:// | + | * Naama Ben-David, Guy E. Blelloch, Panagiota Fatourou, [[http:// |
- | * Trevor Brown and Joanna Helga. | + | * Syyeda Zainab Fatmi, Xiang Chen, Yash Dhamija, Maeve Wildes, Qiyi Tang, [[http://www.cse.yorku.ca/~franck|Franck van Breugel]]. |
- | * Trevor Brown, Faith Ellen, [[http:// | + | * Yunge Hao, [[http:// |
- | * Ho-Leung Chan, [[http:// | + | * Yuanhao Wei, Naama Ben-David, Guy E. Blelloch, Panagiota Fatourou, [[http:// |
- | * Ho-Leung Chan, [[http:// | + | === 2020 === |
- | * Carole Delporte-Gallet, Hugues Fauconnier, Rachid Guerraoui, Anne-Marie Kermarrec, [[http:// | + | * Sushant Agarwal, Nivasini Ananthakrishnan, Shai Ben-David, Tosca Lechner, [[http:// |
- | * [[http:// | + | * Hassan Ashtiani, Vinayak Pathak, |
- | * [[http:// | + | * Qiyi Tang, [[http:// |
- | * Stuart MacLean, [[http:// | ||
- | |||
- | * Stuart MacLean, [[http:// | ||
- | |||
- | * Hui Wang, Michael Jenkin, [[http:// | ||
- | |||
- | * Xin Zhang, [[http:// | ||
=== Publications in Previous Years === | === Publications in Previous Years === | ||
- | * [[2010]] | + | * [[2015-2019|2015-2019]] |
- | * [[2009]] | + | * [[2010-2014|2010-2014]] |
- | * [[2008]] | + | * [[2006-2009|2006-2009]] |
- | * [[2007]] | + | |
- | * [[2006]] | + | |
* [[http:// | * [[http:// | ||
* [[http:// | * [[http:// | ||
* [[http:// | * [[http:// | ||
- | ==== Recent | + | ==== 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' | ||
+ | |||
+ | * Karan Singh, Ensuring Fairness Despite Differences in Environment, | ||
+ | |||
+ | * 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. | * 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, | * Nastaran Shafiei, Model-Checking of Distributed Multithreaded Java Applications, | ||
Line 123: | Line 129: | ||
* Rahul Chaturvedi, Electing and Maintaining Leaders in Populations of Autonomous Agents, M.Sc. thesis, 2012. | * 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. | * Xin Zhang, Measuring Progress of Model Checking Randomized Algorithms, M.Sc. thesis, 2010. | ||
- | *[[http:// | + | * [[http:// |
* Nassim Nasser, [[http:// | * Nassim Nasser, [[http:// | ||
Line 146: | Line 156: | ||
* Mikhail Fomitchev, Lock-Free Linked Lists and Skip Lists, M.Sc. thesis, 2003. (Winner of York University' | * Mikhail Fomitchev, Lock-Free Linked Lists and Skip Lists, M.Sc. thesis, 2003. (Winner of York University' | ||
- | ==== Recent | + | ==== Undergraduate |
+ | |||
+ | * Koko NanahJi and Jordan Malek, Lock-free Bag Data Structures, 2020-21. | ||
* Trevor Brown, Non-blocking Search Trees, 2010. | * Trevor Brown, Non-blocking Search Trees, 2010. | ||
Line 154: | Line 166: | ||
* Soheil Pourhashemi, | * Soheil Pourhashemi, | ||
- | *Daniel Natapov, [[http:// | + | * Daniel Natapov, [[http:// |
* Zhenyu Pan, [[http:// | * Zhenyu Pan, [[http:// |
research.txt · Last modified: 2024/01/05 23:06 by eruppert