- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j5 |      | Murdoch James Gabbay, Aleksandar Nanevski: Denotation of contextual modal type theory (CMTT): Syntax and meta-programming. J. Applied Logic 11(1): 1-29 (2013) |
| c14 | | Ruy Ley-Wild, Aleksandar Nanevski: Subjective auxiliary state for coarse-grained concurrency. POPL 2013: 561-574 |
| 2012 | ||
| i1 | | Murdoch Gabbay, Aleksandar Nanevski: Denotation of syntax and metaprogramming in contextual modal type theory (CMTT). CoRR abs/1202.0904 (2012) |
| 2011 | ||
| c13 | | Georges Gonthier, Beta Ziliani, Aleksandar Nanevski, Derek Dreyer: How to make ad hoc proof automation less ad hoc. ICFP 2011: 163-175 |
| c12 | | Aleksandar Nanevski, Anindya Banerjee, Deepak Garg: Verification of Information Flow and Access Control Policies with Dependent Types. IEEE Symposium on Security and Privacy 2011: 165-179 |
| c11 | | Kasper Svendsen, Lars Birkedal, Aleksandar Nanevski: Partiality, State and Dependent Types. TLCA 2011: 198-212 |
| 2010 | ||
| c10 | | Aleksandar Nanevski, Viktor Vafeiadis, Josh Berdine: Structuring the verification of heap-manipulating programs. POPL 2010: 261-274 |
| 2009 | ||
| c9 | | Aleksandar Nanevski, Paul Govereau, Greg Morrisett: Towards type-theoretic semantics for transactional concurrency. TLDI 2009: 79-90 |
| 2008 | ||
| j4 | | Aleksandar Nanevski, J. Gregory Morrisett, Lars Birkedal: Hoare type theory, polymorphism and separation. J. Funct. Program. 18(5-6): 865-911 (2008) |
| j3 | | Aleksandar Nanevski, Frank Pfenning, Brigitte Pientka: Contextual modal type theory. ACM Trans. Comput. Log. 9(3) (2008) |
| c8 | | Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett: A Realizability Model for Impredicative Hoare Type Theory. ESOP 2008: 337-352 |
| c7 | | Aleksandar Nanevski, Greg Morrisett, Avraham Shinnar, Paul Govereau, Lars Birkedal: Ynot: dependent types for imperative programs. ICFP 2008: 229-240 |
| 2007 | ||
| c6 | | Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, Lars Birkedal: Abstract Predicates and Mutable ADTs in Hoare Type Theory. ESOP 2007: 189-204 |
| 2006 | ||
| c5 | | Aleksandar Nanevski, Greg Morrisett, Lars Birkedal: Polymorphism and separation in hoare type theory. ICFP 2006: 62-73 |
| 2005 | ||
| j2 | | Aleksandar Nanevski, Frank Pfenning: Staged computation with names and necessity. J. Funct. Program. 15(5): 893-939 (2005) |
| 2003 | ||
| j1 | | Aleksandar Nanevski, Guy E. Blelloch, Robert Harper: Automatic Generation of Staged Geometric Predicates. Higher-Order and Symbolic Computation 16(4): 379-400 (2003) |
| c4 | | Aleksandar Nanevski, Brigitte Pientka, Frank Pfenning: A modal foundation for meta-variables. MERLIN 2003 |
| c3 | | |
| 2002 | ||
| c2 | | |
| 2001 | ||
| c1 | | Aleksandar Nanevski, Guy E. Blelloch, Robert Harper: Automatic Generation of Staged Geometric Predicates. ICFP 2001: 217-228 |
Data released under the ODC-BY 1.0 license — See also our legal information page