Chao Wang  

RSS Group (Reliable and Secure Software)


2017

  • I am recruiting PhD students to join my group at USC (link).
  • 2017/09: Paper accepted by ASE 2017 -- on static analysis of interrupt software. Congratulations to Chungha & Markus!
  • 2017/09: Paper accepted by ASE 2017 -- on systematic reduction of GUI test sequences. Congratulations to Lin!
  • 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 software complexity reduction (with Halfond and Medvidovic).
  • 2017/06: Paper accepted by FSE 2017 -- on symbolic execution of PLC software. Congratulations to Daniel & Meng!
  • 2017/06: Paper accepted by FSE 2017 -- on thread-modular static analysis for relaxed memory. Congratulations to Markus!
  • 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. Congratulations to Lu!
  • 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. Congratulations to Daniel & Markus!
  • 2016/06: Paper accepted by ASE 2016 -- a tool for GUI testing. Congratulations to Lin & Jialiang!
  • 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. Congratulations to Markus!
  • 2016/05: Paper accepted by FSE 2016 -- on testing web applications. Congratulations to Chungha and Markus!
  • 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. Congratulations to Hassan and Meng!
  • 2016/04: Paper accepted by NFM 2016 -- on shield synthesis. Congratulations to Meng!
  • 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. Congratulations to Daniel & Markus!
  • 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. Congratulations to Sepideh & Markus!
  • 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. Congratulations to Naling & Markus!
  • 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. Congratulations to Markus!
  • 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. Congratulations to Hassan!
  • 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. Congratulations to Lu!
  • 2014/02: Markus Kusano received the prestigious Bradley Fellowship.
  • 2014/01: Paper accepted by DAC 2014. Congratulations to Hassan and Mostafa!
  • 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. Congratulations to Hassan!
  • 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. Congratulations to Markus!
  • 2013/07: Paper accepted by ASE 2013. Congratulations to Lu!
  • 2013/07: Paper accepted by FMCAD 2013. Congratulations to Hassan!
  • 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. Congratulations to Kiran!
  • 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 Faculty Early Career Development (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.