Travelled to:1 × Denmark
1 × Italy
1 × Portugal
2 × Austria
2 × Canada
2 × Spain
3 × USA
Collaborated with:D.Walker H.Gommerstadt F.Pfenning B.T.Loo J.Zhao F.Perry A.J.Ahmed Milijana Surbatovich B.Lucia Y.Qin H.Ma M.Du O.Chowdhury D.Garg A.Datta V.Nigam A.Scedrov V.Sjöberg S.Weirich F.Spalding N.Glew C.Chen L.K.Loh W.Zhou K.Q.Zhu D.S.Dantas K.Fisher Y.Mandelbaum V.S.Pai J.A.Vaughan K.Mazurak L.Zarko J.Schorr S.Zdancewic
Talks about:program (6) distribut (3) languag (3) type (3) contract (2) session (2) monitor (2) system (2) safeti (2) reason (2)
Person: Limin Jia
DBLP: Jia:Limin
Contributed to:
2015
2015
20142011
20102009
2008
2006
2006
2005200420032018
20192016Wrote 15 papers:
- PPDP-2015-ChenLJZL #automation #declarative #network #safety #source code #verification
- Automated verification of safety properties of declarative networking programs (CC, LKL, LJ, WZ, BTL), pp. 79–90.
- SEKE-2015-QinMDJ #case study #modelling #safety
- Study on the Accident-causing Model Based on Safety Region and Applications in China Railway Transportation System (YQ, HM, MD, LJ), pp. 528–535.
- CAV-2014-ChowdhuryJGD #monitoring #policy #privacy #runtime
- Temporal Mode-Checking for Runtime Monitoring of Privacy Policies (OC, LJ, DG, AD), pp. 131–149.
- PPDP-2011-NigamJLS #distributed #incremental #logic programming #maintenance #source code
- Maintaining distributed logic programs incrementally (VN, LJ, BTL, AS), pp. 125–136.
- POPL-2010-JiaZSW #dependent type #equivalence
- Dependent types and program equivalence (LJ, JZ, VS, SW), pp. 275–286.
- PPDP-2009-ZhuDFJMPW #ad hoc #distributed
- Language support for processing distributed ad hoc data (KQZ, DSD, KF, LJ, YM, VSP, DW), pp. 243–254.
- ICFP-2008-JiaVMZZSZ #named #programming language
- AURA: a programming language for authorization and audit (LJ, JAV, KM, JZ, LZ, JS, SZ), pp. 27–38.
- ESOP-2006-JiaW #automation #named #pointer #reasoning #source code
- ILC: A Foundation for Automated Reasoning About Pointer Programs (LJ, DW), pp. 131–145.
- GPCE-2006-PerryJW #contract #linear #logic
- Expressing heap-shape contracts in linear logic (FP, LJ, DW), pp. 101–110.
- LICS-2005-JiaSWG #compilation #stack
- Certifying Compilation for a Language with Stack Allocation (LJ, FS, DW, NG), pp. 407–416.
- ESOP-2004-JiaW #distributed #proving #source code
- Modal Proofs as Distributed Programs (LJ, DW), pp. 219–233.
- LICS-2003-AhmedJW #reasoning
- Reasoning about Hierarchical Storage (AJA, LJ, DW), pp. 33–44.
- ESOP-2018-GommerstadtJP #concurrent #contract
- Session-Typed Concurrent Contracts (HG, LJ, FP), pp. 771–798.
- OOPSLA-2019-SurbatovichJL #debugging
- I/O dependent idempotence bugs in intermittent systems (MS, LJ, BL), p. 31.
- POPL-2016-JiaGP #higher-order #monitoring
- Monitors and blame assignment for higher-order session types (LJ, HG, FP), pp. 582–594.