Eugen Jiresch

Mag.rer.nat.
Project assistant
Student of the Vienna PhD School of Informatics
Currently employed at the OEAW project "Towards a Real-World Extension for Interaction Nets"

Contact Information

jiresch at logic dot at

Theory and Logic Group
Institute of Computer Languages
Vienna University of Technology
Favoritenstr. 9-11/ E1852
A-1040 Wien, Austria

Research Interests

Interaction nets, models of computation, foundations of programming languages, parallel programming, term and graph rewriting

Talks

Eugen Jiresch
Extending the IN Calculus with Generic Rules
CEFP 2011 Summer School
Download: cefp_talk.pdf

Publications

Eugen Jiresch
Towards a GPU-based Implementation of Interaction Nets
8th International Workshop on Developments in Computational Models (DCM 2012)
2012, Cambridge, UK
conditionally accepted
Download: Preliminary Version
Eugen Jiresch and Bernhard Gramlich
Realizing Monads in Interaction Nets via Generic Typed Rules
Proceedings of the 9th annual conference on Theory and Applications of Models of Computation (TAMC 2012)
2012, Beijing, China
Download: Final Version
Eugen Jiresch
Extending the IN Calculus with Generic Rules
Preliminary Proceedings of the Second International Workshop on Linearity (LINEARITY 2012)
ETAPS 2012, Tallinn, Estonia
Download: Preliminary Version
Eugen Jiresch and Bernhard Gramlich
Realizing Monads in Interaction Nets via Generic Typed Rules
Technical Report, 2011
Download: Final Version
Eugen Jiresch
Realizing Impure Functions in Interaction Nets (full version)
Electronic Communications of the EASST (ECEASST), vol. 38
Download: Final Version
Eugen Jiresch
Realizing Impure Functions in Interaction Nets (extended abstract)
Proceedings of the International Conference on Graph Transformation 2010 (ICGT'10), Enschede, Netherlands
Download: Final Version
Eugen Jiresch and Bernhard Gramlich
Extensions for Interaction nets
Proceedings of the Junior Scientist Conference 2010 (JSC'10), Vienna, Austria, pp. 295-296
Download: Final Version
Eugen Jiresch, Abubakar Hassan and Shinya Sato
Interaction nets with nested patterns: an implementation (full version)
Electronic Proceedings in Theoretical Computer Sciene (EPTCS) 21, 2010, pp. 13-25
Download: Final Version
Eugen Jiresch, Abubakar Hassan and Shinya Sato
Interaction nets with nested patterns: an implementation
Tenth International Workshop on Rule-Based Programming (RULE09) 2009, Brasilia, Brazil
Eugen Jiresch
A Term Rewriting Laboratory with Systematic and Random Generation and Heuristic Test Facilities
Master thesis, Vienna University of Technology, June 2008
Download: Thesis

Other Interests

Computer Graphics, Realtime Rendering, GPGPU