The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Jason Hickey: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Cristian Tapus, Aleksey Nogin, Jason Hickey, Jerome White
    A Mechanism for Sequential Consistency in a Distributed Objects System. [Citation Graph (0, 0)][DBLP]
    ISCA PDCS, 2004, pp:284-289 [Conf]
  2. Jason Hickey
    Fault-Tolerant Distributed Theorem Proving. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:227-231 [Conf]
  3. Christoph Kreitz, Mark Hayden, Jason Hickey
    A Proof Environment for the Development of Group Communication Systems. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:317-332 [Conf]
  4. Cristian Tapus, Jason Hickey
    Distributed synchronization with shared semaphore sets. [Citation Graph (0, 0)][DBLP]
    CCGRID, 2005, pp:921-928 [Conf]
  5. Jason Hickey, Aleksey Nogin
    : Designing a Scalable Build Process. [Citation Graph (0, 0)][DBLP]
    FASE, 2006, pp:63-78 [Conf]
  6. Adam Granicz, Jason Hickey
    Phobos: A Front-End Approach to Extensible Compilers. [Citation Graph (0, 0)][DBLP]
    HICSS, 2003, pp:324- [Conf]
  7. Jason Hickey, Aleksey Nogin, Adam Granicz
    Compiler implementation in a formal logical framework. [Citation Graph (0, 0)][DBLP]
    MERLIN, 2003, pp:- [Conf]
  8. Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov
    Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. [Citation Graph (0, 0)][DBLP]
    ICFP, 2006, pp:172-183 [Conf]
  9. Cristian Tapus, David A. Noblet, Vlad Grama, Jason Hickey
    MojaveFS: Providing Sequential Consistency in a Distributed Objects System. [Citation Graph (0, 0)][DBLP]
    ISPDC, 2006, pp:66-73 [Conf]
  10. Mark Bickford, Jason Hickey
    Predicate Transformers for Infinite-State Automata in NuPRL Type Theory. [Citation Graph (0, 0)][DBLP]
    IWFM, 1999, pp:- [Conf]
  11. Cristian Tapus, Jason Hickey
    Speculations: providing fault-tolerance and improving performance of parallel applications. [Citation Graph (0, 0)][DBLP]
    PPOPP, 2007, pp:152-153 [Conf]
  12. Adam Granicz, Daniel M. Zimmerman, Jason Hickey
    Rewriting UNITY. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:138-147 [Conf]
  13. Xiaoming Liu 0003, Christoph Kreitz, Robbert van Renesse, Jason Hickey, Mark Hayden, Kenneth P. Birman, Robert L. Constable
    Building reliable, high-performance communication systems from components. [Citation Graph (0, 0)][DBLP]
    SOSP, 1999, pp:80-92 [Conf]
  14. Jason Hickey, Nancy A. Lynch, Robbert van Renesse
    Specifications and Proofs for Ensemble Layers. [Citation Graph (0, 0)][DBLP]
    TACAS, 1999, pp:119-133 [Conf]
  15. John W. O'Leary, Miriam Leeser, Jason Hickey, Mark Aagaard
    Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization. [Citation Graph (0, 0)][DBLP]
    TPCD, 1994, pp:52-71 [Conf]
  16. Jason Hickey, Aleksey Nogin
    Fast Tactic-Based Theorem Proving. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2000, pp:252-267 [Conf]
  17. Jason Hickey, Aleksey Nogin
    Extensible Hierarchical Tactic Construction in a Logical Framework. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2004, pp:136-151 [Conf]
  18. Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu
    MetaPRL - A Modular Logical Environment. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2003, pp:287-303 [Conf]
  19. Aleksey Nogin, Jason Hickey
    Sequent Schema for Derived Rules. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 2002, pp:281-297 [Conf]
  20. Cristian Tapus, David A. Noblet, Jason Hickey
    MojaveComm: A Robust Group Communication Library for Grid Environments. [Citation Graph (0, 0)][DBLP]
    ICNS, 2006, pp:77- [Conf]
  21. Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov
    Practical Reflection for Sequent Logics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:79-94 [Journal]
  22. Jason Hickey, Aleksey Nogin
    Formal compiler construction in a logical framework. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2006, v:19, n:2-3, pp:197-230 [Journal]
  23. Cristian Tapus, Jason Hickey
    A Theory of Nested Speculative Execution. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2007, pp:151-170 [Conf]
  24. Justin D. Smith, Cristian Tapus, Jason Hickey
    The Mojave Compiler: Providing Language Primitives for Whole-Process Migration and Speculation for Distributed Applications. [Citation Graph (0, 0)][DBLP]
    IPDPS, 2007, pp:1-8 [Conf]

  25. A computational approach to reflective meta-reasoning about languages with bindings. [Citation Graph (, )][DBLP]


  26. Distributed speculative execution for reliability and fault tolerance: an operational semantics. [Citation Graph (, )][DBLP]


Search in 0.024secs, Finished in 0.025secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002