|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 11 keywords
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Cristian Tapus, Jason Hickey |
Distributed speculative execution for reliability and fault tolerance: an operational semantics.  |
Distributed Computing  |
2009 |
DBLP DOI BibTeX RDF |
Fault tolerance, Distributed systems, Transactions, Operational semantics, Speculations |
| 1 | Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov |
Practical Reflection for Sequent Logics. |
Electr. Notes Theor. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Justin D. Smith, Cristian Tapus, Jason Hickey |
The Mojave Compiler: Providing Language Primitives for Whole-Process Migration and Speculation for Distributed Applications. |
IPDPS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Tapus, Jason Hickey |
A Theory of Nested Speculative Execution. |
COORDINATION |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Tapus, Jason Hickey |
Speculations: providing fault-tolerance and improving performance of parallel applications. |
PPOPP |
2007 |
DBLP DOI BibTeX RDF |
optimistic execution, speculations |
| 1 | Jason Hickey, Aleksey Nogin |
Formal compiler construction in a logical framework. |
Higher-Order and Symbolic Computation |
2006 |
DBLP DOI BibTeX RDF |
Formal compiler, Higher-order abstract syntax, Logical programming environment |
| 1 | Jason Hickey, Aleksey Nogin |
: Designing a Scalable Build Process. |
FASE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Hickey, Aleksey Nogin, Xin Yu, Alexei Kopylov |
Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
languages with bindings, mechanized reasoning, meta-theory, metaPRL, nuPRL, reflection, type theory, higher-order abstract syntax |
| 1 | Cristian Tapus, David A. Noblet, Vlad Grama, Jason Hickey |
MojaveFS: Providing Sequential Consistency in a Distributed Objects System. |
ISPDC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Tapus, David A. Noblet, Jason Hickey |
MojaveComm: A Robust Group Communication Library for Grid Environments. |
ICNS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristian Tapus, Jason Hickey |
Distributed synchronization with shared semaphore sets. |
CCGRID |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksey Nogin, Alexei Kopylov, Xin Yu, Jason Hickey |
A computational approach to reflective meta-reasoning about languages with bindings. |
MERLIN |
2005 |
DBLP DOI BibTeX RDF |
MetaPRL, Nuprl, languages with bindings, programming language, reflection, experimentation, type theory, higher-order abstract syntax |
| 1 | Cristian Tapus, Aleksey Nogin, Jason Hickey, Jerome White |
A Mechanism for Sequential Consistency in a Distributed Objects System. |
ISCA PDCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Jason Hickey, Aleksey Nogin |
Extensible Hierarchical Tactic Construction in a Logical Framework. |
TPHOLs |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Granicz, Jason Hickey |
Phobos: A Front-End Approach to Extensible Compilers. (PDF / PS) |
HICSS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Granicz, Daniel M. Zimmerman, Jason Hickey |
Rewriting UNITY. |
RTA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Hickey, Aleksey Nogin, Adam Granicz |
Compiler implementation in a formal logical framework. |
MERLIN |
2003 |
DBLP DOI BibTeX RDF |
formal compiler, higher-order abstract syntax, logical programming environment |
| 1 | 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. |
TPHOLs |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksey Nogin, Jason Hickey |
Sequent Schema for Derived Rules. |
TPHOLs |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Hickey, Aleksey Nogin |
Fast Tactic-Based Theorem Proving. |
TPHOLs |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Hickey |
Fault-Tolerant Distributed Theorem Proving. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Hickey, Nancy A. Lynch, Robbert van Renesse |
Specifications and Proofs for Ensemble Layers. |
TACAS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
SOSP |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Bickford, Jason Hickey |
Predicate Transformers for Infinite-State Automata in NuPRL Type Theory. |
IWFM |
1999 |
DBLP BibTeX RDF |
|
| 1 | Christoph Kreitz, Mark Hayden, Jason Hickey |
A Proof Environment for the Development of Group Communication Systems. |
CADE |
1998 |
DBLP BibTeX RDF |
|
| 1 | John W. O'Leary, Miriam Leeser, Jason Hickey, Mark Aagaard |
Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization. |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")