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
Sands * David Sands * *
Dave Sands * Chalmers
* Sands * semantics * program transformation * improvement theory
My research interests include programming language semantics, and their
applications to program transformation, static analysis and security.
Professional Activities:
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 ACMSIGPLAN-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.