Chao Wang  

RSS Group (Reliable and Secure Software)


2018

  • 2018/11: My students, Daniel and Meng, and I received ACM SIGSOFT Distinguished Paper Award from ESEC/FSE. (PDF, photo).
  • 2018/11: I started serving on the Editorial Board of IEEE Transactions on Software Engineering (TSE) as an Associate Editor.
  • 2018/10: I co-chaired ATVA 2018 on the beautiful USC campus in Los Angeles, California, USA. (PDF)
  • 2018/07: I attended CAV in Oxford, UK and presented the plan for hosting CAV 2020 in Los Angeles.
  • 2018/07: Paper accepted by ASE 2018 -- on scalable semantic diffing of concurrent software .
  • 2018/07: Paper accepted by ASE 2018 (tool demo track) -- on cache timing analysis via LLVM transformation.
  • 2018/06: Paper accepted by FSE 2018 -- on adversarial symbolic execution for detecting concurrency-related timing side channels.
  • 2018/06: Received NSF CSR grant on safety enforcement in control systems.
  • 2018/04: Paper accepted by ISSTA 2018 -- on repairing cache timing side-channel leaks (PDF).
  • 2018/04: Paper accepted by CAV 2018 -- on side-channel verification using type inference and model counting (PDF).
  • 2018/03: I gave a short plenary talk at NSF workshop on side and covert channels in computing systems (link).
  • 2018/03: I served on an NSF panel in Alexandria, VA.
  • 2018/01: My students and I attended POPL 2018 in Los Angeles, CA.

2017

  • 2017/11: Chungha and Lin presented our papers at ASE 2017 in Urbana-Champaign, IL.
  • 2017/09: Shengjian and I presented our papers at ESEC/FSE 2017 in Paderborn, Germany.
  • 2017/09: I gave a talk on mitigating side-channel leaks at SoCal PLS workshop (link).
  • 2017/09: Paper accepted by ASE 2017 -- on static analysis of interrupt software.
  • 2017/09: Paper accepted by ASE 2017 -- on systematic reduction of GUI test sequences.
  • 2017/08: I gave a talk on mitigating side-channel leaks at HRL Laboratories, LLC.
  • 2017/07: I gave a talk at Testing Embedded and Cyber-physical Systems Workshop (link).
  • 2017/06: Position paper on "Safety Guard for Automotive CPS" at DAC 2017 (PDF).
  • 2017/06: I served on an NSF panel in Arlington, VA.
  • 2017/06: Received ONR grant on Android software complexity reduction (with Halfond and Medvidovic).
  • 2017/06: Paper accepted by FSE 2017 -- on symbolic execution of PLC software.
  • 2017/06: Paper accepted by FSE 2017 -- on thread-modular static analysis for relaxed memory.
  • 2017/06: Paper accepted by FSE 2017 -- on reproducing system-level concurrency failures.
  • 2017/06: Received NSF SaTC grant on energy-efficient IoT software.
  • 2017/05: I presented a paper on classifying race conditions in web applications at ICSE 2017 (PDF, slides).
  • 2017/04: ACM SIGLOG News article on "Security by Compilation" (PDF).
  • 2017/04: I attended ISSTA 2017 TPC meeting in Moffett Field, CA.
  • 2017/04: I gave a CS Colloquium talk on mitigating side-channel leaks at UT Dallas.
  • 2017/03: I received Tenure at USC and was promoted to Associate Professor. Fight On!
  • 2017/01: I attended the NSF SaTC PI meeting in Arlington, VA.

Archives: Old News

2016

  • 2016/12: Paper accepted by ICSE 2017 -- on classifying race conditions.
  • 2016/11: I gave a talk at SoCal Programming Languages and Systems workshop (link).
  • 2016/11: Markus Kusano presented a paper on thread-modular analysis at FSE 2016 (PDF).
  • 2016/11: Chungha Sung presented a paper on web application testing at FSE 2016 (PDF).
  • 2016/10: I served on an NSF panel.
  • 2016/09: James presented our paper on incremental symbolic execution at ASE 2016 (PDF).
  • 2016/08: I joined the faculty of University of Southern California (new homepage in CS@USC).
  • 2016/07: NSF proposal on improving HPC application resilience was funded.
  • 2016/07: I presented a paper at CAV 2016 -- it is on fault-attack countermeasures for crypto circuits (PDF, slides).
  • 2016/07: Paper accepted by ASE 2016 -- on incremental symbolic execution.
  • 2016/06: Paper accepted by ASE 2016 -- a tool for GUI testing.
  • 2016/06: Lu Zhang received his PhD degree and joined Oracle. Congratulations!
  • 2016/06: I presented a paper at NFM 2016 -- it is a new method for shield synthesis (PDF).
  • 2016/05: Paper accepted by FSE 2016 -- on thread-modular analysis.
  • 2016/05: Paper accepted by FSE 2016 -- on testing web applications.
  • 2016/05: NSF SaTC proposal on mitigating side-channel leaks was funded.
  • 2016/05: My students and I attended ICSE 2016 (photo).
  • 2016/04: Paper accepted by CAV 2016 -- on mitigating fault attacks.
  • 2016/04: Paper accepted by NFM 2016 -- on shield synthesis.
  • 2016/04: PhD student Markus Kusano received NSF Graduate Research Fellowship (news).
  • 2016/04: I gave a keynote talk at CREST 2016 in Eindhoven, The Netherlands.
  • 2016/02: DARPA CRAFT proposal with Michael Hsiao was funded (link, subcontract from Northrop Grumman).
  • 2016/01: I served on a US DOE ASCR panel in Arlington, VA.

