Travelled to:
1 × Canada
1 × Italy
1 × Poland
1 × Portugal
1 × USA
Collaborated with:
S.F.Smith ∅ F.Pottier P.C.Chapin M.Watson
Talks about:
type (3) control (2) static (2) access (2) systemat (1) approach (1) special (1) program (1) network (1) sensor (1)
Person: Christian Skalka
DBLP: Skalka:Christian
Contributed to:
Wrote 5 papers:
- GPCE-2013-ChapinSSW #named #network #programming #staged
- Scalaness/nesT: type specialized staged programming for sensor networks (PCC, CS, SFS, MW), pp. 135–144.
- PPDP-2007-Skalka #data access #type safety #virtual machine
- Type safe dynamic linking for JVM access control (CS), pp. 51–62.
- PPDP-2005-Skalka #object-oriented
- Trace effects and object orientation (CS), pp. 139–150.
- ESOP-2001-PottierSS #approach #data access
- A Systematic Approach to Static Access Control (FP, CS, SFS), pp. 30–45.
- ICFP-2000-SkalkaS #security
- Static enforcement of security with types (CS, SFS), pp. 34–45.