Andor Penzes
Andor is a Haskell developer and enthusiast, interested in theoretical computer science, he has industrial experience with functional and object oriented programming, QA engineering, learns dependently typed programming and playing the hangdrum. Andor has recently revived his interest in compiler construction.
Talks I've Given
-
Lightning Talk: The Anatomy of an X-GRIN Back End. Showcase: Idris.
Featuring Andor Penzes
In this talk, Andor is going to discuss the anatomy of GRIN as a compiler back end by showcasing the main challenges the grin team had to overcome when implementing.
haskell abstract-interpretation compiler-construction -
2
GRIN - an Alternative Haskell Compiler Backend
Featuring Andor Penzes and Csaba Hruska
The GRIN language is an intermediate representation for lazy programming languages such as Haskell. It serves the same role as STG (in GHC compilation pipeline) but follows different design decisions. GRIN describes suspended computations as regular data structure using whole program...
machine-code abstract-interpretation whole-program-optimisation llvm haskell optimisation compiler -
Lightning Talk: Properties Meets Quality Assurance Test Design Principles
Featuring Andor Penzes
Black Box testing as referenced in the ISTQB (International Software Testing Board) organization is a specification-based testing technique. There are four specification based technique: Equivalence Partionining, Boundary Value analysis, Decision Tables and State transition testing. They view the...
haskell test testing -
2
Building web application with servant, lucid, and digestive-functors
Featuring Andor Penzes and Matthias Fischmann
Servant is a library for writing routing tables on the type level. It is commonly used for micro-services and for delivering json data to single-page apps, but it is possible to use it for delivering web pages and forms, and build a low- or no-js web application with it. Aula [0, 1] is such a web...
haskell haskell-x web-app
