Recent Changes - Search:
FP /

Papers

Published papers by some members of the FP group.

Based on a list of SET division publications and individual lists for a few of the group members.

2010

  • Axelsson, E. ; Claessen, K. ; Dévai, G. et al. (2010). Feldspar: A Domain Specific Language for Digital Signal Processing algorithms. Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign. Nr. 121204
  • Bernardy, J-P. ; Jansson, P. ; Claessen, K. (2010). Testing Polymorphic Properties. ESOP 2010: 19th European Symposium on Programming. 6012/2010 s. 125-144. ISBN/ISSN: 978-3-642-11956-9 Nr. 99387
  • Bernardy, J-P. ; Jansson, P. ; Paterson, R. (2010). Parametricity and dependent types. International Conference on Functional Programming, September 27-29, 2010, Baltimore, Maryland. Nr. 118913
  • Dévai, G. ; Tejfel, M. ; Gera, Z. et al. (2010). Efficient Code Generation from the High-level Domain-specific Language Feldspar for DSPs . ODES-8: 8th Workshop on Optimizations for DSP and Embedded Systems, workshop associated with IEEE/ACM International Symposium on Code Generation and Optimization (CGO) . Nr. 121203
  • Jansson, P. (2010). IMPACT: Quality Assurance. IMPACT - Strategic Development of Chalmers Master's Programmes, Helena Danielsson (ed.), 978-91-633-6202-6 . s. 59-62. Nr. 115208
  • Jansson, P. (2010). Learning from IMPACT. IMPACT - Strategic Development of Chalmers Master's Programmes, Helena Danielsson (ed.), 978-91-633-6202-6 , s. 59-62. s. 23-24. Nr. 115210
  • Svensson, J. ; Claessen, K. ; Sheeran, M. (2010). GPGPU Kernel Implementation using an Embedded Language: a Status Report. Göteborg: Chalmers University of Technology. Nr. 110536
  • Svensson, J. ; Sheeran, M. ; Claessen, K. (2010). GPGPU Kernel Implementation and Refinement using Obsidian. ICCS 2010 conference proceedings. s. 10. Nr. 117160
  • Swierstra, W. ; Claessen, K. ; Seger, C. et al. (2010). Chalk: a language and tool for architecture design and analysis. Workshop on Designing Correct Circuits, associated with ETAPS. Nr. 111160

2009

  • Axelsson, E. ; Subramaniyan, K. P. ; Sheeran, M. et al. (2009). Fast Layout Exploration Using the Wired System. Swedish System-on-Chip Conference (SSoCC). Nr. 93674
  • Bernardy, J-P. (2009). Software Engineering using Typed Functional Programming. Göteborg: Chalmers University of Technology. Nr. 98258
  • Bernardy, J-P. (2009). Yi An Editor in Haskell for Haskell. ACM Sigplan Notices. 44 (2) s. 61-62. Nr. 114138
  • Bernardy, J-P. (2009). Lazy Functional Incremental Parsing. ACM SIGPLAN Haskell Symposium 2009, Edinburgh, Scotland Thursday, 3 September. Nr. 94979
  • Björk, M. (2009). First Order Stålmarck. Journal of Automated Reasoning. 42 (1) s. 99-122. Nr. 114219
  • Claessen, K. ; Palka, M. ; Smallbone, N. et al. (2009). Finding Race Conditions in Erlang with QuickCheck and PULSE. ICFP '09: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming. s. 149-160. Nr. 103739
  • Claessen, K. ; Seger, C. ; Sheeran, M. et al. (2009). High level architectural modelling for early estimation of power and performance. Workshop on Hardware Design and Functional Languages, associated with ETAPS. Nr. 111159
  • Claessen, K. ; Roorda, J. W. (2009). A FAITHFUL SEMANTICS FOR GENERALISED SYMBOLIC TRAJECTORY EVALUATION. Logical Methods in Computer Science. 5 (2) s. 1 (artno). Nr. 114619
  • Jansson, P. ; Schupp, S. (red.) (2009). WGP'09 Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming. New York, NY, USA: ACM. ISBN/ISSN: 978-1-60558-510-9 Nr. 99016
  • Lincke, D. ; Jansson, P. ; Zalewski, M. et al. (2009). Generic libraries in C++ with concepts from high-level domain descriptions in Haskell: A domain-specific library for computational vulnerability assessment. Domain-Specific Languages - IFIP TC 2 Working Conference, DSL 2009. 5658/2009 s. 236-261. ISBN/ISSN: 978-3-642-03033-8 Nr. 91900
  • Mu, S-C. ; Ko, H-S. ; Jansson, P. (2009). Algebra of programming in Agda: dependent types for relational program derivation. Journal of Functional Programming. 19 (05) s. 545 - 579. Nr. 91898
  • Russo, A. ; Claessen, K. ; Hughes, J. (2009). A Library for Light-Weight Information-Flow Security in Haskell. ACM Sigplan Notices. 44 (2) s. 13-24. Nr. 115653
  • Sheeran, M. (2009). Functional and dynamic programming in the design of parallel prefix networks. Göteborg: Chalmers University of Technology. Nr. 103228
  • Subramaniyan, K. P. ; Axelsson, E. ; Sheeran, M. et al. (2009). Layout Exploration of Geometrically Accurate Arithmetic Circuits. Proceedings of IEEE International Conference of Electronics, Circuits and Systems. Nr. 102797
  • Svensson, J. ; Sheeran, M. ; Claessen, K. (2009). Obsidian: A Domain Specific Embedded Language for General-Purpose Parallel Programming of Graphics Processors. Lecture Notes in Computer Science. 5836 s. 14. Nr. 103864
  • Thuresson, M. ; Själander, M. ; Björk, M. et al. (2009). FlexCore: Utilizing Exposed Datapath Control for Efficient Computing. JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY. 57 (1) s. 5-19. Nr. 71085
  • Viera, M. ; Swierstra, S. D. ; Swierstra, W. (2009). Attribute Grammars Fly First-Class How to do Aspect Oriented Programming in Haskell. Acm Sigplan Notices. 44 (9) s. 245-256. Nr. 114914
  • Xu, D. N. ; Jones, S. P. ; Claessen, K. (2009). Static Contract Checking for Haskell. Acm Sigplan Notices. 44 (1) s. 41-52. Nr. 114912

