Scott F. Smith

Publication Activity (10 Years)

Years Active: 1987-2020
Publications (10 Years): 8

Top Topics

Lambda Calculus

Efficient Data Structures

Top Venues

Proc. ACM Program. Lang.

Dagstuhl Artifacts Ser.

Publications

Leandro Facchinetti, Zachary Palmer, Scott F. Smith, Ke Wu, Ayaka Yorihiro
A Set-Based Context Model for Program Analysis. APLAS (2020)
Zachary Palmer, Theodore Park, Scott F. Smith, Shiwei Weng
Higher-order demand-driven symbolic evaluation. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Leandro Facchinetti, Zachary Palmer, Scott F. Smith
Higher-order Demand-driven Program Analysis. ACM Trans. Program. Lang. Syst. 41 (3) (2019)
Leandro Facchinetti, Zachary Palmer, Scott F. Smith
Relative Store Fragments for Singleton Abstraction. SAS (2017)
Kenneth Roe, Scott F. Smith
Using the coq theorem prover to verify complex data structure invariants. MEMOCODE (2017)
Kenneth Roe, Scott F. Smith
CoqPIE: An IDE Aimed at Improving Proof Development Productivity - (Rough Diamond). ITP (2016)
Zachary Palmer, Scott F. Smith
Higher-Order Demand-Driven Program Analysis. ECOOP (2016)
Leandro Facchinetti, Zachary Palmer, Scott F. Smith
Higher-Order Demand-Driven Program Analysis (Artifact). Dagstuhl Artifacts Ser. 2 (1) (2016)
Zachary Palmer, Pottayil Harisanker Menon, Alexander Rozenshteyn, Scott F. Smith
Types for Flexible Objects. APLAS (2014)
Peter C. Chapin, Christian Skalka, Scott F. Smith, Michael Watson
Scalaness/nesT: type specialized staged programming for sensor networks. GPCE (2013)
Zachary Palmer, Scott F. Smith
Backstage Java: making a difference in metaprogramming. OOPSLA (2011)
Yu David Liu, Christian Skalka, Scott F. Smith
Type-specialized staged programming with process separation. High. Order Symb. Comput. 24 (4) (2011)
Aditya Kulkarni, Yu David Liu, Scott F. Smith
Task types for pervasive atomicity. OOPSLA (2010)
Yu David Liu, Christian Skalka, Scott F. Smith
Type-specialized staged programming with process separation. WGP@ICFP (2009)
Paritosh Shroff, Scott F. Smith, Mark Thober
Securing information flow via dynamic capture of dependencies. J. Comput. Secur. 16 (5) (2008)
Christian Skalka, Scott F. Smith, David Van Horn
Types and trace effects of higher order programs. J. Funct. Program. 18 (2) (2008)
Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith
Sound and Complete Type Inference for a Systems Programming Language. APLAS (2008)
Yu David Liu, Xiaoqi Lu, Scott F. Smith
Coqa: Concurrent Objects with Quantized Atomicity. CC (2008)
Paritosh Shroff, Scott F. Smith, Mark Thober
Dynamic Dependency Monitoring to Secure Information Flow. CSF (2007)
Scott F. Smith, Mark Thober
Improving usability of information flow security in java. PLAS (2007)
Paritosh Shroff, Christian Skalka, Scott F. Smith
The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. APLAS (2007)
Yu David Liu, Scott F. Smith
A formal framework for component deployment. OOPSLA (2006)
Scott F. Smith, Mark Thober
Refactoring programs to secure information flows. PLAS (2006)
Xiaoqi Lu, Scott F. Smith
A microkernel virtual machine: : building security with clear interfaces. PLAS (2006)
Christian Skalka, Scott F. Smith
Static use-based object confinement. Int. J. Inf. Sec. 4 (1-2) (2005)
Christian Skalka, Scott F. Smith, David Van Horn
A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). Electron. Notes Theor. Comput. Sci. 131 (2005)
Yu David Liu, Scott F. Smith
Interaction-based programming with classages. OOPSLA (2005)
François Pottier, Christian Skalka, Scott F. Smith
A systematic approach to static access control. ACM Trans. Program. Lang. Syst. 27 (2) (2005)
Yu David Liu, Scott F. Smith
Modules with Interfaces for Dynamic Linking and Communication. ECOOP (2004)
Christian Skalka, Scott F. Smith
History Effects and Verification. APLAS (2004)
Scott F. Smith, Carolyn L. Talcott
Specification Diagrams for Actor Systems. High. Order Symb. Comput. 15 (4) (2002)
Christian Skalka, Scott F. Smith
Set Types and Applications. Electron. Notes Theor. Comput. Sci. 75 (2002)
Ran Rinat, Scott F. Smith
Modular Internet Programming with Cells. ECOOP (2002)
Tiejun Wang, Scott F. Smith
Precise Constraint-Based Type Inference for Java. ECOOP (2001)
François Pottier, Christian Skalka, Scott F. Smith
A Systematic Approach to Static Access Control. ESOP (2001)
Scott F. Smith, Tiejun Wang
Polyvariant Flow Analysis with Constrained Types. ESOP (2000)
Christian Skalka, Scott F. Smith
Static enforcement of security with types. ICFP (2000)
Scott F. Smith, Carolyn L. Talcott
Modular Reasoning for Actor Specification Diagrams. FMOODS (1999)
Ran Rinat, Menachem Magidor, Scott F. Smith
Correspondence Polymorphism for Object-Oriented Languages. OOPSLA (1999)
Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
A Foundation for Actor Computation. J. Funct. Program. 7 (1) (1997)
Jens Palsberg, Scott F. Smith
Constrained Types and Their Expressiveness. ACM Trans. Program. Lang. Syst. 18 (5) (1996)
Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
From Operational Semantics to Domain Theory. Inf. Comput. 128 (1) (1996)
Valery Trifonov, Scott F. Smith
Subtyping Constrained Types. SAS (1996)
Jonathan Eifrig, Scott F. Smith, Valery Trifonov
Type inference for recursively constrained types and its application to OOP. MFPS (1995)
Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
A Variable Typed Logic of Effects Inf. Comput. 119 (1) (1995)
Jonathan Eifrig, Scott F. Smith, Valery Trifonov
Sound Polymorphic Type Inference for Objects. OOPSLA (1995)
Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico
An Interpretation of Typed OOP in a Language with State. LISP Symb. Comput. 8 (4) (1995)
Scott F. Smith, Amy E. Zwarico
Correct Compilation of Specifications to Deterministic Asynchronous Circuits. Formal Methods Syst. Des. 7 (3) (1995)
Scott F. Smith
Hybrid Partial-Total Type Theory. Int. J. Found. Comput. Sci. 6 (3) (1995)
Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce
On Binary Methods. Theory Pract. Object Syst. 1 (3) (1995)
Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico
Application of OOP Type Theory: State, Decidability, Integragtion. OOPSLA (1994)
Robert L. Constable, Scott F. Smith
Computational Foundations of Basic Recursive Function Theory. Theor. Comput. Sci. 121 (1&2) (1993)
Scott F. Smith, Amy E. Zwarico
Correct Compilation of Specifications to Deterministic Asynchronous Circuits. CHARME (1993)
Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
A Theory of Classes for a Functional Language with Effects. CSL (1992)
Scott F. Smith, Amy E. Zwarico
Provably Correct Synthesis of Asynchronous Circuits. Designing Correct Circuits (1992)
Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
Towards a Theory of Actor Computation. CONCUR (1992)
Scott F. Smith
Extracting Recursive Programs in Type Theory. AMAST (1991)
Scott F. Smith
Reflective Semantics of Constructive Type Theory: Preliminary Report. Constructivity in Computer Science (1991)
Scott F. Smith
From Operational to Denotational Semantics. MFPS (1991)
Robert L. Constable, Scott F. Smith
Computational Foundations of Basic Recursive Function Theory LICS (1988)
Robert L. Constable, Scott F. Smith
Partial Objects In Constructive Type Theory LICS (1987)