Search results for "Aleksandar Nanevski"

Found 18 publication records. Showing 18 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Murdoch Gabbay, Aleksandar Nanevski	Denotation of syntax and metaprogramming in contextual modal type theory (CMTT)	CoRR	2012	DBLP BibTeX RDF
1	Aleksandar Nanevski, Anindya Banerjee, Deepak Garg	Verification of Information Flow and Access Control Policies with Dependent Types.	IEEE Symposium on Security and Privacy	2011	DBLP DOI BibTeX RDF	Access Control, Information Flow, Type Theory
1	Kasper Svendsen, Lars Birkedal, Aleksandar Nanevski	Partiality, State and Dependent Types.	TLCA	2011	DBLP DOI BibTeX RDF
1	Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer	How to make ad hoc proof automation less ad hoc.	ICFP	2011	DBLP DOI BibTeX RDF
1	Aleksandar Nanevski, Viktor Vafeiadis, Josh Berdine	Structuring the verification of heap-manipulating programs.	POPL	2010	DBLP DOI BibTeX RDF	type theory, monads, hoare logic, separation logic
1	Aleksandar Nanevski, Paul Govereau, Greg Morrisett	Towards type-theoretic semantics for transactional concurrency.	TLDI	2009	DBLP DOI BibTeX RDF	type theory, monads, hoare logic, separation logic
1	Aleksandar Nanevski, Frank Pfenning, Brigitte Pientka	Contextual modal type theory.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	intuitionistic modal logic, Type theory, logical frameworks
1	Aleksandar Nanevski, J. Gregory Morrisett, Lars Birkedal	Hoare type theory, polymorphism and separation.	J. Funct. Program.	2008	DBLP DOI BibTeX RDF
1	Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal	Ynot: dependent types for imperative programs.	ICFP	2008	DBLP DOI BibTeX RDF	type theory, monads, Hoare logic, separation logic
1	Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett	A Realizability Model for Impredicative Hoare Type Theory.	ESOP	2008	DBLP DOI BibTeX RDF
1	Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal	Abstract Predicates and Mutable ADTs in Hoare Type Theory.	ESOP	2007	DBLP DOI BibTeX RDF
1	Aleksandar Nanevski, Greg Morrisett, Lars Birkedal	Polymorphism and separation in hoare type theory.	ICFP	2006	DBLP DOI BibTeX RDF	type theory, hoare logic, separation logic
1	Aleksandar Nanevski, Frank Pfenning	Staged computation with names and necessity.	J. Funct. Program.	2005	DBLP DOI BibTeX RDF
1	Aleksandar Nanevski, Guy E. Blelloch, Robert Harper	Automatic Generation of Staged Geometric Predicates.	Higher-Order and Symbolic Computation	2003	DBLP DOI BibTeX RDF	robust predicates, floating-point filters, exact arithmetic, computational geometry, program transformation
1	Aleksandar Nanevski, Brigitte Pientka, Frank Pfenning	A modal foundation for meta-variables.	MERLIN	2003	DBLP DOI BibTeX RDF	modal type theory, pattern unification, logical frameworks
1	Aleksandar Nanevski	From dynamic binding to state via modal possibility.	PPDP	2003	DBLP DOI BibTeX RDF	modal lambda-calculus, state, dynamic binding, effect systems
1	Aleksandar Nanevski	Meta-programming with names and necessity.	ICFP	2002	DBLP DOI BibTeX RDF	modal lambda-calculus, higher-order abstract syntax
1	Aleksandar Nanevski, Guy E. Blelloch, Robert Harper	Automatic Generation of Staged Geometric Predicates.	ICFP	2001	DBLP DOI BibTeX RDF

Publications of "Aleksandar Nanevski" ( http://dblp.L3S.de/Authors/Aleksandar_Nanevski )