[ACM Press the 56th Annual Design Automation Conference 2019 - Las Vegas, NV, USA (2019.06.02-2019.06.06)] Proceedings of the 56th Annual Design Automation Conference 2019 on - DAC '19 - A Memory-Efficient Markov Decision Process Computation Framework Using BDD-based Sampling Representation
- 作者Zhou, He; Khatri, Sunil P.; Hu, Jiang; Liu, Frank
- 文件大小437.55KB
- 发表时间2019
- DOI10.1145/3316781.3317748
- 页码1-6
[ACM Press the 33rd ACM/IEEE International Conference - Montpellier, France (2018.09.03-2018.09.07)] Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018 - Semantic crash bucketingvan Tonder, Rijnard; Kotheimer, John; Le Goues, Claire · 2018
[IEEE 2016 IEEE 24th International Conference on Program Comprehension (ICPC) - Austin, TX, USA (2016.5.16-2016.5.17)] 2016 IEEE 24th International Conference on Program Comprehension (ICPC) - Defending against the attack of the micro-clonesvan Tonder, Rijnard; Le Goues, Claire · 2016
[IEEE 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 16th International Conference on Mining Software Repositories (MSR) - A Panel Data Set of Cryptocurrency Development Activity on GitHubvan Tonder, Rijnard; Trockman, Asher; Le Goues, Claire · 2019
[IEEE 2019 IEEE/ACM 1st International Workshop on Bots in Software Engineering (BotSE) - Montreal, QC, Canada (2019.5.28-2019.5.28)] 2019 IEEE/ACM 1st International Workshop on Bots in Software Engineering (BotSE) - Towards s/engineer/bot: Principles for Program Repair Botsvan Tonder, Rijnard; Le Goues, Claire · 2019