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
The homepage of Jörgen Gustavsson
[go: Go Back, main page]

Jörgen Gustavsson

I am a post doc at the Department of Computing Science at Chalmers University of Technology and Göteborg University.

Research

My main interests are programing language semantics, static analyses and the implementation of functional languages.

Draft Papers

[GS01c] Jörgen Gustavsson and David Sands. Space Safe Transformations of Call-by-Need Programs.
Draft Paper.

Publications

[SGM02] David Sands, Jörgen Gustavsson and Andrew Moran. Lambda Calculi and Linear Speedups.
In The Essence of Computation: Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones, December 2002, volume 2566 of Lecture Notes in Computer Science, Springer Verlag.

[GS01b] Jörgen Gustavsson and David Sands. Possibilities and Limitations of Call-by-Need Space Improvement.
In the Proceedings of the International Conference on Functional Programming, September, 2001, ACM Press.

[Gus01] Jörgen Gustavsson. Space-Safe Transformations and Usage Analysis for Call-by-Need Languages.
PhD Thesis, Göteborg Unniversity, May, 2001.

[GS01a] Jörgen Gustavsson and Josef Svenningsson. Constraint Abstractions.
In the Proceedings of Symposium on Programs as Data Objects II, May 2001, volume 2053 of Lecture Notes in Computer Science, Springer Verlag.

[GS00] Jörgen Gustavsson and Josef Svenningsson. A Usage Analysis with Bounded Polymorphism and Subtyping.
In the Proceedings of Workshop on Implementation of Functional Languages, September 2000 , volume 2011 of Lecture Notes in Computer Science, Springer Verlag.

[GS99] Jörgen Gustavsson and David Sands. A Foundation for Space-Safe Transformations of Call-by-Need Programs.
In the Proceedings of Workshop on Higher Order Operational Techniques in Semantics, September 1999, volume 26 of Electronic Notes in Theoretical Computer Science. Elsevier, 1999.

[Gus99] Jörgen Gustavsson. A Type Based Sharing Analysis for Update Avoidance and Optimisation.
Licentiate thesis, Göteborg University, May, 1999.

[Gus98] Jörgen Gustavsson. A Type Based Sharing Analysis for Update Avoidance and Optimisation.
In the Proceedings of the International Conference on Functional Programming, September, 1998, ACM Press. 


Postal adress: Jörgen Gustavsson
               Syster Estrids gata 9
               413 25 Göteborg
               Sweden
Telephone:     +46 31 821071 (home), +46 31 7721025 (work), +46 709 528844 (cell phone)
Email:         gustavss (at) cs.chalmers.se
Last modified: Thu Jul 31 13:22:38 MET DST 2003