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 × France
1 × Ireland
1 × Poland
1 × Turkey
1 × USA
2 × Portugal
3 × China
Collaborated with:
T.Chothia A.R.Lebeck W.Fokkink M.T.Dashti J.v.d.Pol J.Sun Y.Liu J.S.Dong C.Dwyer X.Chen R.Xue M.V.Espada Y.Deng C.Palamidessi S.J.Zhang Y.Wang B.Li M.Zha G.Zheng S.R.Agrawal V.Pistol J.Tran D.Tarjan S.Blom J.R.Calame B.Lisser S.Orzan A.Wijs
Talks about:
construct (2) parallel (2) analysi (2) system (2) verif (2) more (2) less (2) fair (2) data (2) base (2)

Person: Jun Pang


Contributed to:

ASPLOS 20152015
ASPLOS 20142014
SAC 20132013
FM 20112011
ICEIS v2 20112011
CAV 20092009
QAPL 20072007
TACAS 20072007
QAPL 20052006
SEFM 20042004
FoSSaCS 20032003
TOOLS Asia 19991999

Wrote 12 papers:

ASPLOS-2015-PangDL #less is more
More is Less, Less is More: Molecular-Scale Photonic NoC Power Topologies (JP, CD, ARL), pp. 283–296.
ASPLOS-2014-AgrawalPPTTL #hardware #named #parallel
Rhythm: harnessing data parallel hardware for server workloads (SRA, VP, JP, JT, DT, ARL), pp. 19–34.
Constructing and comparing user mobility profiles for location-based services (XC, JP, RX), pp. 261–266.
FM-2011-ZhangSPLD #on the #reduction
On Combining State Space Reductions with Global Fairness Assumptions (SJZ, JS, JP, YL, JSD), pp. 432–447.
ICEIS-v2-2011-Pang #analysis #quality
Analysis of Remote Quality Inspection System for Construction Projects (JP), pp. 341–344.
CAV-2009-SunLDP #flexibility #named #towards #verification
PAT: Towards Flexible Verification under Fairness (JS, YL, JSD, JP), pp. 709–714.
QAPL-2007-ChothiaPD #component
Keeping Secrets in Resource Aware Components (TC, JP, MTD), pp. 79–94.
TACAS-2007-BlomCLOPPDW #analysis #case study #distributed
Distributed Analysis with µCRL: A Compendium of Case Studies (SB, JRC, BL, SO, JP, JvdP, MTD, AW), pp. 683–689.
QAPL-2005-DengCPP06 #metric
Metrics for Action-labelled Quantitative Transition Systems (YD, TC, CP, JP), pp. 79–96.
SEFM-2004-PangPE #abstraction #parallel #process
Abstraction of Parallel Uniform Processes with Data (JP, JvdP, MVE), pp. 14–23.
FoSSaCS-2003-FokkinkP #protocol #revisited #verification
Cones and Foci for Protocol Verification Revisited (WF, JP), pp. 267–281.
TOOLS-ASIA-1999-WangLPZZ #approach #calculus #development #formal method #refinement
A Formal Software Development Approach Based on COOZ and Refinement Calculus (YW, BL, JP, MZ, GZ), pp. 261–266.

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.