Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Sands, David / Dave

David Sands

Professor at the Department of Computer Science and Engineering, Chalmers University of Technology and University of Göteborg.

Email: dave (at) chalmers.se
Phone: work +46 31 772 1059(direct), home +46 31 68 29 52.
Room: 5474, EDIT building, Rännvägen 6b. Chalmers Map
Postal Address:

Chalmers University of Technology and University of Göteborg
Department of Computing Science
S-412 96 Göteborg
Sweden

Research

My research interests include programming language semantics, and their applications to program transformation, static analysis and security.

Publications

Professional Activities (needs updating!):

ESOP '01 (Programme Chair), the European Symposium on Programming, Genova, Italy 2-6 April 2001.
SAS'01 The 8th International Static Analysis Symposium La Sorbonne, Paris, 16-18 July, 2001
SAIG 2001 International Workshop on Semantics, Applications and Implementation of Program Generation
ICALP2002 Twenty Ninth International Colloquium on Automata, Languages and Programming, Málaga, July 8-13, 2002
PADL'01 Third International Workshop on Practical Aspects of Declarative Languages, Las Vegas, March 11-12 2001 (colocated with the ACM symposium on Applied Computing).
HOOTS IV the Fourth International Workshop on Higher-Order Operational Techniques in Semantics, which will be held in Montreal in conjunction with PLI 2000, September 2000.
Static Analysis Symposium 2000, Santa Barbara, June 2000 (co-located with LICS)
POPL '00 , the 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, held January 19-21, 2000.
HOOTS III : the Third International Workshop on Higher-Order Operational Techniques in Semantics, Paris September 1999.

Last modified: Thu Jun 8 15:14:14 CEST 2006

Standard disclaimer