Magnus Carlsson

According to our database, Magnus Carlsson authored at least 11 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

A Strategy for Scaling Advanced Analytics.

Mikael Berndtsson, Anna-Carin Jonsson, Magnus Carlsson, Thomas Svahn

Commun. ACM, December, 2023

2011

Towards Configuration Support for Collaborative Simulator Development - A Product Line Approach in Model Based Systems Engineering.

Henric Andersson, Magnus Carlsson, Johan Ölvander

Proceedings of the 20th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2011

2009

Hardware/software co-verification of cryptographic algorithms using Cryptol.

Levent Erkök, Magnus Carlsson, Adam Wick

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008

Unrestricted pure call-by-value recursion.

Johan Nordlander, Magnus Carlsson, Andy Gill

Proceedings of the ACM Workshop on ML, 2008, Victoria, BC, Canada, September 21, 2008, 2008

2003

Erratic Fudgets: a semantic theory for an embedded coordination language.

Andrew Moran, David Sands, Magnus Carlsson

Sci. Comput. Program., 2003

The Semantic Layers of Timber.

Magnus Carlsson, Johan Nordlander, Dick Kieburtz

Proceedings of the Programming Languages and Systems, First Asian Symposium, 2003

2002

Reactive Objects.

Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black

Proceedings of the 5th International Symposiun on Object Oriented Real-Time Distributed Computing, 2002

Monads for incremental computing.

Magnus Carlsson

Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), 2002

1998

Fudgets - Purely Functional Processes with applications to Graphical User Interfaces.

Magnus Carlsson, Thomas Hallgren

PhD thesis, 1998

1996

Design and implementation of a digital down converter chip.

Ulf Sjöström, Magnus Carlsson, Magnus Hörlin

Proceedings of the 8th European Signal Processing Conference, 1996

1995

Programming with Fudgets.

Thomas Hallgren, Magnus Carlsson

Proceedings of the Advanced Functional Programming, 1995