Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
119 | Stefan Monnier |
The swiss coercion. |
PLPV |
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. |
LFMTP@CADE |
2007 |
DBLP DOI BibTeX RDF |
|
36 | Christian McCrea |
Then, suddenly, I was moved: nostalgia and the media history of games. |
IE |
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. |
FPGA |
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. |
EuroGP |
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. |
A-SSCC |
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. |
CoRR |
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. |
CASES |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
Verifying the Hashgraph Consensus Algorithm. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
30 | Karl Crary |
A focused solution to the avoidance problem. |
J. Funct. Program. |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
Fully abstract module compilation. |
Proc. ACM Program. Lang. |
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. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
30 | Rose Bohrer, Karl Crary |
TWAM: A Certifying Abstract Machine for Logic Programs. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
30 | Karl Crary |
Hygienic Source-Code Generation Using Functors. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
30 | Karl Crary |
Hygienic Source-Code Generation Using Functors - (Extended Abstract). |
PADL |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Rose Bohrer, Karl Crary |
TWAM: A Certifying Abstract Machine for Logic Programs. |
VSTTE |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
Strong Sums in Focused Logic. |
LICS |
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. |
AAMAS |
2018 |
DBLP BibTeX RDF |
|
30 | Karl Crary |
Modules, abstraction, and parametric polymorphism. |
POPL |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Nathaniel Crary, Bin Tang, Setu Taase |
Data Preservation in Data-Intensive Sensor Networks With Spatial Correlation. |
Mobidata@MobiHoc |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, Michael J. Sullivan |
A Calculus for Relaxed Memory. |
POPL |
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. |
IVA |
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. |
IVA |
2015 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, Michael J. Sullivan |
Peer-to-peer affine commitment using bitcoin. |
PLDI |
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. |
ICALT |
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. |
J. Am. Medical Informatics Assoc. |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Shivashankar Halan, Brent Rossen, Michael Crary, Benjamin Lok |
Constructionism of virtual humans to improve perceptions of conversational partners. |
CHI Extended Abstracts |
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. |
LFMTP |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
Higher-order representation of substructural logics. |
ICFP |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
A syntactic account of singleton types via hereditary substitution. |
LFMTP |
2009 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
Explicit Contexts in LF (Extended Abstract). |
LFMTP@LICS |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, Susmit Sarkar |
Foundational certified code in the Twelf metalogical framework. |
ACM Trans. Comput. Log. |
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. |
Computation, Meaning, and Logic |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
Sound and complete elimination of singleton kinds. |
ACM Trans. Comput. Log. |
2007 |
DBLP DOI BibTeX RDF |
singleton kinds, Type systems |
30 | Tom Murphy VII, Karl Crary, Robert Harper 0001 |
Type-Safe Distributed Programming with ML5. |
TGC |
2007 |
DBLP DOI BibTeX RDF |
|
30 | Daniel K. Lee, Karl Crary, Robert Harper 0001 |
Towards a mechanized metatheory of standard ML. |
POPL |
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 |
CoRR |
2006 |
DBLP BibTeX RDF |
|
30 | Karl Crary, Robert Harper 0001 |
Higher-order abstract syntax: setting the record straight. |
SIGACT News |
2006 |
DBLP DOI BibTeX RDF |
|
30 | David Swasey, Tom Murphy VII, Karl Crary, Robert Harper 0001 |
A separate compilation extension to standard ML. |
ML |
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. |
HICSS |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, Aleksey Kliger, Frank Pfenning |
A monadic analysis of information flow security with mutable state. |
J. Funct. Program. |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Susmit Sarkar, Brigitte Pientka, Karl Crary |
Small Proof Witnesses for LF. |
ICLP |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Joseph Vanderwaart, Karl Crary |
Automated and certified conformance to responsiveness policies. |
TLDI |
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. |
HICSS |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Tom Murphy VII, Karl Crary, Robert Harper 0001 |
Distributed Control Flow with Classical Modal Logic. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
30 | Tom Murphy VII, Karl Crary, Robert Harper 0001, Frank Pfenning |
A Symmetric Modal Lambda Calculus for Distributed Computing. |
LICS |
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. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
30 | J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker 0001 |
Stack-based typed assembly language. |
J. Funct. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Leaf Petersen, Robert Harper 0001, Karl Crary, Frank Pfenning |
A type theory for memory allocation and data layout. |
POPL |
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. |
POPL |
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. |
POPL |
2003 |
DBLP DOI BibTeX RDF |
proof-carrying code, typed assembly language |
30 | Karl Crary, Susmit Sarkar |
Foundational Certified Code in a Metalogical Framework. |
CADE |
2003 |
DBLP DOI BibTeX RDF |
|
30 | Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper 0001, Perry Cheng |
Typed compilation of recursive datatypes. |
TLDI |
2003 |
DBLP DOI BibTeX RDF |
typed compilation, standard ML, recursive types, coercions |
30 | Joseph Vanderwaart, Karl Crary |
A typed interface for garbage collection. |
TLDI |
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. |
LFM |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Michael Crary, Linda K. Nozick, Lyn R. Whitaker |
Sizing the US destroyer fleet. |
Eur. J. Oper. Res. |
2002 |
DBLP DOI BibTeX RDF |
|
30 | J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker 0001 |
Stack-based typed assembly language. |
J. Funct. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, Stephanie Weirich, J. Gregory Morrisett |
Intensional polymorphism in type-erasure semantics. |
J. Funct. Program. |
2002 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, Joseph Vanderwaart |
An expressive, scalable type theory for certified code. |
ICFP |
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. |
GRID |
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. |
IEEE Trans. Biomed. Eng. |
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. |
J. Funct. Program. |
2001 |
DBLP DOI BibTeX RDF |
|
30 | David Walker 0001, Karl Crary, J. Gregory Morrisett |
Typed memory management via static capabilities. |
ACM Trans. Program. Lang. Syst. |
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. |
Types in Compilation |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Michael W. Hicks, Stephanie Weirich, Karl Crary |
Safe and Flexible Dynamic Linking of Native Code. |
Types in Compilation |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, Stephanie Weirich |
Resource Bound Certification. |
POPL |
2000 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
Typed compilation of inclusive subtyping. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
|
30 | J. Gregory Morrisett, David Walker 0001, Karl Crary, Neal Glew |
From system F to typed assembly language. |
ACM Trans. Program. Lang. Syst. |
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. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, J. Gregory Morrisett |
Type Structure for Low-Level Programming Languages. |
ICALP |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
A Simple Proof Technique for Certain Parametricity Results. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, Stephanie Weirich |
Flexible Type Analysis. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary, Robert Harper 0001, Sidd Puri |
What is a Recursive Module? |
PLDI |
1999 |
DBLP DOI BibTeX RDF |
|
30 | J. Gregory Morrisett, Karl Crary, Neal Glew, David Walker 0001 |
Stack-Based Typed Assembly Language. |
Types in Compilation |
1998 |
DBLP DOI BibTeX RDF |
|
30 | J. Gregory Morrisett, David Walker 0001, Karl Crary, Neal Glew |
From System F to Typed Assembly Language. |
POPL |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
Programming language semantics in foundational type theory. |
PROCOMET |
1998 |
DBLP BibTeX RDF |
|
30 | Karl Crary, Stephanie Weirich, J. Gregory Morrisett |
Intensional Polymorphism in Type-Erasure Semantics. |
ICFP |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
Admissibility of Fixpoint Induction over Partial Types. |
CADE |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Karl Crary |
Type-Theoretic Methodology for Practical Programming Languages. |
|
1998 |
RDF |
|
30 | Karl Crary |
Foundations for the Implementation of Higher-Order Subtyping. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
30 | Fred D. Crary |
A Versatile Precompiler for Nonstandard Arithmetics. |
ACM Trans. Math. Softw. |
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. |
SIGNUM |
1978 |
DBLP DOI BibTeX RDF |
|
30 | Riccardo Pucella |
SIGACT news logic column 15. |
SIGACT News |
2006 |
DBLP DOI BibTeX RDF |
|