Collaborated with:A.Çelik M.Gligoric M.Dam M.Parovic E.J.G.Arias
Talks about:independ (1) regress (1) project (1) process (1) overlay (1) network (1) analysi (1) select (1) verif (1) scale (1)
Person: Karl Palmskog
DBLP: Palmskog:Karl
Contributed to:
2014
20172019Wrote 3 papers:
- PDP-2014-DamP #independence #network #process
- Location Independent Routing in Process Network Overlays (MD, KP), pp. 715–724.
- ASE-2017-CelikPG #named #proving #scalability #verification
- iCoq: regression proof selection for large-scale verification projects (AÇ, KP, MG), pp. 171–182.
- ASE-2019-CelikPPAG #analysis #coq #mutation testing
- Mutation Analysis for Coq (AÇ, KP, MP, EJGA, MG), pp. 539–551.