BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Jia:Limin

Contributed to:

PPDP 20152015
SEKE 20152015
CAV 20142014
PPDP 20112011
POPL 20102010
PPDP 20092009
ICFP 20082008
ESOP 20062006
GPCE 20062006
LICS 20052005
ESOP 20042004
LICS 20032003
ESOP 20182018
OOPSLA 20192019
POPL 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.