Magnus Carlsson

12 papers A 1B 2C 2Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2023 J jnl
A Strategy for Scaling Advanced Analytics.
Commun. ACM
Mikael Berndtsson, Anna-Carin Jonsson, Magnus Carlsson, Thomas Svahn
2011 C conf
Towards Configuration Support for Collaborative Simulator Development - A Product Line Approach in Model Based Systems Engineering.
WETICE
Henric Andersson, Magnus Carlsson, Johan Ölvander
2009 B conf
Hardware/software co-verification of cryptographic algorithms using Cryptol.
FMCAD
Levent Erkök, Magnus Carlsson, Adam Wick
2008 — conf
Unrestricted pure call-by-value recursion.
ML
Johan Nordlander, Magnus Carlsson, Andy Gill
2003 J jnl
Erratic Fudgets: a semantic theory for an embedded coordination language.
Sci. Comput. Program.
Andrew Moran, David Sands, Magnus Carlsson
2003 B conf
The Semantic Layers of Timber.
APLAS
Magnus Carlsson, Johan Nordlander, Dick Kieburtz
2002 A conf
Monads for incremental computing.
ICFP
Magnus Carlsson
2002 — conf
Reactive Objects.
Symposium on Object-Oriented Real-Time Distributed Computing
Johan Nordlander, Mark P. Jones, Magnus Carlsson, Richard B. Kieburtz, Andrew P. Black
1999 C conf
Erratic Fudgets: A Semantic Theory for an Embedded Coordination Language.
COORDINATION
Andrew Moran, David Sands, Magnus Carlsson
1998 — —
Fudgets - Purely Functional Processes with applications to Graphical User Interfaces.
Magnus Carlsson, Thomas Hallgren
1996 — conf
Design and implementation of a digital down converter chip.
EUSIPCO
Ulf Sjöström, Magnus Carlsson, Magnus Hörlin
1995 — conf
Programming with Fudgets.
Advanced Functional Programming
Thomas Hallgren, Magnus Carlsson