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
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski