Search results for "Crary"

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