Index of /user/liminjia/research/papers

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory   -  
[ ]ILC-TR-738.pdf 2025-09-18 15:50 307K 
[ ]ProInspector-eurosp2..>2025-09-18 15:50 504K 
[ ]TR-724-05.pdf 2025-09-18 15:50 315K 
[ ]android-esorics12.pdf 2025-09-18 15:50 458K 
[ ]android-esorics2013.pdf2025-09-18 15:50 552K 
[ ]android-perm-tr.pdf 2025-09-18 15:50 665K 
[ ]android-pi-calculus-..>2025-09-18 15:50 665K 
[ ]audit-ccs11.pdf 2025-09-18 15:50 377K 
[ ]audit-cylab-tr.pdf 2025-09-18 15:50 679K 
[ ]aura-audit-tr.pdf 2025-09-18 15:50 569K 
[ ]aura-csf08.pdf 2025-09-18 15:50 496K 
[ ]aura-flow-plas.pdf 2025-09-18 15:50 231K 
[ ]aura-flow-tr.pdf 2025-09-18 15:50 302K 
[ ]aura-icfp-submission..>2025-09-18 15:50 184K 
[ ]aura-icfp.pdf 2025-09-18 15:50 266K 
[ ]aura-tr.pdf 2025-09-18 15:50 220K 
[ ]bibtex_js.js 2025-09-18 15:50 119K 
[ ]chromium-taint-ndss2..>2025-09-18 15:50 724K 
[ ]codaspy-2014.pdf 2025-09-18 15:50 375K 
[ ]compifc-eurosp22.pdf 2025-09-18 15:50 708K 
[ ]compositional-ifc-tr..>2025-09-18 15:50 1.1M 
[ ]contract-esop18.pdf 2025-09-18 15:50 412K 
[ ]contract_gpce.pdf 2025-09-18 15:50 181K 
[ ]counterfactual-plas1..>2025-09-18 15:50 930K 
[ ]counterfactual-tr.pdf 2025-09-18 15:50 809K 
[ ]crabtree-oopsla24.pdf 2025-09-18 15:50 1.0M 
[ ]crash-type-esop23.pdf 2025-09-18 15:50 924K 
[ ]crash-type-toplas.pdf 2025-09-18 15:50 9.0M 
[ ]crash-type-tr.pdf 2025-09-18 15:50 1.9M 
[ ]crypt-equiv-ccs2015.pdf2025-09-18 15:50 361K 
[ ]csf2010-constraints.pdf2025-09-18 15:50 236K 
[ ]curricle-pldi23.pdf 2025-09-18 15:50 673K 
[ ]curricle-tr.pdf 2025-09-18 15:50 2.8M 
[ ]esop04.pdf 2025-09-18 15:50 210K 
[ ]explodejs-pldi25.pdf 2025-09-18 15:50 1.0M 
[ ]flownotation-esorics..>2025-09-18 15:50 801K 
[ ]flownotation-tr.pdf 2025-09-18 15:50 1.1M 
[ ]fsr_jrnl.pdf 2025-09-18 15:50 676K 
[ ]fvn-hotnets.pdf 2025-09-18 15:50 617K 
[ ]fvn_hotnets.pdf 2025-09-18 15:50 617K 
[ ]glio-lics20.pdf 2025-09-18 15:50 607K 
[ ]gradual-typing-csf21..>2025-09-18 15:50 531K 
[ ]gradual-typing-csf21..>2025-09-18 15:50 431K 
[ ]graphjs-pldi24.pdf 2025-09-18 15:50 1.0M 
[ ]ground-truth-feast20..>2025-09-18 15:50 1.0M 
[ ]hierarchical-storage..>2025-09-18 15:50 190K 
[ ]hippa-sacmat13.pdf 2025-09-18 15:50 540K 
[ ]ibis-oopsla19.pdf 2025-09-18 15:50 1.1M 
[ ]ifc-android-soap14.pdf 2025-09-18 15:50 410K 
[ ]ifc-ccs23-tr.pdf 2025-09-18 15:50 1.1M 
[ ]ifc-ccs23.pdf 2025-09-18 15:50 778K 
[ ]ifttt-info-flows-www..>2025-09-18 15:50 525K 
[ ]ifttt-soups20.pdf 2025-09-18 15:50 568K 
[ ]ilc.pdf 2025-09-18 15:50 231K 
[ ]ilc_esop.pdf 2025-09-18 15:50 196K 
[ ]incremental-ppdp.pdf 2025-09-18 15:50 173K 
[ ]intermittent-formal-..>2025-09-18 15:50 1.1M 
[ ]iosk-sp21.pdf 2025-09-18 15:50 705K 
[ ]knowledge-csf18.pdf 2025-09-18 15:50 265K 
[ ]lambda-eek.pdf 2025-09-18 15:50 411K 
[ ]lambdaEq.pdf 2025-09-18 15:50 414K 
[ ]lics-short.pdf 2025-09-18 15:50 74K 
[ ]maude-bgp-tr.pdf 2025-09-18 15:50 262K 
[ ]maude-bgp.pdf 2025-09-18 15:50 229K 
[ ]modal-proofs-as-prog..>2025-09-18 15:50 355K 
[ ]ndlog-semantics-jrnl..>2025-09-18 15:50 257K 
[ ]ndlog-ver-ppdp2015.pdf 2025-09-18 15:50 966K 
[ ]ndlogsemans-tr.pdf 2025-09-18 15:50 196K 
[ ]ndss2018-taint-track..>2025-09-18 15:50 247K 
[ ]netter-vmcai21.pdf 2025-09-18 15:50 344K 
[ ]nodemedic-eurosp23.pdf 2025-09-18 15:50 2.5M 
[ ]nodemedic-ndss25.pdf 2025-09-18 15:50 1.5M 
[ ]npm-permissions-icse..>2025-09-18 15:50 227K 
[ ]nsdi20spring_yuan_pr..>2025-09-18 15:50 850K 
[ ]ocelot-pldi21.pdf 2025-09-18 15:50 811K 
[ ]omnicrawl-pets2022.pdf 2025-09-18 15:50 2.3M 
[ ]opt-ccs2014.pdf 2025-09-18 15:50 333K 
[ ]opt-sigcomm2014.pdf 2025-09-18 15:50 256K 
[ ]pads-padl.pdf 2025-09-18 15:50 180K 
[ ]pads-ppdp.pdf 2025-09-18 15:50 186K 
[ ]pads-tr.pdf 2025-09-18 15:50 180K 
[TXT]papers.bib 2025-09-18 15:50 42K 
[ ]popl10-lambda-eek.pdf 2025-09-18 15:50 315K 
[ ]precis-cav2014.pdf 2025-09-18 15:50 1.0M 
[ ]precis-tr2014.pdf 2025-09-18 15:50 2.2M 
[ ]privacy-iciss11.pdf 2025-09-18 15:50 419K 
[ ]privacy-wpes.pdf 2025-09-18 15:50 380K 
[ ]provenance-18.pdf 2025-09-18 15:50 471K 
[ ]provenance-sigmod-tr..>2025-09-18 15:50 1.8M 
[ ]provenance-sigmod17.pdf2025-09-18 15:50 1.5M 
[ ]psn-submission.pdf 2025-09-18 15:50 269K 
[ ]psnCor-lam.pdf 2025-09-18 15:50 107K 
[ ]reduction-wripe12.pdf 2025-09-18 15:50 385K 
[ ]rust-vmcai24.pdf 2025-09-18 15:50 242K 
[ ]sandlog-forte2014.pdf 2025-09-18 15:50 411K 
[ ]sandlog-tr2014.pdf 2025-09-18 15:50 515K 
[ ]scheduling-nsdi18.pdf 2025-09-18 15:50 1.1M 
[ ]securelogging-tr2014..>2025-09-18 15:50 529K 
[ ]securelogging-trust2..>2025-09-18 15:50 349K 
[ ]sendlog-fcs13.pdf 2025-09-18 15:50 64K 
[ ]session-blame-popl16..>2025-09-18 15:50 545K 
[ ]session-blame-tr2015..>2025-09-18 15:50 657K 
[ ]session-ifc-lics21.pdf 2025-09-18 15:50 960K 
[ ]session-journal22.pdf 2025-09-18 15:50 595K 
[ ]sessiontype-monitori..>2025-09-18 15:50 658K 
[ ]shapes-TR.pdf 2025-09-18 15:50 255K 
[ ]shapes.pdf 2025-09-18 15:50 227K 
[ ]smc-nsdi20.pdf 2025-09-18 15:50 850K 
[ ]sme-declassify-tr201..>2025-09-18 15:50 482K 
[ ]sp2010-preprint.pdf 2025-09-18 15:50 280K 
[ ]space06.pdf 2025-09-18 15:50 229K 
[ ]stack-lics05.pdf 2025-09-18 15:50 191K 
[ ]syrust-pldi21.pdf 2025-09-18 15:50 628K 
[ ]systemM-csf2015.pdf 2025-09-18 15:50 428K 
[ ]systemM-tr2015.pdf 2025-09-18 15:50 535K 
[ ]taglierino-short-fmc..>2025-09-18 15:50 196K 
[ ]tee-csf23-tr.pdf 2025-09-18 15:50 1.5M 
[ ]tee-csf23.pdf 2025-09-18 15:50 1.3M 
[ ]thesis-jia.pdf 2025-09-18 15:50 1.5M 
[ ]time-ni-post17.pdf 2025-09-18 15:50 9.5M 
[ ]tracking-domains-www..>2025-09-18 15:50 2.7M 
[ ]uberspark-sec16.pdf 2025-09-18 15:50 466K 
[ ]wpes10-hipaa-glba.pdf 2025-09-18 15:50 450K 
[ ]www2021-dom-xss-dnn.pdf2025-09-18 15:50 2.0M 
[ ]xdomain-sacmat.pdf 2025-09-18 15:50 223K 
[ ]xdomain-tr.pdf 2025-09-18 15:50 522K 
[ ]xmhf-oakland13.pdf 2025-09-18 15:50 336K