Travelled to:1 × Estonia
1 × Hungary
1 × Portugal
2 × United Kingdom
3 × Germany
3 × USA
Collaborated with:G.Li R.J.Boulton M.J.C.Gordon M.W.Whalen D.S.Hardin T.Pham ∅ M.O.Myreen S.Owens A.Bundy A.Gacek J.Backes D.D.Cofer L.A.Dennis G.Collins M.Norrish G.Robinson T.F.Melham
Talks about:languag (3) compil (3) function (2) system (2) produc (2) higher (2) proof (2) order (2) logic (2) architectur (1)
Person: Konrad Slind
DBLP: Slind:Konrad
Contributed to:
20142012
2012
20092008
2007
20072000
200020001998Wrote 11 papers:
- HILT-2014-GacekBCSW #architecture #assurance #modelling #named
- Resolute: an assurance case language for architecture models (AG, JB, DDC, KS, MWW), pp. 19–28.
- HILT-2012-HardinSWP #domain-specific language #security
- A DSL for cross-domain security (DSH, KS, MWW, THP), pp. 53–62.
- TACAS-2012-HardinSWP #verification
- The Guardol Language and Verification System (DSH, KS, MWW, THP), pp. 18–32.
- CC-2009-MyreenSG #compilation
- Extensible Proof-Producing Compilation (MOM, KS, MJCG), pp. 2–16.
- TACAS-2008-LiS
- Trusted Source Translation of a Total Function Language (GL, KS), pp. 471–485.
- CADE-2007-LiS #compilation #higher-order #logic
- Compilation as Rewriting in Higher Order Logic (GL, KS), pp. 19–34.
- ESOP-2007-LiOS #compilation #higher-order #logic #set
- Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic (GL, SO, KS), pp. 205–219.
- CADE-2000-Slind
- Wellfounded Schematic Definitions (KS), pp. 45–63.
- CL-2000-BoultonS #automation #induction #recursion
- Automatic Derivation and Application of Induction Schemes for Mutually Recursive Functions (RJB, KS), pp. 629–643.
- TACAS-2000-DennisCNBSRGM #tool support
- The PROSPER Toolkit (LAD, GC, MN, RJB, KS, GR, MJCG, TFM), pp. 78–92.
- CADE-1998-SlindGBB #interface
- System Description: An Interface Between CLAM and HOL (KS, MJCG, RJB, AB), pp. 134–138.