2008

  • Axelsson, E. (2008). Flexible Hardware Design at Low Levels of Abstraction. Proceedings of Designing Correct Circuits. Nr. 70160
  • Axelsson, E. (2008). Functional Programming Enabling Flexible Hardware Design at Low Levels of Abstraction. Göteborg: Chalmers University of Technology. Doctoral thesis ISBN/ISSN: 978-91-7385-147-3 Nr. 72827
  • Bernardy, J-P. ; Jansson, P. ; Zalewski, M. et al. (2008). A comparison of C++ concepts and Haskell type classes. ACM SIGPLAN Workshop on Generic Programming 2008. Victoria, Canada, 20th September 2008. Nr. 72479
  • Bernardy, J-P. (2008). Yi - An Editor in Haskell for Haskell. ACM SIGPLAN 2008 Haskell Symposium Victoria, British Columbia, Canada Thursday, 25th September, 2008. s. 61-62. ISBN/ISSN: 978-1-60558-064-7 Nr. 72549
  • Claessen, K. ; Een, N. ; Sheeran, M. et al. (2009). SAT-Solving in Practice, with a Tutorial Example from Supervisory Control. Discrete Event Dynamic Systems. 19 (4) s. 495-524. Nr. 98185
  • Claessen, K. ; Een, N. ; Sheeran, M. et al. (2008). SAT-Solving in Practice. 9th International Workshop on Discrete Event Systems. Nr. 79842
  • Claessen, K. ; Svensson, H. (2008). Finding Counter Examples in Induction Proofs. Proceedings of the 2nd International Conference on Tests and Proofs, in the LNCS series of Springer. Nr. 69236
  • Hughes, J. (2008). Experiences from teaching functional programming at Chalmers. Acm Sigplan Notices. 43 (11) s. 77-80. Nr. 99404
  • Russo, A. ; Claessen, K. ; Hughes, J. (2008). A Library for Light-Weight Information-Flow Security in Haskell. Proceedings of 2008 Haskell Symposium (Haskell 08). Nr. 72780
  • Mu, S-C. ; Hsiang-Shang, K. ; Jansson, P. (2008). Algebra of Programming using Dependent Types. Mathematics of Program Construction. 5133/2008 s. 268-283. Nr. 70247
  • Svensson, J. ; Sheeran, M. ; Claessen, K. (2008). Obsidian: A Domain Specific Embedded Language for Parallel Programming of Graphics Processors. 20th International Symposium on the Implementation and Application of Functional Languages. Nr. 79843
  • Svensson, J. ; Claessen, K. ; Sheeran, M. (2008). Obsidian: An Embedded Language for Data-Parallel Programming . Int. Workshop on Designing Correct Circuits, DCC'08, associated with ETAPS. Nr. 79844

Some individual papers:

Patrik Jansson