2015

  • 2015/12: Journal paper accepted by Springer FMSD -- it is on mining traces for explaining concurrency bugs (PDF).
  • 2015/09: I gave a talk on runtime enforcement for reactive systems at DIFTS 2015 (PDF).
  • 2015/09: My students and I attended DIFTS 2015 and FMCAD 2015 (photo).
  • 2015/09: I gave a talk on detecting and mitigating synchronization errors at Texas A&M University.
  • 2015/09: I presented a paper at FSE 2015 -- it is on symbolic execution of concurrent programs (PDF).
  • 2015/08: I attended CAV 2015, which had the largest audience in recent years.
  • 2015/08: Journal paper accepted by IEEE TSE -- it is on verifying quasi linearizability (PDF).
  • 2015/07: Markus Kusano presented the ConcBugAssist paper at ISSTA 2015 (PDF).
  • 2015/07: My students and I attended ISSTA 2015 - it was a very nice experience (photo).
  • 2015/06: Markus Kusano presented a paper at PLDI 2015 (PDF).
  • 2015/05: Paper accepted by FSE 2015.
  • 2015/05: Markus Kusano presented the UDON paper at ICSE 2015 and attracted a lot of interest (PDF).
  • 2015/05: Hassan Eldib successfully defended his PhD dissertation. Congratulations!
  • 2015/05: Sepideh Khoshnood successfully defended her MS thesis. Congratulations!
  • 2015/04: Paper accepted by ISSTA 2015.
  • 2015/03: I served on an NSF panel in Arlington, VA.
  • 2015/03: Journal paper accepted by IEEE T-CAD -- it is on quantifying power side-channel leaks.
  • 2015/03: NSF EAGER proposal on concurrent software testing was funded.
  • 2015/02: Paper accepted by PLDI 2015.
  • 2015/02: Journal paper accepted by ACM TODAES -- it is on software fault localization (PDF).
  • 2015/01: Journal paper accepted by Springer STTT -- it is on verifying quasi linearizability (PDF).

2014

  • 2014/12: Paper accepted by ICSE 2015 -- it is on invariant generation for concurrent software (PDF).
  • 2014/12: Paper accepted by ICSE 2015 -- it is on debugging failed regression tests (PDF).
  • 2014/12: Paper accepted by ICST 2015 -- it is on pruning in symbolic execution (PDF).
  • 2014/12: Paper accepted by TACAS 2015 -- it is on synthesizing shields for reactive systems (PDF).
  • 2014/09: Journal paper accepted by ACM TOSEM -- it is on detecting power side channel leaks (PDF).
  • 2014/09: Markus Kusano presented a tool paper at ASE 2014 in Vasteras, Sweden (PDF).
  • 2014/08: NSF CSR Medium proposal on tuning big-data processing systems was funded (photo, news).
  • 2014/08: Meng Wu (BS, SJTU, China) joined our group as a PhD student.
  • 2014/08: Chungha Sung (BS, SKKU, Korea) joined our group as a PhD student.
  • 2014/08: I received Early Adopter Award from NSF/IEEE-TCPP Curriculum Initiative.
  • 2014/07: Journal paper accepted by IEEE T-CAD -- it is on optimizing embedded software code (PDF).
  • 2014/07: Lu Zhang presented a paper at ISSTA 2014 in San Jose, CA (PDF).
  • 2014/07: Hassan Eldib presented a paper at CAV 2014 in Vienna, Austria (PDF).
  • 2014/07: I taught in the SAT/SMT Summer School in Austria (program, photo).
  • 2014/06: Paper accepted by ASE 2014.
  • 2014/06: Hassan Eldib presented a paper at DAC 2014 in San Francisco, CA (PDF).
  • 2014/06: I attended the TPC meeting of FSE 2014 in Hyderabad, India.
  • 2014/05: Arijit Chattopadhyay received his MS degree and joined Bloomberg.
  • 2014/04: Paper accepted by CAV 2014.
  • 2014/04: ICTAS JFC proposal on embedded software synthesis was funded.
  • 2014/04: Hassan Eldib presented a paper at TACAS 2014 in Grenoble, France (PDF).
  • 2014/03: Paper accepted by ISSTA 2014.
  • 2014/02: Markus Kusano received the prestigious Bradley Fellowship.
  • 2014/01: Paper accepted by DAC 2014.
  • 2014/01: I presented a paper at VMCAI 2014 in San Diego, CA (PDF).
  • 2014/01: Daniel Guo (MS, Wuhan Univ., China) joined our group as a PhD student.
  • 2014/01: Naling Zhang (MS, Jilin Univ., China) joined our group as a PhD student.

