Varmo Vene

Publication Activity (10 Years)

Years Active: 1998-2018
Publications (10 Years): 3

Top Topics

Automatic Assessment

Programming Exercises

Top Venues

J. Log. Algebraic Methods Program.

Softw. Pract. Exp.

Publications

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