Haskell program coverage

Gill, Andy; Runciman, Colin

doi:10.1145/1291201.1291203

Cited by 38 publications

(27 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The first stage in the process is that GHC will "de-sugar" full Haskell into a significantly reduced functional language called "Core" [17]. We can use existing facilities [6] at this point to ensure that every interesting program expression will be annotated with a "src" tick expression. For example, the program from the introduction could look like follows after de-sugaring: f a c n : : I n t → I n t f a c n = Note that in contrast to our syntax from Section 2.2 we now represent causes as an expression type.…”

Section: Cause Tracking In Corementioning

confidence: 99%

Causality of optimized Haskell

Wortmann

Duke

2013

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell

View full text Add to dashboard Cite

Profiling real-world Haskell programs is hard, as compiler optimizations make it tricky to establish causality between the source code and program behavior. In this paper we attack the root issue by performing a causality analysis of functional programs under optimization. We apply our findings to build a novel profiling infrastructure on top of the Glasgow Haskell Compiler, allowing for performance analysis even of aggressively optimized programs.

show abstract

Section: Cause Tracking In Corementioning

confidence: 99%

Causality of optimized Haskell

Wortmann

Duke

2013

Proceedings of the 2013 ACM SIGPLAN Symposium on Haskell

View full text Add to dashboard Cite

show abstract

“…• Haskell Program Coverage (HPC) [51] was used to determine which areas of the source code and boolean controls were actually exposed to testing.…”

Section: Cmq Scalability At Largementioning

confidence: 99%

CMQ - A lightweight, asynchronous high-performance messaging queue for the cloud

Fritsch¹,

Walker

2012

Journal of Cloud Computing: Advances, Systems and Applications

View full text Add to dashboard Cite

In cloud computing environments guarantees, consistency mechanisms, (shared) state and transactions are frequently traded for robustness, scalability and performance. Based on this challenge we present CMQ, a UDP-based inherently asynchronous message queue to orchestrate messages, events and processes in the cloud. CMQ's inherently asynchronous design is shown to perform especially well in modern Layer 2 switches in data center networks, as well as in the presence of errors. CMQ's lightweight edge-to-edge design, which is somewhat similar to Unix Pipes, makes it very composable. By presenting our work, we hope to initiate discussion on how to implement lightweight messaging paradigms that are aligned with the overall architectures and goals of cloud computing.

show abstract

“…As we have seen, QuickCheck is one of those tools. Others include HPC, a code coverage tool [7], and ThreadScope, a means of visualizing parallel computations [8].…”

Section: Related Workmentioning

confidence: 99%

What’s the Matter with Kansas Lava?

Farmer

Kimmell

Gill

2011

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Kansas Lava is a functional hardware description language implemented in Haskell. In the course of attempting to generate ever larger circuits, we have found the need to effectively test and debug the internals of Kansas Lava. This includes confirming both the simulated behavior of the circuit and its hardware realization via generated VHDL. In this paper we share our approach to this problem, and discuss the results of these efforts.

show abstract

Haskell program coverage

Abstract: We describe the design, implementation and use of HPC, a toolkit to record and display Haskell Program Coverage. HPC includes tools that instrument Haskell programs to record program coverage, run instrumented programs, and display information derived from coverage data in various ways.

Cited by 38 publications

References 11 publications

Causality of optimized Haskell

Causality of optimized Haskell

CMQ - A lightweight, asynchronous high-performance messaging queue for the cloud

What’s the Matter with Kansas Lava?

Contact Info

Product

Resources

About