يعرض 1 - 8 نتائج من 8 نتيجة بحث عن '"Sung, Chungha"', وقت الاستعلام: 0.87s تنقيح النتائج
  1. 1
    تقرير
    Example-Based Automatic Migration of Continuous Integration Systems

    المؤلفون: Rzig, Dhia Elhaq, Houerbi, Alaa, Sung, Chungha, Hassan, Foyzul

    مصطلحات موضوعية: Computer Science - Software Engineering

    URL الوصول: http://arxiv.org/abs/2407.02644

    أضف إلى المفضلة
  2. 2
    مؤتمر
    Data-Driven Synthesis of Provably Sound Side Channel Analyses

    المؤلفون: Wang, Jingbo, Sung, Chungha, Raghothaman, Mukund, Wang, Chao

    المصدر: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE) ICSE Software Engineering (ICSE), 2021 IEEE/ACM 43rd International Conference on. :810-822 May, 2021

    Relation: 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE)

    Full Text Finder
    أضف إلى المفضلة
  3. 3
    مؤتمر
    Towards Understanding and Fixing Upstream Merge Induced Conflicts in Divergent Forks: An Industrial Case Study

    المؤلفون: Sung, Chungha, Lahiri, Shuvendu K., Kaufman, Mike, Choudhury, Pallavi, Wang, Chao

    المصدر: 2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) ICSE-SEIP Software Engineering: Software Engineering in Practice (ICSE-SEIP), 2020 IEEE/ACM 42nd International Conference on. :172-181 Oct, 2020

    Relation: 2020 IEEE/ACM 42nd International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)

    View Record from ACM Digital Library
    أضف إلى المفضلة
  4. 4
    مؤتمر
    Debreach: Mitigating Compression Side Channels via Static Analysis and Transformation

    المؤلفون: Paulsen, Brandon, Sung, Chungha, A.H. Peterson, Peter, Wang, Chao

    المصدر: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2019 34th IEEE/ACM International Conference on. :899-911 Nov, 2019

    Relation: 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE)

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  5. 5
    مؤتمر
    Datalog-Based Scalable Semantic Diffing of Concurrent Programs

    المؤلفون: Sung, Chungha, Lahiri, Shuvendu K., Enea, Constantin, Wang, Chao

    المصدر: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2018 33rd IEEE/ACM International Conference on. :656-666 Sep, 2018

    Relation: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE)

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  6. 6
    مؤتمر
    CANAL: A Cache Timing Analysis Framework via LLVM Transformation

    المؤلفون: Sung, Chungha, Paulsen, Brandon, Wang, Chao

    المصدر: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2018 33rd IEEE/ACM International Conference on. :904-907 Sep, 2018

    Relation: 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE)

    View Record from ACM Digital Library Full Text Finder
    أضف إلى المفضلة
  7. 7
    مؤتمر
    Modular verification of interrupt-driven software

    المؤلفون: Sung, Chungha, Kusano, Markus, Wang, Chao

    المصدر: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2017 32nd IEEE/ACM International Conference on. :206-216 Oct, 2017

    Relation: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)

    Full Text Finder
    أضف إلى المفضلة
  8. 8
    تقرير
    Mitigating Power Side Channels during Compilation

    المؤلفون: Wang, Jingbo, Sung, Chungha, Wang, Chao

    مصطلحات موضوعية: Computer Science - Cryptography and Security, Computer Science - Programming Languages

    URL الوصول: http://arxiv.org/abs/1902.09099

    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء