Varmo Vene

32 papers A* 1A 1B 6Journal 11Unranked 11
YearRankTypeTitle / Venue / Authors
2018 J jnl
Demand-driven interprocedural analysis for map-based abstract domains.
J. Log. Algebraic Methods Program.
Kalmer Apinis, Varmo Vene, Vesal Vojdani
2017 — conf
Comparing different styles of automated feedback for programming exercises.
Koli Calling
Aivar Annamaa, Reelika Suviste, Varmo Vene
2016 A* conf
Static race detection for device drivers: the Goblint approach.
ASE
Vesal Vojdani, Kalmer Apinis, Vootele Rõtov, Helmut Seidl, Varmo Vene, Ralf Vogler
2014 J jnl
A thousand years of productivity: the JRebel story.
Softw. Pract. Exp.
Jevgeni Kabanov, Varmo Vene
2010 B conf
An Interactive Tool for Analyzing Embedded SQL Queries.
APLAS
Aivar Annamaa, Andrey Breslav, Jevgeni Kabanov, Varmo Vene
2009 B conf
A Smooth Combination of Linear and Herbrand Equalities for Polynomial Time Must-Alias Analysis.
FM
Helmut Seidl, Vesal Vojdani, Varmo Vene
2009 — conf
Corecursive Algebras: A Study of General Structured Corecursion.
SBMF
Venanzio Capretta, Tarmo Uustalu, Varmo Vene
2009 — conf
Python prevails.
CompSysTech
Vambola Leping, Marina Lepp, Margus Niitsoo, Eno Tõnisson, Varmo Vene, Anne Villems
2008 — conf
Comonadic Notions of Computation.
CMCS
Tarmo Uustalu, Varmo Vene
2008 — conf
The Recursion Scheme from the Cofree Recursive Comonad.
MSFP@ICALP
Tarmo Uustalu, Varmo Vene
2006 — ed.
Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings
AMAST
Michael Johnson, Varmo Vene
2006 B conf
Recursion Schemes for Dynamic Programming.
MPC
Jevgeni Kabanov, Varmo Vene
2006 J jnl
Recursive coalgebras from comonads.
Inf. Comput.
Venanzio Capretta, Tarmo Uustalu, Varmo Vene
2006 J jnl
Type systems equivalent to data-flow analyses for imperative languages.
Theor. Comput. Sci.
Peeter Laud, Tarmo Uustalu, Varmo Vene
2005 B conf
A Type System for Computationally Secure Information Flow.
FCT
Peeter Laud, Varmo Vene
2005 — ed.
Advanced Functional Programming, 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures
Advanced Functional Programming
Varmo Vene, Tarmo Uustalu
2005 — conf
Comonadic functional attribute evaluation.
Trends in Functional Programming
Tarmo Uustalu, Varmo Vene
2005 A conf
Monadic augment and generalised short cut fusion.
ICFP
Neil Ghani, Patricia Johann, Tarmo Uustalu, Varmo Vene
2005 J jnl
Signals and Comonads.
J. Univers. Comput. Sci.
Tarmo Uustalu, Varmo Vene
2005 B conf
The Essence of Dataflow Programming.
APLAS
Tarmo Uustalu, Varmo Vene
2005 — conf
The Essence of Dataflow Programming.
CEFP
Tarmo Uustalu, Varmo Vene
2004 B conf
Build, Augment and Destroy, Universally.
APLAS
Neil Ghani, Tarmo Uustalu, Varmo Vene
2004 — conf
Generalizing the AUGMENT combinator.
Trends in Functional Programming
Neil Ghani, Tarmo Uustalu, Varmo Vene
2004 — conf
Recursive Coalgebras from Comonads.
CMCS
Venanzio Capretta, Tarmo Uustalu, Varmo Vene
2003 — conf
An Alternative Characterization of Complete Iterativeness (Extended Abstract).
FICS
Tarmo Uustalu, Varmo Vene
2002 J jnl
Interprocedural Invariants
Universität Trier, Mathematik/Informatik, Forschungsbericht
Helmut Seidl, Varmo Vene, Markus Müller-Olm
2002 J jnl
Least and greatest fixed points in intuitionistic natural deduction.
Theor. Comput. Sci.
Tarmo Uustalu, Varmo Vene
2001 J jnl
Recursion Schemes from Comonads.
Nord. J. Comput.
Tarmo Uustalu, Varmo Vene, Alberto Pardo
2001 — conf
The Dual of Substitution is Redecoration.
Scottish Functional Programming Workshop
Tarmo Uustalu, Varmo Vene
1999 J jnl
Mendler-Style Inductive Types, Categorically.
Nord. J. Comput.
Tarmo Uustalu, Varmo Vene
1999 J jnl
Primitive (Co)Recursion and Course-of-Value (Co)Iteration, Categorically.
Informatica
Tarmo Uustalu, Varmo Vene
1998 J jnl
Models of Attributed Automata.
Informatica
Merik Meriste, Jaan Penjam, Varmo Vene