Travelled to:1 × Hungary
1 × The Netherlands
4 × USA
Collaborated with:C.R.Ramakrishnan I.V.Ramakrishnan D.S.Warren T.Swift S.D.C.d.Vimercati P.Lincoln P.Samarati R.C.Sekar K.F.Sagonas S.Skiena
Talks about:program (5) logic (4) factor (2) unif (2) determinaci (1) implement (1) resolut (1) prevent (1) practic (1) general (1)
Person: Steven Dawson
DBLP: Dawson:Steven
Contributed to:
1999
1996
1995
1995
19951993Wrote 6 papers:
- PODS-1999-DawsonVLS
- Minimal Data Upgrading to Prevent Inference and Association (SD, SDCdV, PL, PS), pp. 114–125.
- PLDI-1996-DawsonRW #case study #logic programming #program analysis #using
- Practical Program Analysis Using General Purpose Logic Programming Systems — A Case Study (SD, CRR, DSW), pp. 117–126.
- ILPS-1995-DawsonRRS #optimisation #unification
- Optimizing Clause Resolution: Beyond Unification Factoring (SD, CRR, IVR, TS), pp. 194–208.
- PLILP-1995-DawsonRR #design #implementation #logic programming #performance #source code
- Design and Implementation of Jump Tables for Fast Indexing of Logic Programs (SD, CRR, IVR), pp. 133–150.
- POPL-1995-DawsonRRSSSW #execution #logic programming #performance #source code #unification
- Unification Factoring for Efficient Execution of Logic Programs (SD, CRR, IVR, KFS, SS, TS, DSW), pp. 247–258.
- ICLP-1993-DawsonRRS #logic programming #source code
- Extracting Determinacy in Logic Programs (SD, CRR, IVR, RCS), pp. 424–438.