• Top: Google | Baidu (zhidao) | emuch | ciba | csv2tex | Haibo's video | rc |
• Gov: NSFC | CCF | 863e |
• Me (KYHCS): Mail (ftp) | alumni | gmail | qmail | tex | Debian | Put | Unsv | WW | Edas | Easychair |
• Upcoming1, 2 Conf & Workshop, WikiCFP, CCF, SCI
  • ACM (CCS- usage): SIGPLAN | SIGOPS
    A: FSE(Mar9/Jun/Nov) | OOPSLA-> SPLASH(Apr13,17/Jun21/Oct) | Mobicom(Mar/Jun/Oct) | SOSP(Apr14/Aug7/Oct28-31) | CCS(May,Aug3(poster)/Aug2/Oct) | Micro(Apr3,10/Jun/Oct) | ASPLOS (Jul/Oct/Jan) | POPL(Jul/Dec/Jan) | ICSE(Aug25,Oct23(new),Nov20(demo)/Dec/May) | PPoPP(Sep4/Nov/Mar) | PLDI(Nov/Feb/Jun) | ISCA(Nov/Feb/Jun) |
    B: HPDC(Jan/Mar/May) | ICS(Jan/Mar/Jun) | SPAA (Feb/Apr/Jun) | ISSTA(Feb3/Apr/Jul) | LCTES(Feb/Mar/Jun) | PODC(Feb12/Apr29/Jul) | ICFP(Apr/Jun/Sep) | MoDELS(Apr1,8/Jun13,Jul10/Oct) | Performance(Apr/Jun/Oct) | CODES+ISSS(Apr/.../Oct) | EMSoft(Apr/.../Oct) | Middleware(May15,20/Aug/Dec) | HiPEAC(Jun1/Nov15) | DATE(Sep/Nov/Mar) | EuroSys(Oct/Jan/Apr) | CGO(Sep/Nov/Feb) | DAC(Nov/Feb/Jun) | VEE(Nov/Feb/Mar) | SIGMETRICS(Nov/Feb/Jun) | MobiSys(Dec/Mar/Jun) |
    C: CF(Jan/Feb/May) | SYSTOR(Mar/Apr/Jun) | ICSSP(Mar/May/Aug) | CASES(Apr/.../Oct) | ASP-DAC(Jul/Sep/Jan) | HPC(Dec15/Jan31/Apr) |
    U: ISMM(Feb/Mar/Jun) | APSys(Apr/Jun/Jul) |
  • IEEE: A: LICS(Jan/Mar/Jul) | SC(Mar/Jun/Nov) | ASE(Apr22,29//Sep) HPCA(Sep/Nov/Mar) | S&P(Nov/Feb/May)
    B: ICPC(Jan30, Feb7/Mar/May) | CSFW(Feb/Apr/Jun) | PACT(Apr/Jun/Nov) | ICPP(FebMar/May/Aug) | ITC(Apr/Jun/Aug) | SOCC(Apr/Jun/Aug) | ESEM(Apr(Journal first,July)/Jun/Sep) SRDS(Apr/Jun/Sep) | ICSME(Apr1,8???/Jun15/Oct) | ISSRE(May/Jul/Oct) | ACSAC(Jun/Aug/Dec) | RTAS(Oct/Dec/Apr) | IPDPS(Oct/Dec/May) | SANER(Oct12,17(tool,era-Nov28,Dec2)/Nov23(tool,era-Dec28)/Feb) | ICDCS (Jan/Mar/Jul) | DSN(Nov/Feb/Jun) |
    C: ICSA(Jan5,10/Feb13/Apr) | TASE(Jan/Mar/Jul) | ASAP(Feb26,Mar11/Apr/Jul) | Cluster(Mar/May/Sep) | ISPA(Aug/Sep/Dec) | HPCC (Feb/Apr/Aug) | ATS(May/Jul/Nov) | ICPADS(Jul1/Sep5/Dec14-17) | HiPC(Jul15/Sep4/Dec16-19) | IPCCC(Aug24,31/Oct10/Dec14-16,Nanjing) | ISPASS(Sep/Nov/Feb) |
    
  • LNCS: B: CAV(Jan/Mar/Jul) | ICALP(Feb/Apr/Jul) Concur(Apr13/Jun15/Sep) | SAS(Apr3,10/Jun10/Sep) | ESORICS(Apr22/Jun27/Sep) | RAID(Jun/Aug/Nov) | ETAPS(Oct/Dec/Apr) | ECOOP(Dec/Mar/Jul) |
    C: Euro-par(Feb/May/Sep) | NPC(Jun5/Jul17/Oct28-29) | ATVA(Apr22,25/Jun8/Oct12-15) | APWeb(Apr23,May1/Jun20/Sep23-25) WISE(Apr24,May1/Jul9/Nov7-10) ICA3PP(May15/Sep15/Nov15-17) | APLAS(Jun5/Aug17/Nov30-2) |
    U: IWOMP(Jan/Feb/Jun) | ESOP(Oct/Dec/Mar) | CC(Oct/Dec/Mar) |
  • Usenix: A: ATC(Feb1/Apr15/Jun) | Security(Feb18/Apr/Aug) | OSDI(May3,10/Jul30/Nov) | FAST(Sep/Dec/Feb) |
    B: NSDI(Sep/Dec/Feb) | HotOS(Jan/Mar/May) |
    U: HotPar(Jan/Mar/Jun) | HotCloud(Mar/May/Jun) |
  • ISOC: B: NDSS(Feb1/Apr15/Jun) |
  • EDU: EduPar
• Journal: JOS | JCST | CJC | FCS | FCST | Crad | XWXT |
  ACMTran: A[ jacm | tocs | tois | toplas | tos | tosem | ], B[ taco | tecs | tissec | tocl | toit | ], C[ ],
  ELS: B[ compsec | isc | jpdc | jsa | jss | parco | perfeval | scp | tcs | ], C[ ins | jsa | ], comlan | jlap |
  IEEETran: A[ P.ieee | toc | tdsc | tifs | tmc | tpds | tse ] cise | rel |
  IET: B[ iets | ]
  IOS: B[ jcs | ]
  Springer: B[ ase | ese | sosym | ]
  Wiley: B[ spe | stvr | ]
• Group-Sys (ChinaSys): Dedis-Yale | PDOS-MIT | Opera-UCSD | OSL-UIUC | Sampa-UW
  HPC-Tsinghua | IPADS-SJTU | PKU | NJU-pasa-bigdata
• Group-Security : UIUC | Sunysb | RUC |
• Group-TPL: TheoremProver( Cambridge( LCS, HOL, Isabelle) | )
  
• Group-TM: TCC | SCT | LogTM | WASP |
  
• People( PL | DPC | OS | RES | SC SP | SE ):
  PLT: G.Necula | K.Sen |
• Group-Sys (ChinaSys): Dedis-Yale | PDOS-MIT | Opera-UCSD | OSL-UIUC | Sampa-UW
  HPC-Tsinghua | IPADS-SJTU | PKU
• Group-Security : Sunysb |
• Group-TPL: TheoremProver( Cambridge( LCS, HOL, Isabelle) | )
  
• Group-TM: TCC | SCT | LogTM | WASP |
  
• People( PL | DPC | OS | RES | SC SP | SE ):
  PLT: G.Necula | K.Sen | R.Harper(pfpl) | F.Pfenning J.C.Reynolds | Aho | S.Edwards | A.Appel | D.Walker | B.C.Pierce(cis500) | Z.Shao(cs428) | D.Grossman | Zilles | D.Kroening L.Lamport | C.Ding( github) | M.Abadi | C.Flanagan(atom) A.Aiken | M.Lam | Christos | D.Engler | P.O'Hearn | M.Parkinson | M.Gordon | Gotsman | Cook | Yves( Marelle) | J.Reppy | Rajwar | Thomas W.Reps | Laurie J. Hendren(Soot) | Mooly Sagiv(TVLA) | Radu Rugina | HAVOC | Xisa | TanGang | Xiangyu Zhang |
  Sys: Bryan (dedis) | DaveAnderson | Emery | Frans | Junfeng | KaiLI | Luis (sampa) | Nickolai | Remzi | ShanLu | Feng Qin | Guoqing Xu | Xi Wang | Charles Zhang | YY | Angelee
  JS,Mobile: Ben | Vijay(S:Yuhao)
  Concur, TM: Alistah | Herlihy | Scott | DougLea | Blundell | AME | TCC(STAMP, OpenTM) |
  GC: Richard Jones | Martin Vechev | Erez Petrank | Xiaofeng
  Boehm | MM02
  
• Course: T_ParSys | CSAPP
  
  
• PL:Coq: CoqArt | Popl08 | Cpdt
• Determinism: DPJ | DMP | Determinator | Kendo |
• Java VM: HotSpot | Harmony( Wiki, drlvm( cmd), jira, doxygen ) | Jikes | ibm(1)
  Tools: Polyglot | Soot | Wala | Bcel | ECJ | Chord | bddbddb |
• C&C++: CIL | LLVM | SUIF | Open64 | Phoenix | Banshee | cyclone
• Tools: Eclipse | APerl
  
  
• USTC: lib | ungrad | grad | bbs | CS | SIST | caiwu | iao |
• Work cache: owncloud, Parallel | (wiki, git, ftp) | work | homepage(ds, fopl, tpl, compiler, r, pub)| adsl(sysRG)
  
  
• FUN: Music( ustc ) | Game( 1, 2 ) | Video( 1 ) | Photo( 1 ) dwj