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
7912000
Lava: hardware design in Haskell
P Bjesse, K Claessen, M Sheeran, S Singh
ACM SIGPLAN Notices 34 (1), 174-184, 1998
5121998
Circuit design in Ruby
G Jones, M Sheeran
Formal methods for VLSI design 1, 1990
246*1990
muFP, a language for VLSI design
M Sheeran
Proceedings of the 1984 ACM Symposium on LISP and functional programming …, 1984
1441984
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
1322000
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
1211998
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
1162010
Hardware Design and Functional Programming: a Perfect Match.
M Sheeran
J. UCS 11 (7), 1135-1158, 2005
872005
JlFP-AN ALGEBRAIC VLSI DESIGN LANGUAGE
M Sheeran
Computing 50, 1boratory, 1983
80*1983
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
792012
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
652010
Generating fast multipliers using clever circuits
M Sheeran
International Conference on Formal Methods in Computer-Aided Design, 6-20, 2004
652004
Designing regular array architectures using higher order functions
M Sheeran
Conference on Functional Programming Languages and Computer Architecture …, 1985
591985
Designing arithmetic circuits by refinement in Ruby
G Jones, M Sheeran
International Conference on Mathematics of Program Construction, 208-232, 1992
581992
Wired: Wire-aware circuit design
E Axelsson, K Claessen, M Sheeran
Advanced Research Working Conference on Correct Hardware Design and …, 2005
562005
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
512008
The design and verification of a sorter core
K Claessen, M Sheeran, S Singh
Advanced Research Working Conference on Correct Hardware Design and …, 2001
502001
Retiming and slowdown in Ruby
M Sheeran
The fusion of hardware design and verification 10, 289-308, 1988
481988
Relations and refinement in circuit design
G Jones, M Sheeran
Proc. BCS FACS Workshop on Refinement, Workshops in Computing. Springer-Verlag, 1991
451991
SAT-solving in practice
K Claessen, N Een, M Sheeran, N Sorensson
2008 9th International Workshop on Discrete Event Systems, 61-67, 2008
422008
The system can't perform the operation now. Try again later.
Articles 1–20