CaltechAUTHORS
  A Caltech Library Service

Items where Person is "Hickey-J"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type | First Author | No Grouping
Jump to: 2010 | 2009 | 2007 | 2006 | 2005 | 2003 | 2002 | 2001
Number of items: 21.

2010

Mawet, D. and Serabyn, E. and Liewer, K. et al. (2010) The Vector Vortex Coronagraph: Laboratory Results and First Light at Palomar Observatory. Astrophysical Journal, 709 (1). pp. 53-57. ISSN 0004-637X. https://resolver.caltech.edu/CaltechAUTHORS:20150526-100838490

2009

Serabyn, E. and Mawet, D. and Bloemhof, E. et al. (2009) Imaging faint brown dwarf companions close to bright stars with a small, well-corrected telescope aperture. Astrophysical Journal, 696 (1). pp. 40-46. ISSN 0004-637X. https://resolver.caltech.edu/CaltechAUTHORS:20090602-153032700

Ţăpuş, Cristian and Hickey, Jason (2009) Distributed speculative execution for reliability and fault tolerance: an operational semantics. Distributed Computing, 21 (6). pp. 433-455. ISSN 0178-2770. https://resolver.caltech.edu/CaltechAUTHORS:20090928-140300739

2007

Smith, Justin D. and Ţăpuş, Cristian and Hickey, Jason (2007) The Mojave Compiler: Providing Language Primitives for Whole-Process Migration and Speculation for Distributed Applications. In: 2007 IEEE International Parallel and Distributed Processing Symposium. IEEE , Piscataway, NJ, pp. 1-8. ISBN 1-4244-0909-8. https://resolver.caltech.edu/CaltechAUTHORS:20170420-130937104

Ţăpuş, Cristian and Hickey, Jason (2007) Speculations: Providing Fault-tolerance and Improving Performance of Parallel Applications. In: Proceedings of the 2007 ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery , New York, NY, pp. 152-153. ISBN 978-1-59593-602-8. https://resolver.caltech.edu/CaltechAUTHORS:20101008-113141423

2006

Hickey, Jason and Nogin, Aleksey and Yu, Xin et al. (2006) Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. ACM SIGPLAN Notices, 41 (9). pp. 172-183. ISSN 0362-1340. https://resolver.caltech.edu/CaltechAUTHORS:20161103-125705148

Hickey, Jason and Nogin, Aleksey and Yu, Xin et al. (2006) Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection. In: ICFP '06 Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming. ACM , New York, NY, pp. 172-183. ISBN 1-59593-309-3. https://resolver.caltech.edu/CaltechAUTHORS:20161103-125653823

Ţăpuş, Cristian and Noblet, David and Hickey, Jason (2006) MojaveComm: A Robust Group Communication Library for Grid Environments. In: International conference on Networking and Services (ICNS'06). IEEE , Piscataway, NJ, pp. 77-82. ISBN 0-7695-2622-5. https://resolver.caltech.edu/CaltechAUTHORS:20170427-162106455

Velur, V. and Flicker, R. C. and Platt, B. C. et al. (2006) Multiple guide star tomography demonstration at Palomar observatory. In: Advances in Adaptive Optics II. Proceedings of SPIE. No.6272. Society of Photo-Optical Instrumentation Engineers (SPIE) , Bellingham, WA, Art. No. 62725C. ISBN 9780819463371. https://resolver.caltech.edu/CaltechAUTHORS:20190717-103432645

Ţăpuş, Cristian and Noblet, David and Grama, Vlad et al. (2006) MojaveFS: Providing Sequential Consistency in a Distributed Objects System. In: ISPDC 2006 : the Fifth International Symposium on Parallel and Distributed Computing. IEEE , Los Alamitos, CA, pp. 66-73. ISBN 0-7695-2638-1. https://resolver.caltech.edu/CaltechAUTHORS:20110727-094117757

Hickey, Jason and Nogin, Aleksey (2006) OMake: Designing a Scalable Build Process. Computer Science Technical Reports, 2006.002. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9TH8JPF. (Submitted) https://resolver.caltech.edu/CaltechCSTR:2006.001

2005

Nogin, Aleksey and Kopylov, Alexei and Yu, Xin et al. (2005) A computational approach to reflective meta-reasoning about languages with bindings. In: MERLIN '05 Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding. ACM , New York, NY, pp. 2-12. ISBN 1-59593-072-8. https://resolver.caltech.edu/CaltechAUTHORS:20161206-173331536

Nogin, Aleksey and Kopylov, Alexei and Xin, Yu et al. (2005) A Computational Approach to Reflective Meta-Reasoning about Languages with Bindings. Computer Science Technical Reports, 2005.004. California Institute of Technology , Pasadena, CA. doi:10.7907/Z9K0728J. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2005.003

2003

Hickey, Jason and Nogin, Aleksey and Granicz, Adam (2003) Compiler implementation in a formal logical framework. In: MERLIN '03 Proceedings of the 2003 ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding. ACM , New York, NY. ISBN 1-58113-800-8. https://resolver.caltech.edu/CaltechAUTHORS:20161102-171842275

Granicz, Adam and Zimmerman, Daniel M. and Hickey, Jason (2003) Rewriting UNITY. In: Rewriting Techniques and Applications. Lecture Notes in Computer Science. No.2706. Springer , Berlin, Heidelberg, pp. 138-147. ISBN 9783540402541. https://resolver.caltech.edu/CaltechAUTHORS:20190823-105107663

Ţăpuş, Cristian and Smith, Justin D. and Hickey, Jason (2003) Kernel level speculative DSM. In: CCGrid 2003. 3rd IEEE/ACM International Symposium on Cluster Computing and the Grid, 2003. Proceedings. IEEE , Piscataway, NJ, pp. 487-494. ISBN 0-7695-1919-9. https://resolver.caltech.edu/CaltechAUTHORS:20170518-124853920

Hickey, Jason and Nogin, Aleksey and Granicz, Adam et al. (2003) Formal Compiler Implementation in a Logical Framework. California Institute of Technology , Pasadena, CA. doi:10.7907/Z98K7720. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.002

Yu, Xin and Hickey, Jason (2003) Formalizing Abstract Algebra in Constructive Set Theory. 2003.004. California Institute of Technology , Pasadena, CA. doi:10.7907/Z94T6GB8. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2003.004

2002

Granicz, Adam and Hickey, Jason (2002) Phobos: A front-end approach to extensible compilers (long version). California Institute of Technology , Pasadena, CA. doi:10.7907/Z9707ZFF. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.006

Hickey, Jason and Smith, Justin D. and Aydemir, Brian et al. (2002) Process Migration and Transactions Using a Novel Intermediate Language. California Institute of Technology , Pasadena, CA. doi:10.7907/Z93776Q3. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:2002.007

2001

Goode, P. R. and Qiu, J. and Yurchyshyn, V. et al. (2001) Earthshine observations of the Earth's reflectance. Geophysical Research Letters, 28 (9). pp. 1671-1674. ISSN 0094-8276. https://resolver.caltech.edu/CaltechAUTHORS:20141027-101109172

This list was generated on Tue Jun 2 22:46:46 2020 PDT.