Computer Science - 2024 | Golisano College of Computing and Information Sciences
Faculty Scholarship 2024
Computer Science
To view listing from a different department, select department name from the right.Arthur Azevedo de Amorim
Assistant Professor
Computer Science
Golisano College of Computing and Information Sciences
2024 Submissions
Published Conference Proceedings
Rinaldi, Francis, et al. "Pipelines and Beyond: Graph Types for ADTs with Futures." Proceedings of the POPL'2024, London, UK. Ed. ACM. London, UK: n.p., 2024. Print. «
Zhang, Cheng, Arthur Azevedo de Amorim, and Marco Gaboardi. "Domain Reasoning in TopKAT." Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, {ICALP} 2024, July 8-12, 2024, Tallinn, Estonia. Ed. Karl Bringmann, et al. Wadern, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Print. *
Thibault, Jérémy, et al. "SECOMP: Formally Secure Compilation of Compartmentalized C Programs." Proceedings of the {ACM} {SIGSAC} Conference on Computer and Communications Security, {CCS} 2024, Salt Lake City, UT, USA. Ed. Bo Luo, et al. New York, NY: ACM, Print. «
Matthew Fluet
Associate Professor
Computer Science
Golisano College of Computing and Information Sciences
2024 Submissions
Journal Paper
Westrick, Sam, et al. "Automatic Parallelism Management." Proceedings of the ACM on Programming Languages 8. POPL (2024): 1118 - 1149. Web. «
Edith Hemaspaandra
Professor
Computer Science
Golisano College of Computing and Information Sciences
2024 Submissions
Journal Paper
Burjons, Elisabet, et al. "Finding Optimal Solutions With Neighborly Help." Algorithmic 86. 6 (2024): 1921-1947. Print. *
Book Chapter
Hemaspaandra, Edith, Lane A. Hemaspaandra, and Jörg Rothe. "The Complexity of Manipulative Actions in Single-Peaked Societies." Economics and Computation: An Introduction to Algorithmic Game Theory, Computational Social Choice, & Fair Division, second edition. Ed. Jörg Rothe. ., Germany: Springer, 2024. 369-402. Print. *
External Scholarly Fellowships/National Review Committee
10/1/2024 -
9/30/2027
NSF-CCF FMiTF
Amount: $212,983
≠
Richard Lange
Computer Science
Golisano College of Computing and Information Sciences
2024 Submissions
Invited Keynote/Presentation
Lange, Richard D. "Interpolating between sampling and variational inference with infinite stochastic mixtures." From Theory to Practice: workshop in data science. AIMS Rwanda. Kigali, Rwanda. 16 Apr. 2024. Guest Lecture.
Stanislaw Radziszowski
Professor
Computer Science
Golisano College of Computing and Information Sciences
2024 Submissions
Published Conference Proceedings
Borrelli, Thomas J., Monika Polak, and Stanisław Radziszowski. "Designing and Delivering a Post-Quantum Cryptography Course." Proceedings of the SIGCSE Symposium, Portland, OR, March 2024. Ed. SIGCSE. Portland, OR, USA: n.p., 2024. Print. £
Invited Article/Publication
Radziszowski, Stanisław P. "Small Ramsey Numbers." Dynamic Surveys. (2024). Web. ∆
Radziszowski, Stanisław P. "MR4668780." Off-diagonal online size Ramsey numbers for paths. (2024). Web. ∆
Radziszowski, Stanisław P. "MR4695593." On the restricted size Ramsey number for a pair of cycles. (2024). Web. ∆
Radziszowski, Stanisław P. "MR4653134." Turán numbers $T(n, 5,3)$ and graphs without induced 5-cycles. (2024). Web. ∆
Radziszowski, Stanisław P. "MR4632168." Three early problems on size Ramsey numbers. (2024). Web. ∆
Muhammad Mustafa Rafique
Associate Professor
Computer Science
Golisano College of Computing and Information Sciences
2024 Submissions
Published Conference Proceedings
Arif, Moiz, et al. "Application-Attuned Memory Management for Containerized HPC Workflows." Proceedings of the Proceedings of the 38th IEEE International Parallel & Distributed Processing Symposium (IPDPS). Ed. IEEE. San Francisco, California, USA: IEEE, 2024. Web. £
Rajendra Raj
Professor
Computer Science
Golisano College of Computing and Information Sciences
2024 Submissions
Full Length Book
Kumar, Amruth N and Rajendra K Raj. Computer Science Curricula 2023. New York, NY: ACM, IEEE-CS, and AAAI, 2024. Web. * £
Journal Paper
Simha, Rahul, Amruth N. Kumar, and Rajendra K. Raj. "Undergraduate Computer Science Curricula." Communications of the ACM 67. 2 (2024): 29-31. Print. *
Carlos Rafael Rivero Osuna
Associate Professor
Computer Science
Golisano College of Computing and Information Sciences
2024 Submissions
Journal Paper
Chowdhury, Md Towhidul Absar, Maheen Riaz Contractor, and Carlos R. Rivero. "Flexible control flow graph alignment for delivering data-driven feedback to novice programming learners." Journal of Systems and Software 210. (2024): 111960. Web. *
Published Conference Proceedings
Krishnan, Narayanan Asuri and Carlos R. Rivero. "A Method for Assessing Inference Patterns Captured by Embedding Models in Knowledge Graphs." Proceedings of the Proceedings of the ACM on Web Conference 2024. Ed. Tat-Seng Chua and Chong-Wah Ngo and Ravi Kumar and Hady W. Lauw and Roy Ka-Wei Lee. Singapore, Singapore: ACM, 2024. Web. «
Rao, Aishwarya, Narayanan Asuri Krishnan, and Carlos R. Rivero. "Using Model Calibration to Evaluate Link Prediction in Knowledge Graphs." Proceedings of the Proceedings of the ACM on Web Conference 2024. Ed. Tat-Seng Chua and Chong-Wah Ngo and Ravi Kumar and Hady W. Lauw and Roy Ka-Wei Lee. Singapore, Singapore: ACM, 2024. Web. «