Josef Svenningsson
According to our database1,
Josef Svenningsson
authored at least 21 papers
between 2000 and 2017.
Collaborative distances:
Collaborative distances:
Timeline
2000
2002
2004
2006
2008
2010
2012
2014
2016
0
1
2
3
4
1
1
2
1
2
3
1
1
2
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2017
Proceedings of the Seventh Workshop on Numericaland Symbolic Abstract Domains, 2017
Proceedings of the Proceedings 15th Workshop on Quantitative Aspects of Programming Languages and Systems, 2017
2016
Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2016
2015
Comput. Lang. Syst. Struct., 2015
2014
Proceedings of the 3rd ACM SIGPLAN workshop on Functional high-performance computing, 2014
Proceedings of the Fundamental Approaches to Software Engineering, 2014
2013
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, 2013
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2013
Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell, 2013
2012
Proceedings of the Trends in Functional Programming - 13th International Symposium, 2012
2011
Proceedings of the Implementation and Application of Functional Languages, 2011
2010
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010
The Design and Implementation of Feldspar - An Embedded Language for Digital Signal Processing.
Proceedings of the Implementation and Application of Functional Languages, 2010
2009
Proceedings of the Formal Aspects in Security and Trust, 6th International Workshop, 2009
2007
Scalable Program Analysis and topics in Programming Language Design and Transformation.
PhD thesis, 2007
2006
Polymorphism, Subtyping, Whole Program Analysis and Accurate Data Types in Usage Analysis.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006
2004
Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, 2004
2002
Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002
2001
Proceedings of the Programs as Data Objects, Second Symposium, 2001
2000
Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000