Josef

Cited by

	All	Since 2020
Citations	799	166
h-index	14	8
i10-index	15	7

200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202420257 4 5 9 11 27 15 17 17 11 20 27 45 43 59 52 75 72 58 45 45 34 40 16 28 3

Public access

View all

9 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Emil AxelssonChalmers University of TechnologyVerified email at chalmers.se
Anders PerssonPhD candidate, Chalmers University of TechnologyVerified email at chalmers.se
Mary SheeranChalmers Univeresity of TechnologyVerified email at chalmers.se
Koen ClaessenChalmers University of TechnologyVerified email at chalmers.se
Bo Joel SvenssonLind Art & Technology ABVerified email at chalmers.se
Zoltán HorváthProfessor of Computer Science, Dept. Programming Languages and Compilers, Eötvös Loránd UniversityVerified email at inf.elte.hu
Sam LindleyThe University of EdinburghVerified email at ed.ac.uk
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Shayan NajdThe University of EdinburghVerified email at ed.ac.uk
Jean-Philippe BernardyUniversity of Gothenburg and Chalmers University of TechnologyVerified email at gu.se
Niklas BrobergLecturer in Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
David SandsProfessor of Computer Science, Chalmers University of TechnologyVerified email at chalmers.se
Nicholas SmallboneChalmers University of TechnologyVerified email at chalmers.se
Thomas ArtsProfessor of Software Engineering, ChalmersVerified email at quviq.com
Ulf NorellUniversity of GothenburgVerified email at chalmers.se
Hans SvenssonQuviq ABVerified email at quviq.com
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
Peter A. JonssonSwedish Institute of Computer ScienceVerified email at sics.se

Josef

Facebook

Verified email at fb.com

Programming Languages Domain Specific Languages Compiler Technology


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Shortcut fusion for accumulating parameters & zip-like functions J Svenningsson ACM SIGPLAN Notices 37 (9), 124-132, 2002	137	2002
Feldspar: A domain specific language for digital signal processing algorithms E Axelsson, K Claessen, G Dévai, Z Horváth, K Keijzer, B Lyckegård, ... Eighth ACM/IEEE International Conference on Formal Methods and Models for …, 2010	128	2010
Combining deep and shallow embedding for EDSL J Svenningsson, E Axelsson International symposium on trends in functional programming, 21-36, 2012	91	2012
The design and implementation of feldspar: An embedded language for digital signal processing E Axelsson, K Claessen, M Sheeran, J Svenningsson, D Engdal, ... Symposium on Implementation and Application of Functional Languages, 121-136, 2010	75	2010
Constraint abstractions J Gustavsson, J Svenningsson Programs as Data Objects, 63-83, 2001	53	2001
Everything old is new again: quoted domain-specific languages S Najd, S Lindley, J Svenningsson, P Wadler Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and …, 2016	50	2016
Regular expression patterns N Broberg, A Farre, J Svenningsson Proceedings of the ninth ACM SIGPLAN international conference on Functional …, 2004	33	2004
Generic monadic constructs for embedded languages A Persson, E Axelsson, J Svenningsson International Symposium on Implementation and Application of Functional …, 2011	31	2011
Defunctionalizing push arrays BJ Svensson, J Svenningsson Proceedings of the 3rd ACM SIGPLAN Workshop on Functional High-performance …, 2014	30	2014
Simple and compositional reification of monadic embedded languages JD Svenningsson, BJ Svensson ACM SIGPLAN Notices 48 (9), 299-304, 2013	27	2013
Combining deep and shallow embedding of domain-specific languages J Svenningsson, E Axelsson Computer Languages, Systems & Structures 44, 143-165, 2015	26	2015
An EDSL approach to high performance Haskell programming J Ankner, JD Svenningsson ACM SIGPLAN Notices 48 (12), 1-12, 2013	26	2013
A usage analysis with bounded usage polymorphism and subtyping J Gustavsson, J Svenningsson Implementation of Functional Languages, 140-157, 2001	26	2001
Specification and verification of side channel declassification J Svenningsson, D Sands International Workshop on Formal Aspects in Security and Trust, 111-125, 2009	17	2009
An expressive semantics of mocking J Svenningsson, H Svensson, N Smallbone, T Arts, U Norell, J Hughes Fundamental Approaches to Software Engineering: 17th International …, 2014	12	2014
Polymorphism, subtyping, whole program analysis and accurate data types in usage analysis T Gedell, J Gustavsson, J Svenningsson Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney …, 2006	8	2006
Counting and occurrence sort for GPUs using an embedded language JD Svenningsson, BJ Svensson, M Sheeran Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance …, 2013	7	2013
On the duality of streams. how can linear types help to solve the lazy IO problem JP Bernardy, J Svenningsson IFL: Implementation and Application of Functional Languages 208, 95-130, 2015	5	2015
An efficient algorithm for a sharing analysis with polymorphism and subtyping J Svenningsson Masters thesis, June, 2000	5	2000
Composable efficient array computations using linear types JP Bernardy, VL Juan, J Svenningsson Unpublished Draft, 2016	3	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors