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
DBLP: Pang:Jun
Contributed to:
20152014
2013
2011
2011
2009
2007
20072006
2004
2003
1999Wrote 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.
- SAC-2013-ChenPX
- 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.