Varmo Vene

According to our database, Varmo Vene authored at least 28 papers between 1998 and 2018.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2018

Demand-driven interprocedural analysis for map-based abstract domains.

Kalmer Apinis, Varmo Vene, Vesal Vojdani

J. Log. Algebraic Methods Program., 2018

2017

Comparing different styles of automated feedback for programming exercises.

Aivar Annamaa, Reelika Suviste, Varmo Vene

Proceedings of the 17th Koli Calling Conference on Computing Education Research, 2017

2016

Static race detection for device drivers: the Goblint approach.

Vesal Vojdani, Kalmer Apinis, Vootele Rõtov, Helmut Seidl, Varmo Vene, Ralf Vogler

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

2014

A thousand years of productivity: the JRebel story.

Jevgeni Kabanov, Varmo Vene

Softw. Pract. Exp., 2014

2010

An Interactive Tool for Analyzing Embedded SQL Queries.

Aivar Annamaa, Andrey Breslav, Jevgeni Kabanov, Varmo Vene

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2009

Corecursive Algebras: A Study of General Structured Corecursion.

Venanzio Capretta, Tarmo Uustalu, Varmo Vene

Proceedings of the Formal Methods: Foundations and Applications, 2009

A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis.

Helmut Seidl, Vesal Vojdani, Varmo Vene

Proceedings of the FM 2009: Formal Methods, 2009

Python prevails.

Vambola Leping, Marina Lepp, Margus Niitsoo, Eno Tõnisson, Varmo Vene, Anne Villems

Proceedings of the 2009 International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, 2009

2008

The Recursion Scheme from the Cofree Recursive Comonad.

Tarmo Uustalu, Varmo Vene

Proceedings of the Second Workshop on Mathematically Structured Functional Programming, 2008

Comonadic Notions of Computation.

Tarmo Uustalu, Varmo Vene

Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008

2006

Type systems equivalent to data-flow analyses for imperative languages.

Peeter Laud, Tarmo Uustalu, Varmo Vene

Theor. Comput. Sci., 2006

Recursion Schemes for Dynamic Programming.

Jevgeni Kabanov, Varmo Vene

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

2005

Signals and Comonads.

Tarmo Uustalu, Varmo Vene

J. Univers. Comput. Sci., 2005

Comonadic functional attribute evaluation.

Tarmo Uustalu, Varmo Vene

Proceedings of the Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, 2005

Monadic augment and generalised short cut fusion.

Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005

A Type System for Computationally Secure Information Flow.

Peeter Laud, Varmo Vene

Proceedings of the Fundamentals of Computation Theory, 15th International Symposium, 2005

The Essence of Dataflow Programming.

Tarmo Uustalu, Varmo Vene

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004

Recursive Coalgebras from Comonads.

Venanzio Capretta, Tarmo Uustalu, Varmo Vene

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

Generalizing the AUGMENT combinator.

Neil Ghani, Tarmo Uustalu, Varmo Vene

Proceedings of the Revised Selected Papers from the Fifth Symposium on Trends in Functional Programming, 2004

Build, Augment and Destroy, Universally.

Neil Ghani, Tarmo Uustalu, Varmo Vene

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2003

An Alternative Characterization of Complete Iterativeness (Extended Abstract).

Tarmo Uustalu, Varmo Vene

Proceedings of the FICS '03, 2003

2002

Interprocedural Invariants

Helmut Seidl, Varmo Vene, Markus Müller-Olm

Universität Trier, Mathematik/Informatik, Forschungsbericht, 2002

Least and greatest fixed points in intuitionistic natural deduction.

Tarmo Uustalu, Varmo Vene

Theor. Comput. Sci., 2002

2001

Recursion Schemes from Comonads.

Tarmo Uustalu, Varmo Vene, Alberto Pardo

Nord. J. Comput., 2001

The Dual of Substitution is Redecoration.

Tarmo Uustalu, Varmo Vene

Proceedings of the Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), 2001

1999

Mendler-Style Inductive Types, Categorically.

Tarmo Uustalu, Varmo Vene

Nord. J. Comput., 1999

Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically.

Tarmo Uustalu, Varmo Vene

Informatica, 1999

1998

Models of Attributed Automata.

Merik Meriste, Jaan Penjam, Varmo Vene

Informatica, 1998