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
10002000
Lava: hardware design in Haskell
P Bjesse, K Claessen, M Sheeran, S Singh
Acm Sigplan Notices 34 (1), 174-184, 1998
5811998
Circuit design in Ruby
G Jones, M Sheeran
Formal methods for VLSI design, 13-70, 1990
255*1990
muFP, a language for VLSI design
M Sheeran
Proceedings of the 1984 ACM Symposium on LISP and functional programming†…, 1984
1811984
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
1342000
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
1281998
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
1252010
Hardware Design and Functional Programming
M Sheeran
Journal of Universal Computer Science 2 (7), 1135-1158, 2005
952005
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
912012
JlFP-AN ALGEBRAIC VLSI DESIGN LANGUAGE
M Sheeran
Computing 50, 1boratory, 1983
801983
The design and implementation of feldspar: An embedded language for digital signal processing
E Axelsson, K Claessen, M Sheeran, J Svenningsson, D Engdal, ...
Implementation and Application of Functional Languages: 22nd International†…, 2011
742011
Designing arithmetic circuits by refinement in Ruby
G Jones, M Sheeran
Science of computer programming 22 (1-2), 107-135, 1994
711994
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
662005
Designing regular array architectures using higher order functions
M Sheeran
Conference on Functional Programming Languages and Computer Architecture†…, 1985
641985
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
572008
SAT-solving in practice
K Claessen, N Een, M Sheeran, N Sorensson
2008 9th International Workshop on Discrete Event Systems, 61-67, 2008
532008
The design and verification of a sorter core
K Claessen, M Sheeran, S Singh
Advanced Research Working Conference on Correct Hardware Design and†…, 2001
532001
Retiming and slowdown in Ruby
M Sheeran
The fusion of hardware design and verification, 289-308, 1988
491988
Multiplier reduction tree with logarithmic logic depth and regular connectivity
H Eriksson, P Larsson-Edefors, M Sheeran, M Sjalander, D Johansson, ...
2006 IEEE International Symposium on Circuits and Systems, 4 pp.-8, 2006
472006
The system can't perform the operation now. Try again later.
Articles 1–20