Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
119 | Stefan Monnier |
The swiss coercion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLPV ![In: Proceedings of the ACM Workshop Programming Languages meets Program Verification, PLPV 2007, Freiburg, Germany, October 5, 2007, pp. 33-40, 2007, ACM, 978-1-59593-677-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
type based security, formal methods, compilation, coercions |
46 | Julien Narboux, Christian Urban |
Formalising in Nominal Isabelle Crary's Completeness Proof for Equivalence Checking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@CADE ![In: Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP@CADE 2007, Bremen, Germany, July 15, 2007, pp. 3-18, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Christian McCrea |
Then, suddenly, I was moved: nostalgia and the media history of games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IE ![In: Proceedings of the 4th Australasian Conference on Interactive Entertainment, IE 2007, 3-5 December 2007, Melbourne, Australia, pp. 14, 2007, ACM, 978-1-921166-87-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
Crary, Kittler, Rosen, arcades, materiality, transmedia, past, pastness |
30 | Greg Stitt, Wesley Piard, Christopher Crary |
Low-Latency, Line-Rate Variable-Length Field Parsing for 100+ Gb/s Ethernet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FPGA ![In: Proceedings of the 2024 ACM/SIGDA International Symposium on Field Programmable Gate Arrays, FPGA 2024, Monterey, CA, USA, March 3-5, 2024, pp. 12-21, 2024, ACM. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
30 | Christopher Crary, Wesley Piard, Greg Stitt, Caleb Bean, Benjamin M. Hicks |
Using FPGA Devices to Accelerate Tree-Based Genetic Programming: A Preliminary Exploration with Recent Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroGP ![In: Genetic Programming - 26th European Conference, EuroGP 2023, Held as Part of EvoStar 2023, Brno, Czech Republic, April 12-14, 2023, Proceedings, pp. 182-197, 2023, Springer, 978-3-031-29572-0. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Timur Zirtiloglu, Peter Crary, Eyyup Tasci, Arslan Riaz, Yonina C. Eldar, Nir Shlezinger, Rabia Tugce Yazicigil |
Task-Specific Low-Power Beamforming MIMO Receiver Using 2-Bit Analog-to-Digital Converters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
A-SSCC ![In: IEEE Asian Solid-State Circuits Conference, A-SSCC 2023, Haikou, China, November 5-8, 2023, pp. 1-3, 2023, IEEE, 979-8-3503-3003-8. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Kristofer D. Kusano, Kurt Beatty, Scott Schnelle, Francesca Favaro, Cam Crary, Trent Victor |
Collision Avoidance Testing of the Waymo Automated Driving System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.08148, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Christopher Crary, Wesley Piard, Britton Chesley, Greg Stitt |
Work-in-Progress: Toward a Robust, Reconfigurable Hardware Accelerator for Tree-Based Genetic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2022, Shanghai, China, October 7-14, 2022, pp. 17-18, 2022, IEEE, 978-1-6654-7296-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
Verifying the Hashgraph Consensus Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.01167, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
30 | Karl Crary |
A focused solution to the avoidance problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 30, pp. e24, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
Fully abstract module compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 3(POPL), pp. 10:1-10:29, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Michael J. Sullivan, Karl Crary, Salil Joshi 0004 |
Compiling a Calculus for Relaxed Memory: Practical constraint-based low-level concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.05389, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
30 | Rose Bohrer, Karl Crary |
TWAM: A Certifying Abstract Machine for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1801.00471, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
30 | Karl Crary |
Hygienic Source-Code Generation Using Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1801.01579, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
30 | Karl Crary |
Hygienic Source-Code Generation Using Functors - (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages - 20th International Symposium, PADL 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings, pp. 53-60, 2018, Springer, 978-3-319-73304-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Rose Bohrer, Karl Crary |
TWAM: A Certifying Abstract Machine for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSTTE ![In: Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, pp. 112-134, 2018, Springer, 978-3-030-03591-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
Strong Sums in Focused Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 265-274, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Shivashankar Halan, Isaac Sia, Anna Miles, Michael Crary, Benjamin Lok |
Engineering Social Agent Creation into an Opportunity for Interviewing and Interpersonal Skills Training: Socially Interactive Agents Track. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAMAS ![In: Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2018, Stockholm, Sweden, July 10-15, 2018, pp. 1675-1683, 2018, International Foundation for Autonomous Agents and Multiagent Systems Richland, SC, USA / ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
30 | Karl Crary |
Modules, abstraction, and parametric polymorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017, pp. 100-113, 2017, ACM, 978-1-4503-4660-3. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Nathaniel Crary, Bin Tang, Setu Taase |
Data Preservation in Data-Intensive Sensor Networks With Spatial Correlation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Mobidata@MobiHoc ![In: Proceedings of the 2015 Workshop on Mobile Big Data, Mobidata@MobiHoc 2015, Hangzhou, China, June 21, 2015, pp. 7-12, 2015, ACM, 978-1-4503-3524-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, Michael J. Sullivan |
A Calculus for Relaxed Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2015, Mumbai, India, January 15-17, 2015, pp. 623-636, 2015, ACM, 978-1-4503-3300-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Shivashankar Halan, Isaac Sia, Michael Crary, Benjamin Lok |
Exploring the Effects of Healthcare Students Creating Virtual Patients for Empathy Training. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVA ![In: Intelligent Virtual Agents - 15th International Conference, IVA 2015, Delft, The Netherlands, August 26-28, 2015, Proceedings, pp. 239-249, 2015, Springer, 978-3-319-21995-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Stephanie Carnell, Shivashankar Halan, Michael Crary, Aarthi Madhavan, Benjamin Lok |
Adapting Virtual Patient Interviews for Interviewing Skills Training of Novice Healthcare Students. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IVA ![In: Intelligent Virtual Agents - 15th International Conference, IVA 2015, Delft, The Netherlands, August 26-28, 2015, Proceedings, pp. 50-59, 2015, Springer, 978-3-319-21995-0. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, Michael J. Sullivan |
Peer-to-peer affine commitment using bitcoin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015, pp. 479-488, 2015, ACM, 978-1-4503-3468-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Shivashankar Halan, Benjamin Lok, Isaac Sia, Michael Crary |
Virtual Agent Constructionism: Experiences from Health Professions Students Creating Virtual Conversational Agent Representations of Patients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALT ![In: IEEE 14th International Conference on Advanced Learning Technologies, ICALT 2014, Athens, Greece, July 7-10, 2014, pp. 249-253, 2014, IEEE Computer Society, 978-1-4799-4038-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Karen Elizabeth Cheng, David J. Crary, Jaideep Ray, Cosmin Safta |
Structural models used in real-time biosurveillance outbreak detection and outbreak curve isolation from noisy background morbidity levels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Am. Medical Informatics Assoc. ![In: J. Am. Medical Informatics Assoc. 20(3), pp. 435-440, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Shivashankar Halan, Brent Rossen, Michael Crary, Benjamin Lok |
Constructionism of virtual humans to improve perceptions of conversational partners. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: CHI Conference on Human Factors in Computing Systems, CHI '12, Extended Abstracts Volume, Austin, TX, USA, May 5-10, 2012, pp. 2387-2392, 2012, ACM, 978-1-4503-1016-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, Marino Miculan (eds.) |
Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice, LFMTP 2010, Edinburgh, UK, 14th July 2010. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
Higher-order representation of substructural logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceeding of the 15th ACM SIGPLAN international conference on Functional programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010, pp. 131-142, 2010, ACM, 978-1-60558-794-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
A syntactic account of singleton types via hereditary substitution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP ![In: Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, LFMTP '09, McGill University, Montreal, Canada, August 2, 2009, pp. 21-29, 2009, ACM, 978-1-60558-529-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
Explicit Contexts in LF (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFMTP@LICS ![In: Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, LFMTP@LICS 2008, Pittsburgh, PA, USA, June 23, 2008, pp. 53-68, 2008, Elsevier. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, Susmit Sarkar |
Foundational certified code in the Twelf metalogical framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 9(3), pp. 16:1-16:26, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Foundational certified code, metalogic, logic programming |
30 | Karl Crary, Robert Harper 0001 |
Syntactic Logical Relations for Polymorphic and Recursive Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computation, Meaning, and Logic ![In: Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, pp. 259-299, 2007, Elsevier. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
Sound and complete elimination of singleton kinds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 8(2), pp. 8, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
singleton kinds, Type systems |
30 | Tom Murphy VII, Karl Crary, Robert Harper 0001 |
Type-Safe Distributed Programming with ML5. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TGC ![In: Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers, pp. 108-123, 2007, Springer, 978-3-540-78662-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Daniel K. Lee, Karl Crary, Robert Harper 0001 |
Towards a mechanized metatheory of standard ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 34th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2007, Nice, France, January 17-19, 2007, pp. 173-184, 2007, ACM, 1-59593-575-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
language definitions, mechanized metatheory, twelf, standard ML, logical frameworks, type safety |
30 | Karl Crary, Robert Harper 0001 |
Logic Column 16: Higher-Order Abstract Syntax: Setting the Record Straight ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0607141, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP BibTeX RDF |
|
30 | Karl Crary, Robert Harper 0001 |
Higher-order abstract syntax: setting the record straight. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 37(3), pp. 93-96, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | David Swasey, Tom Murphy VII, Karl Crary, Robert Harper 0001 |
A separate compilation extension to standard ML. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ML ![In: Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, pp. 32-42, 2006, ACM, 1-59593-483-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
types, standard ml, separate compilation, incremental compilation |
30 | Sue Newell, Susan Adams, Marcy Crary, Priscilla Glidden, Vicki LaFarge, Aaron Nurick |
An Autoethnographic Account of Knowledge Creation: Seeing and Feeling Knowledge Creation in Project Teams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 39th Hawaii International International Conference on Systems Science (HICSS-39 2006), CD-ROM / Abstracts Proceedings, 4-7 January 2006, Kauai, HI, USA, 2006, IEEE Computer Society, 0-7695-2507-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, Aleksey Kliger, Frank Pfenning |
A monadic analysis of information flow security with mutable state. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 15(2), pp. 249-291, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Susmit Sarkar, Brigitte Pientka, Karl Crary |
Small Proof Witnesses for LF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings, pp. 387-401, 2005, Springer, 3-540-29208-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Joseph Vanderwaart, Karl Crary |
Automated and certified conformance to responsiveness policies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005, pp. 79-90, 2005, ACM, 1-58113-999-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
grid computing, typed assembly language, certified code |
30 | Sue Newell, Susan Adams, Marcy Crary, Priscilla Glidden, Vicki LaFarge, Aaron Nurick |
Exploring the Variation in Student Project Team Knowledge Integration Competency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 38th Hawaii International Conference on System Sciences (HICSS-38 2005), CD-ROM / Abstracts Proceedings, 3-6 January 2005, Big Island, HI, USA, 2005, IEEE Computer Society, 0-7695-2268-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Tom Murphy VII, Karl Crary, Robert Harper 0001 |
Distributed Control Flow with Classical Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, pp. 51-69, 2005, Springer, 3-540-28231-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Tom Murphy VII, Karl Crary, Robert Harper 0001, Frank Pfenning |
A Symmetric Modal Lambda Calculus for Distributed Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings, pp. 286-295, 2004, IEEE Computer Society, 0-7695-2192-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
30 | Christopher Colby, Karl Crary, Robert Harper 0001, Peter Lee 0001, Frank Pfenning |
Automated techniques for provably safe mobile code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 290(2), pp. 1175-1199, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker 0001 |
Stack-based typed assembly language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 13(5), pp. 957-959, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Leaf Petersen, Robert Harper 0001, Karl Crary, Frank Pfenning |
A type theory for memory allocation and data layout. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, pp. 172-184, 2003, ACM, 1-58113-628-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
ordered logic, memory management, type theory, data representation |
30 | Derek Dreyer, Karl Crary, Robert Harper 0001 |
A type system for higher-order modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, pp. 236-249, 2003, ACM, 1-58113-628-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
modularity, generativity, abstract data types, type theory, computational effects, singleton types, functors |
30 | Karl Crary |
Toward a foundational typed assembly language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, pp. 198-212, 2003, ACM, 1-58113-628-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
proof-carrying code, typed assembly language |
30 | Karl Crary, Susmit Sarkar |
Foundational Certified Code in a Metalogical Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-19, 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings, pp. 106-120, 2003, Springer, 3-540-40559-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper 0001, Perry Cheng |
Typed compilation of recursive datatypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003, pp. 98-108, 2003, ACM, 1-58113-649-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
typed compilation, standard ML, recursive types, coercions |
30 | Joseph Vanderwaart, Karl Crary |
A typed interface for garbage collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003, pp. 109-122, 2003, ACM, 1-58113-649-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
typed compilation, garbage collection, type systems, certified code |
30 | Joseph Vanderwaart, Karl Crary |
A Simplified Account of the Metatheory of Linear LF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFM ![In: International Workshop on Logical Frameworks and Meta-Languages, LFM 2002, FLoC Satellite Event, Copenhagen, Denmark, July 26, 2002, pp. 11-28, 2002, Elsevier. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Michael Crary, Linda K. Nozick, Lyn R. Whitaker |
Sizing the US destroyer fleet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Oper. Res. ![In: Eur. J. Oper. Res. 136(3), pp. 680-695, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker 0001 |
Stack-based typed assembly language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 12(1), pp. 3-88, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, Stephanie Weirich, J. Gregory Morrisett |
Intensional polymorphism in type-erasure semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 12(6), pp. 567-600, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, Joseph Vanderwaart |
An expressive, scalable type theory for certified code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002., pp. 191-205, 2002, ACM, 1-58113-487-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Bor-Yuh Evan Chang, Karl Crary, Margaret DeLap, Robert Harper 0001, Jason Liszka, Tom Murphy VII, Frank Pfenning |
Trustless Grid Computing in ConCert. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GRID ![In: Grid Computing - GRID 2002, Third International Workshop, Baltimore, MD, USA, November 18, 2002, Proceedings, pp. 112-125, 2002, Springer, 3-540-00133-6. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Pedram Mohseni, Karthik Nagarajan, Babak Ziaie, Khalil Najafi, Selden B. Crary |
An ultralight biotelemetry backpack for recording EMG signals in moths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Biomed. Eng. ![In: IEEE Trans. Biomed. Eng. 48(6), pp. 734-737, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | Guy E. Blelloch, Hal Burch, Karl Crary, Robert Harper 0001, Gary L. Miller, Noel Walkington |
Persistent triangulations Journal of Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Funct. Program. ![In: J. Funct. Program. 11(5), pp. 441-466, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
30 | David Walker 0001, Karl Crary, J. Gregory Morrisett |
Typed memory management via static capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 22(4), pp. 701-771, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
type-directed compilation, typed intermediate languages, certified code, region-based memory management |
30 | Karl Crary |
Sound and Complete Elimination of Singleton Kinds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Types in Compilation ![In: Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers, pp. 1-26, 2000, Springer, 3-540-42196-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Michael W. Hicks, Stephanie Weirich, Karl Crary |
Safe and Flexible Dynamic Linking of Native Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Types in Compilation ![In: Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers, pp. 147-176, 2000, Springer, 3-540-42196-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, Stephanie Weirich |
Resource Bound Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000, pp. 184-198, 2000, ACM, 1-58113-125-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
Typed compilation of inclusive subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000., pp. 68-81, 2000, ACM, 1-58113-202-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
30 | J. Gregory Morrisett, David Walker 0001, Karl Crary, Neal Glew |
From system F to typed assembly language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 21(3), pp. 527-568, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
secure extensible systems, type-directed compilation, typed assembly language, typed intermediate languages, certified code, closure conversion |
30 | Karl Crary, David Walker 0001, J. Gregory Morrisett |
Typed Memory Management in a Calculus of Capabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '99, Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 20-22, 1999, pp. 262-275, 1999, ACM, 1-58113-095-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, J. Gregory Morrisett |
Type Structure for Low-Level Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 26th International Colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999, Proceedings, pp. 40-54, 1999, Springer, 3-540-66224-3. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
A Simple Proof Technique for Certain Parametricity Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 82-89, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, Stephanie Weirich |
Flexible Type Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 233-248, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, Robert Harper 0001, Sidd Puri |
What is a Recursive Module? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 1999 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), Atlanta, Georgia, USA, May 1-4, 1999, pp. 50-63, 1999, ACM, 1-58113-094-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
30 | J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker 0001 |
Stack-Based Typed Assembly Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Types in Compilation ![In: Types in Compilation, Second International Workshop, TIC '98, Kyoto, Japan, March 25-27, 1998, Proceedings, pp. 28-52, 1998, Springer, 3-540-64925-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
30 | J. Gregory Morrisett, David Walker 0001, Karl Crary, Neal Glew |
From System F to Typed Assembly Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL '98, Proceedings of the 25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 19-21, 1998, pp. 85-97, 1998, ACM, 0-89791-979-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
Programming language semantics in foundational type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROCOMET ![In: Programming Concepts and Methods, IFIP TC2/WG2.2,2.3 International Conference on Programming Concepts and Methods (PROCOMET '98) 8-12 June 1998, Shelter Island, New York, USA, pp. 107-125, 1998, Chapman & Hall, 0-412-83760-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
30 | Karl Crary, Stephanie Weirich, J. Gregory Morrisett |
Intensional Polymorphism in Type-Erasure Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP '98), Baltimore, Maryland, USA, September 27-29, 1998., pp. 301-312, 1998, ACM, 1-58113-024-4. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
Admissibility of Fixpoint Induction over Partial Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: Automated Deduction - CADE-15, 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings, pp. 270-285, 1998, Springer, 3-540-64675-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
Type-Theoretic Methodology for Practical Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
1998 |
RDF |
|
30 | Karl Crary |
Foundations for the Implementation of Higher-Order Subtyping. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997., pp. 125-135, 1997, ACM, 0-89791-918-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
30 | Fred D. Crary |
A Versatile Precompiler for Nonstandard Arithmetics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Math. Softw. ![In: ACM Trans. Math. Softw. 5(2), pp. 204-217, 1979. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
FORTRAN |
30 | Fred D. Crary, J. Michael Yohe |
The AUGMENT precompiler as a tool for the development of special purpose arithmetic packages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGNUM ![In: Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software, October 1, 1978, USA, pp. 53-56, 1978, ACM, 978-1-4503-7796-6. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
30 | Riccardo Pucella |
SIGACT news logic column 15. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 37(2), pp. 57, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|