Tim Sheard - RankMe

73 papers A* 8A 9B 3C 6Journal 12Unranked 33

Year	Rank	Type	Title / Venue / Authors
2017	—	`conf`	CyberPDX: A Camp for Broadening Participation in Cybersecurity. ASE @ USENIX Security Symposium Wu-chang Feng, Robert Liebman, Lois M. L. Delcambre, Michael Lupro, Tim Sheard, Scott Britell, Gerald Recktenwald
2016	—	`conf`	Generic lookup and update for infinitary inductive-recursive types. TyDe@ICFP Larry Diehl, Tim Sheard
2014	—	`conf`	Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL. WGP@ICFP Larry Diehl, Tim Sheard
2014	A	`conf`	Red Fox: An Execution Environment for Relational Query Processing on GPUs. CGO Haicheng Wu, Gregory F. Diamos, Tim Sheard, Molham Aref, Sean Baxter, Michael Garland, Sudhakar Yalamanchili
2013	—	`conf`	Leveling up dependent types: generic programming over a predicative hierarchy of universes. DTP@ICFP Larry Diehl, Tim Sheard
2013	—	`ed.`	Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013 PLPV Matthew Might, David Van Horn, Andreas Abel, Tim Sheard
2013	—	`conf`	System F TLCA Ki Yung Ahn, Tim Sheard, Marcelo P. Fiore, Andrew M. Pitts
2012	—	`conf`	Equational reasoning about programs with general recursion and call-by-value semantics. PLPV Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn
2012	—	`conf`	Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems MSFP Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich
2011	A	`conf`	A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences. ICFP Ki Yung Ahn, Tim Sheard
2011	A	`conf`	Binders unbound. ICFP Stephanie Weirich, Brent A. Yorgey, Tim Sheard
2010	—	`conf`	Language-based verification will change the world. FoSER Tim Sheard, Aaron Stump, Stephanie Weirich
2010	—	`conf`	Pointwise generalized algebraic data types. TLDI Chuan-Kai Lin, Tim Sheard
2008	B	`conf`	Erasure and Polymorphism in Pure Type Systems. FoSSaCS Nathan Mishra-Linger, Tim Sheard
2008	C	`conf`	Shared subtypes: subtyping recursive parametrized algebraic data types. Haskell Ki Yung Ahn, Tim Sheard
2007	—	`conf`	Programming in Omega. CEFP Tim Sheard, Nathan Linger
2007	J	`jnl`	Using Punctuation Schemes to Characterize Strategies for Querying over Data Streams. IEEE Trans. Knowl. Data Eng. Peter A. Tucker, David Maier, Tim Sheard, Paul Stephens
2006	—	`conf`	Generic Programming in Ωmega. SSDGP Tim Sheard
2006	—	`conf`	Type-level Computation Using Narrowing in Omegamega. PLPV@IJCAR Tim Sheard
2005	C	`conf`	Putting curry-howard to work. Haskell Tim Sheard
2004	A	`conf`	Binding-Time Analysis for MetaML via Type Inference and Constraint Solving. TACAS Nathan Linger, Tim Sheard
2004	—	`conf`	Languages of the future. OOPSLA Companion Tim Sheard
2004	J	`jnl`	Languages of the future. ACM SIGPLAN Notices Tim Sheard
2004	—	`conf`	Meta-programming With Built-in Type Equality. LFM@IJCAR Tim Sheard, Emir Pasalic
2004	J	`jnl`	Two-level types and parameterized modules. J. Funct. Program. Tim Sheard, Emir Pasalic
2003	J	`jnl`	Applying Punctuation Schemes to Queries Over Continuous Data Streams. IEEE Data Eng. Bull. Peter A. Tucker, David Maier, Tim Sheard
2003	J	`jnl`	Closed types for a safe imperative MetaML. J. Funct. Program. Cristiano Calcagno, Eugenio Moggi, Tim Sheard
2003	J	`jnl`	Exploiting Punctuation Semantics in Continuous Data Streams. IEEE Trans. Knowl. Data Eng. Peter A. Tucker, David Maier, Tim Sheard, Leonidas Fegaras
2002	B	`conf`	Fine Control of Demand in Haskell. MPC William L. Harrison, Tim Sheard, James Hook
2002	—	`conf`	Search-based binding time analysis using type-directed pruning. ASIA-PEPM Tim Sheard, Nathan Linger
2002	A	`conf`	Tagless staged interpreters for typed languages. ICFP Emir Pasalic, Walid Taha, Tim Sheard
2002	C	`conf`	Template meta-programming for Haskell. Haskell Tim Sheard, Simon Peyton Jones
2002	J	`jnl`	Template meta-programming for Haskell. ACM SIGPLAN Notices Tim Sheard, Simon L. Peyton Jones
2001	—	`conf`	Accomplishments and Research Challenges in Meta-programming. SAIG Tim Sheard
2001	—	`conf`	Dynamically Adaptable Software with Metacomputations in a Staged Language. SAIG William L. Harrison, Tim Sheard
2001	A	`conf`	Generic Unification via Two-Level Types and Parameterized Modules. ICFP Tim Sheard
2000	J	`jnl`	MetaML and multi-stage programming with explicit annotations. Theor. Comput. Sci. Walid Taha, Tim Sheard
1999	A	`conf`	An Idealized MetaML: Simpler, and More Expressive. ESOP Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard
1999	—	`conf`	DSL implementation using staging and monads. DSL Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic
1998	A*	`conf`	Dynamic Typing as Staged Type Inference. POPL Mark Shields, Tim Sheard, Simon L. Peyton Jones
1998	A*	`conf`	Multi-Stage Programming: Axiomatization and Type Safety. ICALP Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard
1998	—	`conf`	Using MetaML: A Staged Programming Language. Advanced Functional Programming Tim Sheard
1997	C	`conf`	A Type-directed, On-line, Partial Evaluator for a Polymorphic Language. PEPM Tim Sheard
1997	C	`conf`	Multi-Stage Programming with Explicit Annotations. PEPM Walid Taha, Tim Sheard
1997	A	`conf`	Multi-Stage Programming. ICFP Walid Taha, Tim Sheard
1996	A*	`conf`	A Software Engineering Experiment in Software Component Generation. ICSE Richard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton
1996	—	`ed.`	Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text Advanced Functional Programming John Launchbury, Erik Meijer, Tim Sheard
1996	A*	`conf`	Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space). POPL Leonidas Fegaras, Tim Sheard
1995	—	`conf`	Calculating Software Generators from Solution Specifications. TAPSOFT Richard B. Kieburtz, Françoise Bellegarde, Jeffrey M. Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou
1995	—	`conf`	Warm Fusion: Deriving Build-Cata's from Recursive Definitions. FPCA John Launchbury, Tim Sheard
1994	C	`conf`	Improving Programs Which Recurse over Multiple Inductive Structures. PEPM Leonidas Fegaras, Tim Sheard, Tong Zhou
1994	—	`conf`	Software design for reliability and reuse: a proof-of-concept demonstration. TRI-Ada Jeffrey M. Bell, Françoise Bellegarde, James Hook, Richard B. Kieburtz, Alex Kotov, Jeffrey Lewis, Laura McKinney, Dino Oliva, Tim Sheard, L. Tong, Lisa Walton, Tong Zhou
1993	—	`conf`	A Fold for All Seasons. FPCA Tim Sheard, Leonidas Fegaras
1993	—	`conf`	Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection. AMAST Tim Sheard
1993	—	`conf`	Specifying Rule-Based Query Optimizers in a Reflective Framework. DOOD Leonidas Fegaras, David Maier, Tim Sheard
1992	J	`jnl`	Inheritance of Theory in the Adabtpl Language. Comput. Lang. Tim Sheard, David W. Stemple
1992	A	`conf`	Uniform Traversal Combinators: Definition, Use and Properties. CADE Leonidas Fegaras, Tim Sheard, David W. Stemple
1991	J	`jnl`	Automatic Generation and Use of Abstract Structure Operators. ACM Trans. Program. Lang. Syst. Tim Sheard
1990	—	`conf`	A Recursive Base for Database Programming Primitives. East/West Database Workshop David W. Stemple, Tim Sheard
1990	B	`conf`	Exceeding the Limits of Polymorphism in Database Programming Languages. EDBT David W. Stemple, Leonidas Fegaras, Tim Sheard, Adolfo Socorro
1989	J	`jnl`	Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. Tim Sheard, David W. Stemple
1989	—	`conf`	The ADABTPL Type System. DBPL Leonidas Fegaras, Tim Sheard, David W. Stemple
1988	—	`conf`	Formalizing Objects for Databases using ADABTPL. OODBS David W. Stemple, Adolfo Socorro, Tim Sheard
1988	—	`conf`	Resolving the Tension between Integrity and Security Using a Theorem Prover. SIGMOD Conference Subhasish Mazumdar, David W. Stemple, Tim Sheard
1988	—	`conf`	The precise control of inheritance and the inheritance of theory in the ADABTPL language. ICCL Tim Sheard, David W. Stemple
1987	—	`conf`	Construction and Calculus of Types for Database Systems. DBPL David W. Stemple, Tim Sheard
1987	—	`conf`	On the Modes and Meaning of Feedback to Transaction Designers. SIGMOD Conference David W. Stemple, Subhasish Mazumdar, Tim Sheard
1986	A*	`conf`	Abstract Data Types in Databases: Specification, Manipulation and Access. ICDE David W. Stemple, Tim Sheard, Ralph E. Bunker
1986	J	`jnl`	Incorporating theory into database system development. Inf. Process. Manag. David W. Stemple, Tim Sheard, Ralph E. Bunker
1985	A*	`conf`	Coping with Complexity in Automated Reasoning about Database Systems. VLDB Tim Sheard, David W. Stemple
1985	A*	`conf`	Database Theory for Supporting Specification-Based Database Systems Development. ICSE David W. Stemple, Tim Sheard
1984	A*	`conf`	Specification and Verification of Abstract Database Types. PODS David W. Stemple, Tim Sheard
1983	—	`conf`	Operating System Support for Abstract Data(base) Types. ICOD David W. Stemple, Krithi Ramamritham, Stephen Vinter, Tim Sheard