Our collaborative paper titled “Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic” received the best paper honorable mention at the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2019).
Shail received the “Outstanding Computer Engineering Teaching Assistant Award” from School of Computing, Informatics, and Decisions Systems Engineering (SCIDSE), ASU in 2018.
Moslem received the best poster award at the Ph.D. forum, DAC 2017 for his thesis on “Software Schemes to Tolerate Hardware Faults for Safety-Critical Applications”.
Edward and Mohammad’s paper on “Crossroads – Time-Sensitive Autonomous Intersection Management” was the Best paper candidate at Design Automation Conference 2017.
Yooseong received the “Outstanding Computer Science Graduating Ph.D. Student of the Year” award for, WCET-Aware Scratchpad Memory Management for Hard Real-Time Systems in SCIDSE, ASU in 2017.
Jian’s paper on “Software Coherence Management on Non-Coherent Cache Multi-cores” received Prof. N. N. Biswas Best Student Paper award at VLSI Design 2016.
Abhishek Rhisheekesan received “Outstanding Masters Thesis” award for “Quantitative Evaluation of Control-flow based Soft Error Protection Mechanisms” in CSE in SCIDSE, ASU in 2013.
Aviral received outstanding Junior researcher award from the School of Computing Informatics and Decision Systems Engineering, ASU in 2011.
Seung-Chul Jung received the “Outstanding Masters thesis” award for his thesis, “Dynamic Code Mapping for Limited Local Memory Architectures”, in CSE in SCIDSE, ASU in 2011.
Reiley’s paper, “Cache Vulnerability Equations for protecting data in embedded processor caches from soft errors”, was the second-highest ranked paper at LCTES 2010.
Jonghee Yoon’s paper, SPKM: a novel graph drawing based algorithm for application mapping onto coarse-grained reconfigurable architectures” was the best paper award candidate in ASP-DAC 2008.