Follow
Mary Sheeran
Title
Cited by
Cited by
Year
Checking safety properties using induction and a SAT-solver
M Sheeran, S Singh, G Stålmarck
International conference on formal methods in computer-aided design, 127-144, 2000
9032000
Lava: hardware design in Haskell
P Bjesse, K Claessen, M Sheeran, S Singh
ACM SIGPLAN Notices 34 (1), 174-184, 1998
5471998
Circuit design in Ruby
G Jones, M Sheeran
Formal methods for VLSI design, 13-70, 1990
253*1990
muFP, a language for VLSI design
M Sheeran
Proceedings of the 1984 ACM Symposium on LISP and functional programming†…, 1984
1621984
A tutorial on Stålmarck's proof procedure for propositional logic
M Sheeran, G Stålmarck
Formal Methods in System Design 16 (1), 23-58, 2000
1292000
A tutorial on Stålmarck’s proof procedure for propositional logic
M Sheeran, G Stålmarck
International Conference on Formal Methods in Computer-Aided Design, 82-99, 1998
1261998
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
1222010
Hardware Design and Functional Programming
M Sheeran
Journal of Universal Computer Science 2 (7), 1135-1158, 2005
912005
Expressive array constructs in an embedded GPU kernel programming language
K Claessen, M Sheeran, BJ Svensson
Proceedings of the 7th workshop on Declarative aspects and applications of†…, 2012
832012
JlFP-AN ALGEBRAIC VLSI DESIGN LANGUAGE
M Sheeran
Computing 50, 1boratory, 1983
781983
The design and implementation of Feldspar
E Axelsson, K Claessen, M Sheeran, J Svenningsson, D Engdal, ...
Symposium on Implementation and Application of Functional Languages, 121-136, 2010
712010
Generating fast multipliers using clever circuits
M Sheeran
International Conference on Formal Methods in Computer-Aided Design, 6-20, 2004
672004
Wired: Wire-aware circuit design
E Axelsson, K Claessen, M Sheeran
Advanced Research Working Conference on Correct Hardware Design and†…, 2005
602005
Designing regular array architectures using higher order functions
M Sheeran
Conference on Functional Programming Languages and Computer Architecture†…, 1985
581985
Designing arithmetic circuits by refinement in Ruby
G Jones, M Sheeran
International Conference on Mathematics of Program Construction, 208-232, 1992
571992
Obsidian: A domain specific embedded language for parallel programming of graphics processors
J Svensson, M Sheeran, K Claessen
Symposium on Implementation and Application of Functional Languages, 156-173, 2008
552008
Retiming and slowdown in Ruby
M Sheeran
The fusion of hardware design and verification 10, 289-308, 1988
531988
The design and verification of a sorter core
K Claessen, M Sheeran, S Singh
Advanced Research Working Conference on Correct Hardware Design and†…, 2001
512001
SAT-solving in practice
K Claessen, N Een, M Sheeran, N Sorensson
2008 9th International Workshop on Discrete Event Systems, 61-67, 2008
462008
Relations and refinement in circuit design
G Jones, M Sheeran
Proc. BCS FACS Workshop on Refinement, Workshops in Computing. Springer-Verlag, 1991
461991
The system can't perform the operation now. Try again later.
Articles 1–20