Computer Science - 2023 Ding, A., Li, G., Yi, X., & Liu, Y. (2023). IVSign: Interpretable Vulnerability Signature via Code Embedding and Static Analysis. 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS, DSN-W, pp. 25–31. https://doi.org/10.1109/DSN-W58399.2023.00025 Maeng, S. J., Ozdemir, O., Guvenc, I., Sichitiu, M. L., Dutta, R., & Mushi, M. (2023). AERIQ: SDR-Based LTE I/Q Measurement and Analysis Framework for Air-to-Ground Propagation Modeling. 2023 IEEE AEROSPACE CONFERENCE. https://doi.org/10.1109/AERO55745.2023.10115787 Li, B., Zhao, Q., Jiao, S., & Liu, X. (2023). DroidPerf: Profiling Memory Objects on Android Devices. PROCEEDINGS OF THE 29TH ANNUAL INTERNATIONAL CONFERENCE ON MOBILE COMPUTING AND NETWORKING, MOBICOM 2023, pp. 75–89. https://doi.org/10.1145/3570361.3592503 Dunlap, T., Thorn, S., Enck, W., & Reaves, B. (2023). Finding Fixed Vulnerabilities with Off-the-Shelf Static Analysis. 2023 IEEE 8TH EUROPEAN SYMPOSIUM ON SECURITY AND PRIVACY, EUROS&P, pp. 489–505. https://doi.org/10.1109/EuroSP57164.2023.00036 Li, J., Zhang, Y., Lu, S., Gunawi, H. S., Gu, X., Huang, F., & Li, D. (2023). Performance Bug Analysis and Detection for Distributed Storage and Computing Systems. ACM TRANSACTIONS ON STORAGE, 19(3). https://doi.org/10.1145/3580281 Shrikanth, N. C., & Menzies, T. (2023). Assessing the Early Bird Heuristic (for Predicting ProjectQuality). ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 32(5). https://doi.org/10.1145/3583565 Zhang, S., Sabir, A., & Das, A. (2023). Speaker Orientation-Aware Privacy Control to Thwart Misactivation of Voice Assistants. 2023 53RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, DSN, pp. 597–610. https://doi.org/10.1109/DSN58367.2023.00061 Wang, W., Rao, Y., Kwatra, A., Milliken, A., Dong, Y., Gomes, N., … Price, T. (2023). A Case Study on When and How Novices Use Code Examples in Open-Ended Programming. PROCEEDINGS OF THE 2023 CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, ITICSE 2023, VOL 1, pp. 82–88. https://doi.org/10.1145/3587102.3588774 Vandenberg, J., & Mott, B. (2023). "AI teaches itself": Exploring Young Learners' Perspectives on Artificial Intelligence for Instrument Development. PROCEEDINGS OF THE 2023 CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, ITICSE 2023, VOL 1, pp. 485–490. https://doi.org/10.1145/3587102.3588778 Wang, W., Bacher, J., Isvik, A., Limke, A., Sthapit, S., Shi, Y., … Price, T. (2023, August 7). Investigating the Impact of On-Demand Code Examples on Novices' Open-Ended Programming Experience. https://doi.org/10.1145/3568813.3600141 Basak, S. K., Neil, L., Reaves, B., & Williams, L. (2023). What Challenges Do Developers Face About Checked-in Secrets in Software Artifacts? 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, pp. 1635–1647. https://doi.org/10.1109/ICSE48619.2023.00141 Basak, S. K., Neil, L., Reaves, B., & Williams, L. (2023). SecretBench: A Dataset of Software Secrets. 2023 IEEE/ACM 20TH INTERNATIONAL CONFERENCE ON MINING SOFTWARE REPOSITORIES, MSR, pp. 347–351. https://doi.org/10.1109/MSR59073.2023.00053 Fourne, M., Wermke, D., Enck, W., Fahl, S., & Acar, Y. (2023). It's like flossing your teeth: On the Importance and Challenges of Reproducible Builds for Software Supply Chain Security. 2023 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, SP, pp. 1527–1544. https://doi.org/10.1109/SP46215.2023.00187 Shabrina, P., Mostafavi, B., Abdelshiheed, M., Chi, M., & Barnes, T. (2023, August 21). Investigating the Impact of Backward Strategy Learning in a Logic Tutor: Aiding Subgoal Learning Towards Improved Problem Solving. INTERNATIONAL JOURNAL OF ARTIFICIAL INTELLIGENCE IN EDUCATION. https://doi.org/10.1007/s40593-023-00338-1 Ling, X., & Menzies, T. (2023). What Not to Test (For Cyber-Physical Systems). IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 49(7), 3811–3826. https://doi.org/10.1109/TSE.2023.3272309 Ross, A. J., & Reaves, B. (2023). Towards Simultaneous Attacks on Multiple Cellular Networks. 2023 IEEE SECURITY AND PRIVACY WORKSHOPS, SPW, pp. 394–405. https://doi.org/10.1109/SPW59333.2023.00040 Hu, Z., & Gehringer, E. (2023). Bot With Interactions: Improving GitHub Pull-Request Feedback Through Two-Way Communication. 2023 IEEE/ACM 5TH INTERNATIONAL WORKSHOP ON BOTS IN SOFTWARE ENGINEERING, BOTSE, pp. 28–32. https://doi.org/10.1109/BotSE59190.2023.00014 Zhang, S., Li, Z., & Das, A. (2023). VoicePM: A Robust Privacy Measurement on Voice Anonymity. PROCEEDINGS OF THE 16TH ACM CONFERENCE ON SECURITY AND PRIVACY IN WIRELESS AND MOBILE NETWORKS, WISEC 2023, pp. 215–226. https://doi.org/10.1145/3558482.3590175 Presler-Marshall, K., Heckman, S., & Stolee, K. T. (2023). Improving Grading Outcomes in Software Engineering Projects Through Automated Contributions Summaries. 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING-SOFTWARE ENGINEERING EDUCATION AND TRAINING, ICSE-SEET, pp. 259–270. https://doi.org/10.1109/ICSE-SEET58685.2023.00030 Miao, Z., Calhoun, J. C., Ge, R., & Li, J. (2023). Performance Implication of Tensor Irregularity and Optimization for Distributed Tensor Decomposition. ACM TRANSACTIONS ON PARALLEL COMPUTING, 10(2). https://doi.org/10.1145/3580315 Gray, N., Moraes, M., Bian, J., Wang, A., Tian, A., Wilson, K., … Guo, Z. (2023, July 28). GLARE: A Dataset for Traffic Sign Detection in Sun Glare. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, Vol. 7. https://doi.org/10.1109/TITS.2023.3294411 Zahan, N., Shohan, S., Harris, D., & Williams, L. (2023). Do Software Security Practices Yield Fewer Vulnerabilities? 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: SOFTWARE ENGINEERING IN PRACTICE, ICSE-SEIP, pp. 292–303. https://doi.org/10.1109/ICSE-SEIP58684.2023.00032 Wang, N., & Lester, J. (2023, August 3). Preface to the Special Issue on K-12 AI Education. INTERNATIONAL JOURNAL OF ARTIFICIAL INTELLIGENCE IN EDUCATION. https://doi.org/10.1007/s40593-023-00363-0 Brockelsby, W., & Dutta, R. (2023). Augmenting Campus Wireless Architectures with SDN. 2023 INTERNATIONAL CONFERENCE ON COMPUTING, NETWORKING AND COMMUNICATIONS, ICNC, pp. 137–142. https://doi.org/10.1109/ICNC57223.2023.10074202 White, C. T., Petrasova, A., Petras, V., Tateosian, L. G., Vukomanovic, J., Mitasova, H., & Meentemeyer, R. K. (2023). An open-source platform for geospatial participatory modeling in the cloud. ENVIRONMENTAL MODELLING & SOFTWARE, 167. https://doi.org/10.1016/j.envsoft.2023.105767 Han, J., Xue, K., Li, J., Zhuang, R., Li, R., Yu, R., … Sun, Q. (2023). EdAR: An Experience-driven Multipath Scheduler for Seamless Handoff in Mobile Networks. IEEE Transactions on Wireless Communications, 1–1. https://doi.org/10.1109/twc.2023.3246082 Fourné, M., Wermke, D., Enck, W., Fahl, S., & Acar, Y. (2023). It’s like flossing your teeth: On the Importance and Challenges of Reproducible Builds for Software Supply Chain Security. In Proceedings of the 44th IEEE Symposium on Security and Privacy (S&P'23). Wermke, D., Klemmer, J. H., Wöhler, N., Schmüser, J., Ramulu, H. S., Acar, Y., & Fahl, S. (2023). "Always Contribute Back": A Qualitative Study on Security Challenges of the Open Source Supply Chain. In Proceedings of the 44th IEEE Symposium on Security and Privacy (S&P’23). Ao, J., Cheng, Z., Chirkova, R., & Kolaitis, P. G. (2023). Theory and Practice of Relational-to-RDF Temporal Data Exchange and Query Answering. ACM JOURNAL OF DATA AND INFORMATION QUALITY, 15(2). https://doi.org/10.1145/3591359 Wang, J., Wang, W., & Wang, C. (2023). Remedy or Resource Drain: Modeling and Analysis of Massive Task Offloading Processes in Fog. IEEE INTERNET OF THINGS JOURNAL, 10(13), 11669–11682. https://doi.org/10.1109/JIOT.2023.3245100 Brockelsby, W., & Dutta, R. (2023). Archipelago: A Hybrid Multi-Node Campus SDN Architecture. 2023 26TH CONFERENCE ON INNOVATION IN CLOUDS, INTERNET AND NETWORKS AND WORKSHOPS, ICIN. https://doi.org/10.1109/ICIN56760.2023.10073492 Assuncao, W. K. G., Kruger, J., Mosser, S., & Selaoui, S. (2023). How do microservices evolve? An empirical analysis of changes in open-source microservice repositories. JOURNAL OF SYSTEMS AND SOFTWARE, 204. https://doi.org/10.1016/j.jss.2023.111788 Xue, R., Han, H., Zhao, T., Shah, N., Tang, J., & Liu, X. (2023, August 6). Large-Scale Graph Neural Networks: The Past and New Frontiers. https://doi.org/10.1145/3580305.3599565 Xu, H., Liu, X., Wang, W., Liu, Z., Jain, A. K., & Tang, J. (2023, August 6). How does the Memorization of Neural Networks Impact Adversarial Robust Models? https://doi.org/10.1145/3580305.3599381 Liu, H., Han, H., Jin, W., Liu, X., & Liu, H. (2023, August 6). Enhancing Graph Representations Learning with Decorrelated Propagation. https://doi.org/10.1145/3580305.3599334 Sun, J., Duan, K., Li, X., Guan, N., Guo, Z., Deng, Q., & Tan, G. (2023). Real-Time Scheduling of Autonomous Driving System with Guaranteed Timing Correctness. 2023 IEEE 29TH REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, RTAS, pp. 185–197. https://doi.org/10.1109/RTAS58335.2023.00022 Al Arafat, A., Vaidhun, S., Liu, L., Yang, K., & Guo, Z. (2023). Compositional Mixed-Criticality Systems with Multiple Executions and Resource-Budgets Model. 2023 IEEE 29TH REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, RTAS, pp. 67–79. https://doi.org/10.1109/RTAS58335.2023.00013 Jiang, S., Liu, J., Chen, J., Liu, Y., Wang, L., & Zhou, Y. (2023). Query Integrity Meets Blockchain: A Privacy-Preserving Verification Framework for Outsourced Encrypted Data. IEEE TRANSACTIONS ON SERVICES COMPUTING, 16(3), 2100–2113. https://doi.org/10.1109/TSC.2022.3199111 Pflanzer, M., Dubljevic, V., Bauer, W. A. A., Orcutt, D., List, G., & Singh, M. P. P. (2023, June 24). Embedding AI in society: ethics, policy, governance, and impacts. AI & SOCIETY, Vol. 6. https://doi.org/10.1007/s00146-023-01704-2 Singh, M. P., Chi, M., & Misra, V. (2023). Healthful Connected Living: Vision and Challenges for the Case of Obesity. IEEE INTERNET COMPUTING, 27(3), 7–14. https://doi.org/10.1109/MIC.2023.3257994 Abedin, P., Chubet, O., Gibney, D., & Thankachan, S. V. (2023). Contextual Pattern Matching in Less Space. 2023 DATA COMPRESSION CONFERENCE, DCC, pp. 160–167. https://doi.org/10.1109/DCC55655.2023.00024 Tateosian, L. G., Saffer, A., Walden-Schreiner, C., & Shukunobe, M. (2023). Plant pest invasions, as seen through news and social media. COMPUTERS ENVIRONMENT AND URBAN SYSTEMS, 100. https://doi.org/10.1016/j.compenvurbsys.2022.101922 Menzies, T. (2023). How to "Sell" Ethics (Using AI): An Interview With Alexander Serebrenik. IEEE SOFTWARE, 40(3), 95–97. https://doi.org/10.1109/MS.2023.3249539 Alvarez, L., & Menzies, T. (2023). Don't Lie to Me: Avoiding Malicious Explanations With STEALTH. IEEE SOFTWARE, 40(3), 43–53. https://doi.org/10.1109/MS.2023.3244713 Wang, N., & Lester, J. (2023, June 20). K-12 Education in the Age of AI: A Call to Action for K-12 AI Literacy. INTERNATIONAL JOURNAL OF ARTIFICIAL INTELLIGENCE IN EDUCATION. https://doi.org/10.1007/s40593-023-00358-x Battestilli, L., Bohórquez, E. B., Khan, S., & Meral, C. (2023, July 20). Exploring Students' Perceptions and Engagement in Hybrid Flexible Courses. https://doi.org/10.1145/3573051.3593383 Gao, Z., Lynch, C., & Heckman, S. (2023). Too long to wait and not much to do: Modeling student behaviors while waiting for help in online office hours. Proceedings of the 7th Educational Data Mining in Computer Science Education (CSEDM) Workshop. Gitinabard, N., Gao, Z., Heckman, S., Barnes, T., Lynch, C. F., & others. (2023). Analysis of Student Pair Teamwork Using GitHub Activities. Journal of Educational Data Mining, 15(1), 32–62. Bai, G. R., Sthapit, S., Heckman, S., Price, T. W., & Stolee, K. T. (2023). An Experience Report on Introducing Explicit Strategies into Testing Checklists for Advanced Beginners. Banach, R., & Baugh, J. (2023). Formalisation, Abstraction and Refinement of Bond Graphs. https://doi.org/10.1007/978-3-031-36709-0_8 McGill, M. M., Thompson, A., Gransbury, I., Heckman, S., Rosato, J., & Delyser, L. A. (2023). Building upon the CAPE Framework for Broader Understanding of Capacity in K-12 CS Education. Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1, 577–582. https://doi.org/10.1145/3545945.3569799 McGill, M. M., Heckman, S., Chytas, C., Diaz, L., Liut, M., Kazakova, V., … Szabo, C. (2023). Building Recommendations for Conducting Equity-Focused, High Quality K-12 Computer Science Education Research. Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2, 565–566. https://doi.org/10.1145/3587103.3594207 Sedhain, A., Leon, S., Raasch, R., & Kuttal, S. K. (2023). Developers Foraging Behavior in Code Hosting Sites: A Gender Perspective. https://doi.org/10.1007/978-3-031-35129-7_42 Giovanelli, A., Rowe, J., Taylor, M., Berna, M., Tebb, K. P., Penilla, C., … Ozer, E. M. (2023). Supporting Adolescent Engagement with Artificial Intelligence-Driven Digital Health Behavior Change Interventions. JOURNAL OF MEDICAL INTERNET RESEARCH, 25. https://doi.org/10.2196/40306 Gadiraju, K. K., & Vatsavai, R. R. (2023). Remote Sensing Based Crop Type Classification Via Deep Transfer Learning. IEEE JOURNAL OF SELECTED TOPICS IN APPLIED EARTH OBSERVATIONS AND REMOTE SENSING, 16, 4699–4712. https://doi.org/10.1109/JSTARS.2023.3270141 Shivakumar, S., Li, J., Kannan, R., & Aluru, S. (2023). Sparse Symmetric Format for Tucker Decomposition. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 34(6), 1743–1756. https://doi.org/10.1109/TPDS.2023.3263124 Farhangi, A., Bian, J., Huang, A., Xiong, H., Wang, J., & Guo, Z. (2023). AA-forecast: anomaly-aware forecast for extreme events. Data Mining and Knowledge Discovery, 37(3), 1209–1229. https://doi.org/10.1007/s10618-023-00919-7 Cui, J., Zhang, R., Li, R., Song, Y., Zhou, F., & Gehringer, E. (2023). Correlating Students' Class Performance Based on GitHub Metrics: A Statistical Study. PROCEEDINGS OF THE 2023 CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, ITICSE 2023, VOL 1, pp. 526–532. https://doi.org/10.1145/3587102.3588799 Zahn, M., Gransbury, I., Heckman, S., & Battestilli, L. (2023). Assessment of Self-Identified Learning Struggles in CS2 Programming Assignments. PROCEEDINGS OF THE 2023 CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, ITICSE 2023, VOL 1, pp. 264–270. https://doi.org/10.1145/3587102.3588786 Bai, G. R., Sthapit, S., Heckman, S., Price, T. W., & Stolee, K. T. (2023). An Experience Report on Introducing Explicit Strategies into Testing Checklists for Advanced Beginners. PROCEEDINGS OF THE 2023 CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, ITICSE 2023, VOL 1, pp. 194–200. https://doi.org/10.1145/3587102.3588781 Vandenberg, J., Min, W., Gupta, A., Catete, V., Boulden, D., & Mott, B. (2023, June 29). Toward AI-infused Game Design Activities for Rural Middle Grades Students. https://doi.org/10.1145/3587103.3594199 Reid, B., d'Amorim, M., Wagner, M., & Treude, C. (2023). NCQ: Code Reuse Support for Node.js Developers. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 49(5), 3205–3225. https://doi.org/10.1109/TSE.2023.3248113 Rouskas, G., Gupta, S., & Sharma, P. (2023). Symmetry-Free Algorithm for Spectrum Allocation: Parallel Implementations and Evaluation [Invited]. Journal of Optical Communications and Networking, 6. https://doi.org/10.1364/jocn.487181 Reghenzani, F., Guo, Z., & Fornaciari, W. (2023). Software Fault Tolerance in Real-Time Systems: Identifying the Future Research Questions. ACM Computing Surveys, 3. https://doi.org/10.1145/3589950 Hossain, M. S. B., Guo, Z., & Choi, H. (2023). Estimation of Lower Extremity Joint Moments and 3D Ground Reaction Forces Using IMU Sensors in Multiple Walking Conditions: A Deep Learning Approach. IEEE JOURNAL OF BIOMEDICAL AND HEALTH INFORMATICS, 27(6), 2829–2840. https://doi.org/10.1109/JBHI.2023.3262164 Gu, H., Li, Z., Yu, R., Wang, X., Zhou, F., & Liu, J. (2023). FENDI: High-Fidelity Entanglement Distribution in the Quantum Internet. 1, 1–13. Retrieved from http://arxiv.org/abs/2301.08269 Gu, H., Yu, R., Li, Z., Wang, X., & Zhou, F. (2023). ESDI: Entanglement Scheduling and Distribution in the Quantum Internet. IEEE International Conference on Computer Communications and Networks (ICCCN), 1–10. Retrieved from http://arxiv.org/abs/2303.17540 Rouskas, G. N. (2023). A symmetry-free spectrum allocation heuristic for elastic optical networks. OPTICAL SWITCHING AND NETWORKING, 49. https://doi.org/10.1016/j.osn.2023.100742 Tian, Y., Gao, W., Zhang, Q., Sun, P., & Xu, D. (2023). Improving long-tailed classification by disentangled variance transfer. INTERNET OF THINGS, 21. https://doi.org/10.1016/j.iot.2023.100687 Menzies, T., Johnson, B. L., Roberts, D., & Alvarez, L. (2023). The Engineering Mindset Is an Ethical Mindset (We Just Don't Teach It That Way ... Yet). IEEE SOFTWARE, Vol. 40, pp. 103–110. https://doi.org/10.1109/MS.2022.3227597 Gavane, A., & Watson, B. (2023). Eye-Based Point Rendering for Dynamic Multiview Effects. PROCEEDINGS OF THE ACM ON COMPUTER GRAPHICS AND INTERACTIVE TECHNIQUES, 6(1). https://doi.org/10.1145/3585513 Cunha, B. V., Li, X., Wilson, W., & Harfoush, K. (2023). Performance Benchmarking of the QUIC Transport Protocol. 2023 IEEE 20TH CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE, CCNC. https://doi.org/10.1109/CCNC51644.2023.10060785 Ye, C., Xu, Y., Shen, X., Sha, Y., Liao, X., Jin, H., & Solihin, Y. (2023). Reconciling Selective Logging and Hardware Persistent Memory Transaction. 2023 IEEE INTERNATIONAL SYMPOSIUM ON HIGH-PERFORMANCE COMPUTER ARCHITECTURE, HPCA, pp. 664–676. https://doi.org/10.1109/HPCA56546.2023.10071088 Maeng, S. J., Ozdemir, O., Nandakumar, H. N., Guvenc, I., Sichitiu, M. L., Dutta, R., & Mushi, M. (2023). Spectrum Activity Monitoring and Analysis for Sub-6 GHz Bands Using a Helikite. 2023 15TH INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS & NETWORKS, COMSNETS. https://doi.org/10.1109/COMSNETS56262.2023.10041314 Yedida, R., Kang, H. J., Tu, H., Yang, X., Lo, D., & Menzies, T. (2023). How to Find Actionable Static Analysis Warnings: A Case Study With FindBugs. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 49(4), 2856–2872. https://doi.org/10.1109/TSE.2023.3234206 Peng, K., Chakraborty, J., & Menzies, T. (2023). FairMask: Better Fairness via Model-Based Rebalancing of Protected Attributes. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 49(4), 2426–2439. https://doi.org/10.1109/TSE.2022.3220713 Imtiaz, N., Khanom, A., & Williams, L. (2023). Open or Sneaky? Fast or Slow? Light or Heavy?: Investigating Security Releases of Open Source Packages. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 49(4), 1540–1560. https://doi.org/10.1109/TSE.2022.3181010 Mathew, G., Agrawal, A., & Menzies, T. (2023). Finding Trends in Software Research. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 49(4), 1397–1410. https://doi.org/10.1109/TSE.2018.2870388 Benavides, J., Baugh, J., & Gopalakrishnan, G. (2023). An HPC Practitioner’s Workbench for Formal Refinement Checking. In Languages and Compilers for Parallel Computing (pp. 64–72). https://doi.org/10.1007/978-3-031-31445-2_5 Sun, L., Xue, G., & Yu, R. (2023). TAFS: A Truthful Auction for IoT Application Offloading in Fog Computing Networks. IEEE INTERNET OF THINGS JOURNAL, 10(4), 3252–3263. https://doi.org/10.1109/JIOT.2022.3143101 Peng, K., Kaltenecker, C., Siegmund, N., Apel, S., & Menzies, T. (2023). VEER: enhancing the interpretability of model-based optimizations. EMPIRICAL SOFTWARE ENGINEERING, 28(3). https://doi.org/10.1007/s10664-023-10296-w Rahman, M. R., Hezaveh, R. M., & Williams, L. (2023). What Are the Attackers Doing Now? Automating Cyberthreat Intelligence Extraction from Text on Pace with the Changing Threat Landscape: A Survey. ACM COMPUTING SURVEYS, 55(12). https://doi.org/10.1145/3571726 Hao, Y., Jain, N., Wijngaart, R. V., Saxena, N., Fan, Y., & Liu, X. (2023, April 15). DrGPU: A Top-Down Profiler for GPU Applications. https://doi.org/10.1145/3578244.3583736 Banerjee, S., Potts, C. M., Jhala, A. H., & Jaselskis, E. J. (2023). Developing a Construction Domain-Specific Artificial Intelligence Language Model for NCDOT's CLEAR Program to Promote Organizational Innovation and Institutional Knowledge. JOURNAL OF COMPUTING IN CIVIL ENGINEERING, 37(3). https://doi.org/10.1061/JCCEE5.CPENG-4868 Khan, U. M., Venkatnarayan, R. H., & Shahzad, M. (2023). Using RF Signals to Generate Indoor Maps. ACM TRANSACTIONS ON SENSOR NETWORKS, 19(1). https://doi.org/10.1145/3534121 Chen, J.-A., Sung, H.-H., Shen, X., Tallent, N., Barker, K., & Li, A. (2023). Accelerating matrix-centric graph processing on GPUs through bit-level optimizations. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 177, 53–67. https://doi.org/10.1016/j.jpdc.2023.02.013 Chirkova, K., Hou, P.-Y., Chirkova, R., & Amelot, A. (2023). Acoustic correlates of prominence in Kala Lizu (Tibeto-Burman). JOURNAL OF CHINESE LINGUISTICS, 51(1), 101–146. https://doi.org/10.1353/jcl.2023.0008 Kim, Y. J., & Chi, M. (2023, March 25). Time-aware deep reinforcement learning with multi-temporal abstraction. APPLIED INTELLIGENCE. https://doi.org/10.1007/s10489-022-04392-5 Vandenberg, J., Min, W., Catete, V., Boulden, D., & Mott, B. (2023, April 12). Leveraging Game Design Activities for Middle Grades AI Education in Rural Communities. https://doi.org/10.1145/3582437.3587193 Zhang, G., Mariano, B., Shen, X., & Dillig, I. (2023). Automated Translation of Functional Big Data similar to eries to SQL. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 7(OOPSLA). https://doi.org/10.1145/3586047 Abdelzaher, T., Agrawal, K., Baruah, S., Burns, A., Davis, R. I. I., Guo, Z., & Hu, Y. (2023, March 13). Scheduling IDK classifiers with arbitrary dependences to minimize the expected time to successful classification. REAL-TIME SYSTEMS, Vol. 3. https://doi.org/10.1007/s11241-023-09395-0 Wang, H., Lin, H., Zhong, Z., Yang, T., & Shahzad, M. (2023). Enhanced Machine Learning Sketches for Network Measurements. IEEE TRANSACTIONS ON COMPUTERS, 72(4), 957–970. https://doi.org/10.1109/TC.2022.3185560 Shah, R., Sheng, C., Thankachan, S., & Vitter, J. (2023). Ranked Document Retrieval in External Memory. ACM TRANSACTIONS ON ALGORITHMS, 19(1). https://doi.org/10.1145/3559763 Xi, R., & Singh, M. P. P. (2023, April 3). The Blame Game: Understanding Blame Assignment in Social Media. IEEE TRANSACTIONS ON COMPUTATIONAL SOCIAL SYSTEMS, Vol. 4. https://doi.org/10.1109/TCSS.2023.3261242 Liu, H., Wang, Y., Fan, W., Liu, X., Li, Y., Jain, S., … Tang, J. (2023). Trustworthy AI: A Computational Perspective. ACM Transactions on Intelligent Systems and Technology. https://doi.org/10.1145/3546872 Wiedbusch, M., Lester, J., & Azevedo, R. (2023, March 3). A multi-level growth modeling approach to measuring learner attention with metacognitive pedagogical agents. METACOGNITION AND LEARNING. https://doi.org/10.1007/s11409-023-09336-z Yedida, R., Krishna, R., Kalia, A., Menzies, T., Xiao, J., & Vukovic, M. (2023). An expert system for redesigning software for cloud applications. EXPERT SYSTEMS WITH APPLICATIONS, 219. https://doi.org/10.1016/j.eswa.2023.119673 Vaidhun, S., She, T., Gu, Q., Das, S. K., Yang, K., & Guo, Z. (2023). Precise Mixed-Criticality Scheduling on Varying-Speed Multiprocessors. IEEE Transactions on Computers. https://doi.org/10.1109/TC.2022.3197078 Schrum, P. T., Jameson, C. D., Tateosian, L., Blank, G. B., Wegmann, K. W., & Nelson, S. A. C. (2023). Curvature Weighted Decimation: A Novel, Curvature-Based Approach to Improved Lidar Point Decimation of Terrain Surfaces. Geomatics. https://doi.org/10.3390/geomatics3010015 Singh, M. P., & Murukannaiah, P. K. (2023). Toward an Ethical Framework for Smart Cities and the Internet of Things. IEEE Internet Computing. https://doi.org/10.1109/MIC.2023.3236826 Gu, H., Li, Z., Yu, R., Wang, X., Zhou, F., & Liu, J. (2023). FENDI: High-Fidelity Entanglement Distribution in the Quantum Internet (ArXiv Preprint No. 2301.08269). https://doi.org/10.48550/arXiv.2301.08269 Niu, Y., Wei, L., Zhang, C., Liu, J., & Fang, Y. (2023). Towards Anonymous yet Accountable Authentication for Public Wi-Fi Hotspot Access with Permissionless Blockchains. IEEE Transactions on Vehicular Technology, 72(3), 3904–3913. https://doi.org/10.1109/tvt.2022.3218528 Yeter-Aydeniz, K., Parks, Z., Thekkiniyedath, A. N., Gustafson, E., Kemper, A. F., Pooser, R. C., … Dreher, P. (2023). Measuring qubit stability in a gate-based NISQ hardware processor. QUANTUM INFORMATION PROCESSING, 22(2). https://doi.org/10.1007/s11128-023-03826-4 Zhang, M., Teng, Y., Kong, H., Baugh, J., Su, Y., Mi, J., & Du, B. (2023). Automatic modelling and verification of AUTOSAR architectures? JOURNAL OF SYSTEMS AND SOFTWARE, 201. https://doi.org/10.1016/j.jss.2023.111675 Chen, J.-A., Niu, W., Ren, B., Wang, Y., & Shen, X. (2023). Survey: Exploiting Data Redundancy for Optimization of Deep Learning. ACM COMPUTING SURVEYS, 55(10). https://doi.org/10.1145/3564663 Emerson, A., Min, W., Azevedo, R., & Lester, J. (2023). Early prediction of student knowledge in game-based learning with distributed representations of assessment questions. BRITISH JOURNAL OF EDUCATIONAL TECHNOLOGY, 54(1), 40–57. https://doi.org/10.1111/bjet.13281 Harred, R., Barnes, T., Fisk, S. R., Akram, B., Price, T. W., & Yoder, S. (2023, March 2). Do Intentions to Persist Predict Short-Term Computing Course Enrollments. https://doi.org/10.1145/3545945.3569875 Skripchuk, J., Bennett, N., Zhang, J., Li, E., & Price, T. (2023, March 2). Analysis of Novices' Web-Based Help-Seeking Behavior While Programming. https://doi.org/10.1145/3545945.3569852 Baldassarre, M. T., Ernst, N., Hermann, B., Menzies, T., & Yedida, R. (2023). (Re)Use of Research Results (Is Rampant). COMMUNICATIONS OF THE ACM, 66(2), 75–81. https://doi.org/10.1145/3554976 Emerson, A., Min, W., Rowe, J., Azevedo, R., & Lester, J. (2023, March 13). Multimodal Predictive Student Modeling with Multi-Task Transfer Learning. https://doi.org/10.1145/3576050.3576101 Haque, A., Ajmeri, N., & Singh, M. P. (2023, January 21). Understanding dynamics of polarization via multiagent social simulation. AI & SOCIETY, Vol. 1. https://doi.org/10.1007/s00146-022-01626-5 Singh, A. M. M., & Singh, M. P. P. (2023). Wasabi: A Conceptual Model for Trustworthy Artificial Intelligence. COMPUTER, 56(2), 20–28. https://doi.org/10.1109/MC.2022.3212022 Wan, Z., Cho, J.-H., Zhu, M., Anwar, A. H., Kamhoua, C., & Singh, M. P. (2023). Resisting Multiple Advanced Persistent Threats via Hypergame-Theoretic Defensive Deception. IEEE Transactions on Network and Service Management. https://doi.org/10.1109/TNSM.2023.3240366 Shen, D. S., & Chi, M. (2023). TC-DTW: Accelerating multivariate dynamic time warping through triangle inequality and point clustering. INFORMATION SCIENCES, 621, 611–626. https://doi.org/10.1016/j.ins.2022.11.082 Marwan, S., & Price, T. W. W. (2023). iSnap: Evolution and Evaluation of a Data-Driven Hint System for Block-Based Programming. IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES, 16(3), 399–413. https://doi.org/10.1109/TLT.2022.3223577