taoxie.cs.illinois.edu
Tao Xie - Professional Service
http://taoxie.cs.illinois.edu/service.html
Tao Xie - Professional Service. ACM History Committee Member. May 2010-Present), ACM History SGB Liaison. ACM SIGSOFT History Liaison, ACM SIGSOFT Executive Committee Member. Chair of Selection Committee, 2013 SIGSOFT Outstanding Doctoral Dissertation Award. Founding Co-Chair of Selection Committee, 2012 SIGSOFT Outstanding Doctoral Dissertation Award. Steering Committee Member, International Symposium on Software Testing and Analysis ( ISSTA. Member, ACM Distinguished Speaker Program. Local Arrangements...
pace.cse.iitm.ac.in
PACE Lab, IIT Madras
http://pace.cse.iitm.ac.in/conf.php
Rogramming Languages, A. Mar 14, 2017. Sep 9-13, 2017. Portland, Oregon, USA. Mar 27, 2017. Apr 3, 2017. Nov 12-17, 2017. Mar 31, 2017. Apr 7, 2017. Oct 15-20, 2017. Seoul, South Korea. Apr 13, 2017. Apr 17, 2017. Oct 22-27, 2017. Apr 14, 2017. Apr 20, 2017. Aug 30 - Sep 1, 2017. New York City, USA. Apr 21, 2017. Sep 5-8, 2017. Apr 21, 2017. Oct 3-6, 2017. Apr 24, 2017. May 1, 2017. Oct 19-20, 2017. Seoul, South Korea. May 5, 2017. May 12, 2017. Oct 30-Nov 3, 2017. Urbana-Champaign, Illinois, USA. Orland...
fsl.cs.illinois.edu
Grigore Rosu - FSL
http://fsl.cs.illinois.edu/index.php/Grigore_Rosu
Conferences and journals in which I am involved. Conferences, ordered backwards by deadline): ASE'17. General chair), ECOOP'17. Journals): Journal of Logic and Algebraic Programming. Scientific Annals of Computer Science. Research Topics in which I am currently interested. Programming Language Design and Semantics. Designing and verifying programming languages using formal executable semantics. Checking programs against properties as they execute. You want to work on these topics? Useful, Interesting, Fun.
SOCIAL ENGAGEMENT