Department of Computer Science & Engineering

Filter
Conference contribution

Search results

  • 2023

    Overcoming Distribution Shifts in Plug-and-Play Methods with Test- Time Training

    Chandler, E. P., Shoushtari, S., Liu, J., Asif, M. S. & Kamilov, U. S., 2023, 2023 IEEE 9th International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, CAMSAP 2023. Institute of Electrical and Electronics Engineers Inc., p. 186-190 5 p. (2023 IEEE 9th International Workshop on Computational Advances in Multi-Sensor Adaptive Processing, CAMSAP 2023).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Parameterized Workload Adaptation for Fork-Join Tasks with Dynamic Workloads and Deadlines

    Sudvarg, M., Buhler, J., Chamberlain, R. D., Gill, C., Buckley, J. & Chen, W., 2023, Proceedings - 2023 IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2023. Institute of Electrical and Electronics Engineers Inc., p. 232-242 11 p. (Proceedings - 2023 IEEE 29th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2023).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • PLEASE: Generating Personalized Explanations in Human-Aware Planning

    Vasileiou, S. L. & Yeoh, W., Sep 28 2023, ECAI 2023 - 26th European Conference on Artificial Intelligence, including 12th Conference on Prestigious Applications of Intelligent Systems, PAIS 2023 - Proceedings. Gal, K., Gal, K., Nowe, A., Nalepa, G. J., Fairstein, R. & Radulescu, R. (eds.). IOS Press BV, p. 2411-2418 8 p. (Frontiers in Artificial Intelligence and Applications; vol. 372).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations

  • PNT-Edge: Towards Robust Edge Detection with Noisy Labels by Learning Pixel-level Noise Transitions

    Xuan, W., Zhao, S., Yao, Y., Liu, J., Liu, T., Chen, Y., Du, B. & Tao, D., Oct 26 2023, MM 2023 - Proceedings of the 31st ACM International Conference on Multimedia. Association for Computing Machinery, Inc, p. 1924-1932 9 p. (MM 2023 - Proceedings of the 31st ACM International Conference on Multimedia).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    4 Scopus citations

  • Popularizing Fairness: Group Fairness and Individual Welfare

    Estornell, A., Das, S., Juba, B. & Vorobeychik, Y., Jun 27 2023, AAAI-23 Technical Tracks 6. Williams, B., Chen, Y. & Neville, J. (eds.). AAAI press, p. 7485-7493 9 p. (Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023; vol. 37).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Practical Membership Inference Attacks Against Large-Scale Multi-Modal Models: A Pilot Study

    Ko, M., Jin, M., Wang, C. & Jia, R., 2023, Proceedings - 2023 IEEE/CVF International Conference on Computer Vision, ICCV 2023. Institute of Electrical and Electronics Engineers Inc., p. 4848-4858 11 p. (Proceedings of the IEEE International Conference on Computer Vision).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    15 Scopus citations

  • Pretrained Language Representations for Text Understanding: A Weakly-Supervised Perspective

    Meng, Y., Huang, J., Zhang, Y., Zhang, Y. & Han, J., Aug 4 2023, KDD 2023 - Proceedings of the 29th ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 5817-5818 2 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Progressive Neural Compression for Adaptive Image Offloading Under Timing Constraints

    Wang, R., Liu, H., Qiu, J., Xu, M., Guérin, R. & Lu, C., 2023, 44th IEEE Real-Time Systems Symposium, RTSS 2023. Institute of Electrical and Electronics Engineers Inc., p. 118-130 13 p. (Proceedings - Real-Time Systems Symposium).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Scopus citations

  • Provably Good Randomized Strategies for Data Placement in Distributed Key-Value Stores

    Wang, Z., Zhao, J., Agrawal, K., Liu, H., Xu, M. & Li, J., Feb 25 2023, PPoPP 2023 - Proceedings of the 28th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, p. 1-12 12 p. (Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations

  • Representation with Incomplete Votes

    Halpern, D., Kehne, G., Procaccia, A. D., Tucker-Foltz, J. & Wüthrich, M., Jun 27 2023, AAAI-23 Technical Tracks 5. Williams, B., Chen, Y. & Neville, J. (eds.). AAAI press, p. 5657-5664 8 p. (Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023; vol. 37).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    6 Scopus citations

  • Rethinking Tractability for Schedulability Analysis

    Agrawal, K., Baruah, S. & Ekberg, P., 2023, 44th IEEE Real-Time Systems Symposium, RTSS 2023. Institute of Electrical and Electronics Engineers Inc., p. 1-12 12 p. (Proceedings - Real-Time Systems Symposium).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Return-to-Non-Secure Vulnerabilities on ARM Cortex-M TrustZone: Attack and Defense

    Ma, Z., Tan, X., Ziarek, L., Zhang, N., Hu, H. & Zhao, Z., 2023, 2023 60th ACM/IEEE Design Automation Conference, DAC 2023. Institute of Electrical and Electronics Engineers Inc., (Proceedings - Design Automation Conference; vol. 2023-July).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations

  • Reward Delay Attacks on Deep Reinforcement Learning

    Sarkar, A., Feng, J., Vorobeychik, Y., Gill, C. & Zhang, N., 2023, Decision and Game Theory for Security - 13th International Conference, GameSec 2022, Proceedings. Fang, F., Xu, H. & Hayel, Y. (eds.). Springer Science and Business Media Deutschland GmbH, p. 212-230 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13727 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Robustness of Deep Equilibrium Architectures to Changes in the Measurement Model

    Hu, J., Shoushtari, S., Zou, Z., Liu, J., Sun, Z. & Kamilov, U. S., 2023, ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings. Institute of Electrical and Electronics Engineers Inc., (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    4 Scopus citations

  • Scheduling Classifiers for Real-Time Hazard Perception Considering Functional Uncertainty

    Abdelzaher, T., Baruah, S., Bate, I., Burns, A., Davis, R. I. & Hu, Y., Jun 7 2023, Proceedings of 31st International Conference on Real-Time Networks and Systems, RTNS 2023. Association for Computing Machinery, p. 143-154 12 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    4 Scopus citations

  • Secure and Timely GPU Execution in Cyber-physical Systems

    Wang, J., Wang, Y. & Zhang, N., Nov 15 2023, CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. Association for Computing Machinery, Inc, p. 2591-2605 15 p. (CCS 2023 - Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    6 Scopus citations

  • Security and Performance Characteristics of QUIC and HTTP/3

    Liu, F. & Crowley, P., Oct 8 2023, ICN 2023 - Proceedings of the 2023 10th ACM Conference on Information-Centric Networking. Association for Computing Machinery, Inc, p. 124-126 3 p. (ICN 2023 - Proceedings of the 2023 10th ACM Conference on Information-Centric Networking).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations

  • SINCO: A Novel Structural Regularizer for Image Compression Using Implicit Neural Representations

    Gao, H., Gan, W., Sun, Z. & Kamilov, U. S., 2023, ICASSP 2023 - 2023 IEEE International Conference on Acoustics, Speech and Signal Processing, Proceedings. Institute of Electrical and Electronics Engineers Inc., (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2023-June).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    3 Scopus citations

  • SlowLiDAR: Increasing the Latency of LiDAR-Based Detection Using Adversarial Examples

    Liu, H., Wu, Y., Yu, Z., Vorobeychik, Y. & Zhang, N., 2023, Proceedings - 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2023. IEEE Computer Society, p. 5146-5155 10 p. (Proceedings of the IEEE Computer Society Conference on Computer Vision and Pattern Recognition; vol. 2023-June).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    20 Scopus citations

  • SMACK: Semantically Meaningful Adversarial Audio Attack

    Yu, Z., Chang, Y., Zhang, N. & Xiao, C., 2023, 32nd USENIX Security Symposium, USENIX Security 2023. USENIX Association, p. 3799-3816 18 p. (32nd USENIX Security Symposium, USENIX Security 2023; vol. 6).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    16 Scopus citations

  • Statement: Transmit/Receive and Request/Response Models for Communication

    Crowley, P., Oct 8 2023, ICN 2023 - Proceedings of the 2023 10th ACM Conference on Information-Centric Networking. Association for Computing Machinery, Inc, p. 109-111 3 p. (ICN 2023 - Proceedings of the 2023 10th ACM Conference on Information-Centric Networking).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations

  • SuperCut: Communication-Aware Partitioning for Near-Memory Graph Processing

    Zhao, C., Chamberlain, R. D. & Zhang, X., May 9 2023, Proceedings of the 20th ACM International Conference on Computing Frontiers 2023, CF 2023. Association for Computing Machinery, Inc, p. 42-51 10 p. (Proceedings of the 20th ACM International Conference on Computing Frontiers 2023, CF 2023).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • Task Agnostic Cost Prediction Module for Semantic Labeling in Active Learning

    Sastry, S., Jacobs, N., Belgiu, M. & Maretto, R. V., 2023, IGARSS 2023 - 2023 IEEE International Geoscience and Remote Sensing Symposium, Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 4990-4993 4 p. (International Geoscience and Remote Sensing Symposium (IGARSS); vol. 2023-July).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • The Behavior and Convergence of Local Bayesian Optimization

    Wu, K., Garnett, R., Kim, K. & Gardner, J. R., 2023, Advances in Neural Information Processing Systems 36 - 37th Conference on Neural Information Processing Systems, NeurIPS 2023. Oh, A., Neumann, T., Globerson, A., Saenko, K., Hardt, M. & Levine, S. (eds.). Neural information processing systems foundation, (Advances in Neural Information Processing Systems; vol. 36).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • The Distortion of Binomial Voting Defies Expectation

    Gonczarowski, Y. A., Kehne, G., Procaccia, A. D., Schiffer, B. & Zhang, S., 2023, Advances in Neural Information Processing Systems 36 - 37th Conference on Neural Information Processing Systems, NeurIPS 2023. Oh, A., Neumann, T., Globerson, A., Saenko, K., Hardt, M. & Levine, S. (eds.). Neural information processing systems foundation, (Advances in Neural Information Processing Systems; vol. 36).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • The Many Faces of Adversarial Machine Learning

    Vorobeychik, Y., Jun 27 2023, AAAI-23 Special Programs, IAAI-23, EAAI-23, Student Papers and Demonstrations. Williams, B., Chen, Y. & Neville, J. (eds.). AAAI press, p. 15402-15409 8 p. (Proceedings of the 37th AAAI Conference on Artificial Intelligence, AAAI 2023; vol. 37).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations

  • The Safe and Effective Use of Low-Assurance Predictions in Safety-Critical Systems

    Agrawal, K., Baruah, S., Bender, M. A. & Marchetti-Spaccamela, A., Jul 2023, 35th Euromicro Conference on Real-Time Systems, ECRTS 2023. Papadopoulos, A. V. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 3. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 262).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Towards Efficient Explainability of Schedulability Properties in Real-Time Systems

    Baruah, S. & Ekberg, P., Jul 2023, 35th Euromicro Conference on Real-Time Systems, ECRTS 2023. Papadopoulos, A. V. (ed.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 2. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 262).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Tracking, Profiling, and Ad Targeting in the Alexa Echo Smart Speaker Ecosystem

    Iqbal, U., Bahrami, P. N., Trimananda, R., Cui, H., Gamero-Garrido, A., Dubois, D. J., Choffnes, D., Markopoulou, A., Roesner, F. & Shafiq, Z., Oct 24 2023, IMC 2023 - Proceedings of the 2023 ACM on Internet Measurement Conference. Association for Computing Machinery, p. 569-583 15 p. (Proceedings of the ACM SIGCOMM Internet Measurement Conference, IMC).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    8 Scopus citations

  • Transaction Confirmation in Coded Blockchain

    Tennenhouse, I. & Raviv, N., 2023, 2023 IEEE International Symposium on Information Theory, ISIT 2023. Institute of Electrical and Electronics Engineers Inc., p. 1735-1740 6 p. (IEEE International Symposium on Information Theory - Proceedings; vol. 2023-June).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • UMINT-FS: UMINT-guided Feature Selection for multi-omics datasets

    Maitra, C., Seal, D. B., Das, V., Vorobeychik, Y. & De, R. K., 2023, Proceedings - 2023 2023 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2023. Jiang, X., Wang, H., Alhajj, R., Hu, X., Engel, F., Mahmud, M., Pisanti, N., Cui, X. & Song, H. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 594-601 8 p. (Proceedings - 2023 2023 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2023).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Unsupervised Behavior Extraction via Random Intent Priors

    Hu, H., Yang, Y., Ye, J., Mai, Z. & Zhang, C., 2023, Advances in Neural Information Processing Systems 36 - 37th Conference on Neural Information Processing Systems, NeurIPS 2023. Oh, A., Neumann, T., Globerson, A., Saenko, K., Hardt, M. & Levine, S. (eds.). Neural information processing systems foundation, (Advances in Neural Information Processing Systems; vol. 36).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • What Exactly is an Insight? A Literature Review

    Battle, L. & Ottley, A., 2023, Proceedings - 2023 IEEE Visualization Conference - Short Papers, VIS 2023. Institute of Electrical and Electronics Engineers Inc., p. 91-95 5 p. (Proceedings - 2023 IEEE Visualization Conference - Short Papers, VIS 2023).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    4 Scopus citations

  • Who's Afraid of Butterflies? A Close Examination of the Butterfly Attack

    Baruah, S., Ekberg, P., Hosseinzadeh, M., Li, A., Ward, B. & Zhang, N., 2023, 44th IEEE Real-Time Systems Symposium, RTSS 2023. Institute of Electrical and Electronics Engineers Inc., p. 53-63 11 p. (Proceedings - Real-Time Systems Symposium).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Why Combining Text and Visualization Could Improve Bayesian Reasoning: A Cognitive Load Perspective

    Bancilhon, M., Wright, A., Ha, S., Crouser, R. J. & Ottley, A., Apr 19 2023, CHI 2023 - Proceedings of the 2023 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 467. (Conference on Human Factors in Computing Systems - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    4 Scopus citations

  • XCheck: Verifying Integrity of 3D Printed Patient-Specific Devices via Computing Tomography

    Yu, Z., Chang, Y., Zhai, S., Deily, N., Ju, T., Wang, X. F., Jammalamadaka, U. & Zhang, N., 2023, 32nd USENIX Security Symposium, USENIX Security 2023. USENIX Association, p. 2815-2832 18 p. (32nd USENIX Security Symposium, USENIX Security 2023; vol. 4).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations
  • 2022

    A Capture The Flag (CTF) Platform and Exercises for an Intro to Computer Security Class

    Kaplan, Z., Zhang, N. & Cole, S. V., Jul 7 2022, ITiCSE 2022 - Proceedings of the 27th ACM Conference on Innovation and Technology in Computer Science Education. Association for Computing Machinery, p. 597-598 2 p. (Annual Conference on Innovation and Technology in Computer Science Education, ITiCSE; vol. 2).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • A Concurrency Framework for Priority-Aware Intercomponent Requests in CAmkES on seL4

    Sudvarg, M. & Gill, C., 2022, Proceedings - 2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2022. Institute of Electrical and Electronics Engineers Inc., p. 1-10 10 p. (Proceedings - 2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations

  • Adapting Pretrained Representations for Text Mining

    Meng, Y., Huang, J., Zhang, Y. & Han, J., Aug 14 2022, KDD 2022 - Proceedings of the 28th ACM SIGKDD Conference on Knowledge Discovery and Data Mining. Association for Computing Machinery, p. 4806-4807 2 p. (Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • A Dilated Transformer Network for Time Series Anomaly Detection

    Wu, B., Yao, Z., Tu, Y. & Chen, Y., 2022, Proceedings - 2022 IEEE 34th International Conference on Tools with Artificial Intelligence, ICTAI 2022. Reformat, M., Zhang, D. & Bourbakis, N. G. (eds.). IEEE Computer Society, p. 48-52 5 p. (Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; vol. 2022-October).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Adversarial Robustness of Deep Sensor Fusion Models

    Wang, S., Wu, T., Chakrabarti, A. & Vorobeychik, Y., 2022, Proceedings - 2022 IEEE/CVF Winter Conference on Applications of Computer Vision, WACV 2022. Institute of Electrical and Electronics Engineers Inc., p. 1371-1380 10 p. (Proceedings - 2022 IEEE/CVF Winter Conference on Applications of Computer Vision, WACV 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    9 Scopus citations

  • Advit: Vision Transformer On Multi-Modality Pet Images For Alzheimer Disease Diagnosis

    Xing, X., Liang, G., Zhang, Y., Khanal, S., Lin, A. L. & Jacobs, N., 2022, ISBI 2022 - Proceedings: 2022 IEEE International Symposium on Biomedical Imaging. IEEE Computer Society, (Proceedings - International Symposium on Biomedical Imaging; vol. 2022-March).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    34 Scopus citations

  • All-to-All Encode in Synchronous Systems

    Wang, C. & Raviv, N., 2022, 2022 IEEE Information Theory Workshop, ITW 2022. Institute of Electrical and Electronics Engineers Inc., p. 738-743 6 p. (2022 IEEE Information Theory Workshop, ITW 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access

  • An Algorithm for Generating Explainable Corrections to Student Code

    Malysheva, Y. & Kelleher, C., Nov 17 2022, Proceedings of 22nd Koli Calling International Conference on Computing Education Research, Koli Calling 2022. Association for Computing Machinery, 13. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    1 Scopus citations

  • Analysis of Federated Scheduling for Integer-Valued Workloads

    Sudvarg, M. & Gill, C., Jun 7 2022, RTNS 2022 - Proceedings of the 30th International Conference on Real-Time Networks and Systems. Association for Computing Machinery, p. 12-23 12 p. (ACM International Conference Proceeding Series).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    2 Scopus citations

  • A Scalable Shannon Entropy Estimator

    Golia, P., Juba, B. & Meel, K. S., 2022, Computer Aided Verification - 34th International Conference, CAV 2022, Proceedings. Shoham, S. & Vizel, Y. (eds.). Springer Science and Business Media Deutschland GmbH, p. 363-384 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13371 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    3 Scopus citations

  • Assisting Teaching Assistants with Automatic Code Corrections

    Malysheva, Y. & Kelleher, C., Apr 29 2022, CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, 231. (Conference on Human Factors in Computing Systems - Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    9 Scopus citations

  • A Structure-Aware Method for Direct Pose Estimation

    Blanton, H., Workman, S. & Jacobs, N., 2022, Proceedings - 2022 IEEE/CVF Winter Conference on Applications of Computer Vision, WACV 2022. Institute of Electrical and Electronics Engineers Inc., p. 205-214 10 p. (Proceedings - 2022 IEEE/CVF Winter Conference on Applications of Computer Vision, WACV 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    6 Scopus citations

  • Automatic HBM Management: Models and Algorithms

    Delayo, D., Zhang, K., Agrawal, K., Bender, M. A., Berry, J. W., Das, R., Moseley, B. & Phillips, C. A., Jul 11 2022, SPAA 2022 - Proceedings of the 34th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery, p. 147-159 13 p. (Annual ACM Symposium on Parallelism in Algorithms and Architectures).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    4 Scopus citations

  • Breaking Blockchain's Communication Barrier with Coded Computation

    Wang, C. & Raviv, N., 2022, 2022 IEEE Information Theory Workshop, ITW 2022. Institute of Electrical and Electronics Engineers Inc., p. 744-749 6 p. (2022 IEEE Information Theory Workshop, ITW 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    Open Access
    4 Scopus citations