2013

  • 2013/12: Paper accepted by TACAS 2014.
  • 2013/11: Lu Zhang presented a paper at ASE 2013 in San Jose, CA (PDF).
  • 2013/11: Markus Kusano presented a tool paper at ASE 2013 in San Jose, CA (PDF).
  • 2013/10: Hassan Eldib and I received the FMCAD 2013 Best Paper Award (photo).
  • 2013/10: Hassan Eldib presented a paper at FMCAD 2013 in Portland, OR (PDF).
  • 2013/10: Paper accepted by VMCAI 2014.
  • 2013/09: I gave a tutorial (with Lixin Li) at RV 2013 in Rennes, France (PDF).
  • 2013/09: I gave a talk at the Vienna University of Technology (TU Wien).
  • 2013/08: I gave a talk at Fujitsu Labs of America in Sunnyvale, CA.
  • 2013/08: I gave a talk at NASA Ames Research Center in California.
  • 2013/08: I gave a talk at DOE Sandia Laboratory in Livermore, CA.
  • 2013/08: Paper accepted by ASE 2013.
  • 2013/07: Paper accepted by ASE 2013.
  • 2013/07: Paper accepted by FMCAD 2013.
  • 2013/07: I attended CAV 2013 in St Petersburg, Russia and gave a talk in the EC2 workshop.
  • 2013/07: I presented a paper at SPIN 2013 in Stony Brook, NY (PDF).
  • 2013/05: I visited the CS Department at Western Michigan University.
  • 2013/05: I attended S2ERC Showcase in Chicago, IL.
  • 2013/05: Kevin Hoang joined our group as an REU student.
  • 2013/05: I received the ONR Young Investigator (YIP) Award (news).
  • 2013/05: Kiran Adhikari received his MS degree and joined Intel.
  • 2013/04: Paper accepted by SPIN 2013.
  • 2013/04: I served on an NSF proposal review panel in Arlington, VA.
  • 2013/03: I gave a tutorial on software verification at CESCA Research Day in Arlington, VA.
  • 2013/01: I was named Outstanding New Assistant Professor at COE, Virginia Tech (photo).

2012

  • 2012/12: Arijit Chattopadhyay joined our group as an MS student.
  • 2012/11: I attended FSE 2012 and served as a session chair.
  • 2012/07: I attended CAV 2012 in Berkeley, CA.
  • 2012/10: Kiran Adhikari joined our group as an MS student.
  • 2012/07: NSF SaTC Medium proposal on shield synthesis to enforce security policies was funded.
  • 2012/06: I attended the TPC meeting of OOPSLA 2012 in Orlando, FL.
  • 2012/06: I attended the TPC meeting of FSE 2012 in Zurich, Switzerland.
  • 2012/05: Markus Kusano joined our group as an REU student.
  • 2012/05: Hassan Eldib (MS, AAST, Egypt) joined our group as a PhD student.
  • 2012/04: ICTAS JFC proposal on co-verification of cyber-physical systems was funded.
  • 2012/04: Paper accepted by CAV 2012.
  • 2012/02: I served on an NSF proposal review panel in Arlington, VA.
  • 2012/02: I attended CRA Career Mentoring Workshop in Washington, DC.
  • 2012/01: I attended POPL 2012 in Philadelphia, PA.
  • 2012/01: Lu Zhang (BS, Tsinghua Univ., China) joined our group as a PhD student.

2011

  • 2011/11: I received NSF CAREER Award (news).
  • 2011/09: I gave a tutorial (with Dr. Malay Ganai) at RV 2011 in San Francisco, CA.
  • 2011/09: I gave a talk in the CS Department seminar at Virginia Tech.
  • 2011/08: I joined the faculty of Virginia Tech officially.
  • 2011/07: I attended CAV 2011 in Snowbird, UT and gave a talk in the SMT workshop.
  • 2011/06: I presented a paper at ICSE 2011 in Honolulu, Hawaii.
  • 2011/04: I visited the CS Department at UC Santa Barbara and gave a talk.
  • 2011/04: I attended NASA Formal Methods Symposium in Pasadena, CA.
  • 2011/03: I accepted a tenure-track faculty position at Virginia Tech.