Scott F. Smith

According to our database, Scott F. Smith authored at least 60 papers between 1986 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Semantic-Type-Guided Bug Finding.

Kelvin Qian, Scott F. Smith, Brandon Stride, Shiwei Weng, Ke Wu

Proc. ACM Program. Lang., 2024

2020

Higher-order demand-driven symbolic evaluation.

Zachary Palmer, Theodore Park, Scott F. Smith, Shiwei Weng

Proc. ACM Program. Lang., 2020

A Set-Based Context Model for Program Analysis.

Leandro Facchinetti, Zachary Palmer, Scott F. Smith, Ke Wu, Ayaka Yorihiro

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

Higher-order Demand-driven Program Analysis.

Leandro Facchinetti, Zachary Palmer, Scott F. Smith

ACM Trans. Program. Lang. Syst., 2019

2017

Relative Store Fragments for Singleton Abstraction.

Leandro Facchinetti, Zachary Palmer, Scott F. Smith

Proceedings of the Static Analysis - 24th International Symposium, 2017

Using the coq theorem prover to verify complex data structure invariants.

Kenneth Roe, Scott F. Smith

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

2016

Higher-Order Demand-Driven Program Analysis (Artifact).

Leandro Facchinetti, Zachary Palmer, Scott F. Smith

Dagstuhl Artifacts Ser., 2016

CoqPIE: An IDE Aimed at Improving Proof Development Productivity - (Rough Diamond).

Kenneth Roe, Scott F. Smith

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016

Higher-Order Demand-Driven Program Analysis.

Zachary Palmer, Scott F. Smith

Proceedings of the 30th European Conference on Object-Oriented Programming, 2016

2014

Types for Flexible Objects.

Zachary Palmer, Pottayil Harisanker Menon, Alexander Rozenshteyn, Scott F. Smith

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013

Scalaness/nesT: type specialized staged programming for sensor networks.

Peter C. Chapin, Christian Skalka, Scott F. Smith, Michael Watson

Proceedings of the Generative Programming: Concepts and Experiences, 2013

2011

Type-specialized staged programming with process separation.

Yu David Liu, Christian Skalka, Scott F. Smith

High. Order Symb. Comput., 2011

Backstage Java: making a difference in metaprogramming.

Zachary Palmer, Scott F. Smith

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

2010

Task types for pervasive atomicity.

Aditya Kulkarni, Yu David Liu, Scott F. Smith

Proceedings of the 25th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2010

2008

Types and trace effects of higher order programs.

Christian Skalka, Scott F. Smith, David Van Horn

J. Funct. Program., 2008

Securing information flow via dynamic capture of dependencies.

Paritosh Shroff, Scott F. Smith, Mark Thober

J. Comput. Secur., 2008

Coqa: Concurrent Objects with Quantized Atomicity.

Yu David Liu, Xiaoqi Lu, Scott F. Smith

Proceedings of the Compiler Construction, 17th International Conference, 2008

Sound and Complete Type Inference for a Systems Programming Language.

Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

Improving usability of information flow security in java.

Scott F. Smith, Mark Thober

Proceedings of the 2007 Workshop on Programming Languages and Analysis for Security, 2007

Dynamic Dependency Monitoring to Secure Information Flow.

Paritosh Shroff, Scott F. Smith, Mark Thober

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification.

Paritosh Shroff, Christian Skalka, Scott F. Smith

Proceedings of the Programming Languages and Systems, 5th Asian Symposium, 2007

2006

Refactoring programs to secure information flows.

Scott F. Smith, Mark Thober

Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, 2006

A microkernel virtual machine: : building security with clear interfaces.

Xiaoqi Lu, Scott F. Smith

Proceedings of the 2006 Workshop on Programming Languages and Analysis for Security, 2006

A formal framework for component deployment.

Yu David Liu, Scott F. Smith

Proceedings of the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

2005

A systematic approach to static access control.

François Pottier, Christian Skalka, Scott F. Smith

ACM Trans. Program. Lang. Syst., 2005

Static use-based object confinement.

Christian Skalka, Scott F. Smith

Int. J. Inf. Sec., 2005

A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract).

Christian Skalka, Scott F. Smith, David Van Horn

Proceedings of the First International Workshop on Abstract Interpretation of Object-oriented Languages, 2005

Interaction-based programming with classages.

Yu David Liu, Scott F. Smith

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

2004

Modules with Interfaces for Dynamic Linking and Communication.

Yu David Liu, Scott F. Smith

Proceedings of the ECOOP 2004, 2004

History Effects and Verification.

Christian Skalka, Scott F. Smith

Proceedings of the Programming Languages and Systems: Second Asian Symposium, 2004

2002

Specification Diagrams for Actor Systems.

Scott F. Smith, Carolyn L. Talcott

High. Order Symb. Comput., 2002

Set Types and Applications.

Christian Skalka, Scott F. Smith

Proceedings of the International Workshop in Types in Programming, 2002

Modular Internet Programming with Cells.

Ran Rinat, Scott F. Smith

Proceedings of the ECOOP 2002, 2002

2001

Precise Constraint-Based Type Inference for Java.

Tiejun Wang, Scott F. Smith

Proceedings of the ECOOP 2001, 2001

2000

Static enforcement of security with types.

Christian Skalka, Scott F. Smith

Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), 2000

Polyvariant Flow Analysis with Constrained Types.

Scott F. Smith, Tiejun Wang

Proceedings of the Programming Languages and Systems, 2000

1999

Correspondence Polymorphism for Object-Oriented Languages.

Ran Rinat, Menachem Magidor, Scott F. Smith

Proceedings of the 1999 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1999

Modular Reasoning for Actor Specification Diagrams.

Scott F. Smith, Carolyn L. Talcott

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

1997

A Foundation for Actor Computation.

Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott

J. Funct. Program., 1997

1996

Constrained Types and Their Expressiveness.

Jens Palsberg, Scott F. Smith

ACM Trans. Program. Lang. Syst., 1996

From Operational Semantics to Domain Theory.

Ian A. Mason, Scott F. Smith, Carolyn L. Talcott

Inf. Comput., 1996

Subtyping Constrained Types.

Valery Trifonov, Scott F. Smith

Proceedings of the Static Analysis, Third International Symposium, 1996

1995

A Variable Typed Logic of Effects

Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott

Inf. Comput., May, 1995

On Binary Methods.

Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce

Theory Pract. Object Syst., 1995

An Interpretation of Typed OOP in a Language with State.

Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico

LISP Symb. Comput., 1995

Hybrid Partial-Total Type Theory.

Scott F. Smith

Int. J. Found. Comput. Sci., 1995

Correct Compilation of Specifications to Deterministic Asynchronous Circuits.

Scott F. Smith, Amy E. Zwarico

Formal Methods Syst. Des., 1995

Type inference for recursively constrained types and its application to OOP.

Jonathan Eifrig, Scott F. Smith, Valery Trifonov

Proceedings of the Eleventh Annual Conference on Mathematical Foundations of Programming Semantics, 1995

Sound Polymorphic Type Inference for Objects.

Jonathan Eifrig, Scott F. Smith, Valery Trifonov

Proceedings of the Tenth Annual Conference on Object-Oriented Programming Systems, 1995

1994

Application of OOP Type Theory: State, Decidability, Integragtion.

Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico

Proceedings of the Ninth Annual Conference on Object-Oriented Programming Systems, 1994

1993

Computational Foundations of Basic Recursive Function Theory.

Robert L. Constable, Scott F. Smith

Theor. Comput. Sci., 1993

1992

Provably Correct Synthesis of Asynchronous Circuits.

Scott F. Smith, Amy E. Zwarico

Proceedings of the Designing Correct Circuits, 1992

A Theory of Classes for a Functional Language with Effects.

Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott

Proceedings of the Computer Science Logic, 6th Workshop, 1992

Towards a Theory of Actor Computation.

Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott

Proceedings of the CONCUR '92, 1992

1991

From Operational to Denotational Semantics.

Scott F. Smith

Proceedings of the Mathematical Foundations of Programming Semantics, 1991

Reflective Semantics of Constructive Type Theory: Preliminary Report.

Scott F. Smith

Proceedings of the Constructivity in Computer Science, 1991

Extracting Recursive Programs in Type Theory.

Scott F. Smith

Proceedings of the Algebraic Methodology and Software Technology (AMAST '91), 1991

1989

Partial Objects in Type Theory.

Scott F. Smith

PhD thesis, 1989

1987

Partial Objects In Constructive Type Theory

Robert L. Constable, Scott F. Smith

Proceedings of the Symposium on Logic in Computer Science (LICS '87), 1987

1986

Implementing mathematics with the Nuprl proof development system.

Robert L. Constable, Stuart F. Allen, Mark Bromley, Rance Cleaveland, J. F. Cremer, Robert Harper, Douglas J. Howe, Todd B. Knoblock, Nax Paul Mendler, Prakash Panangaden, James T. Sasaki, Scott F. Smith

Prentice Hall, ISBN: 978-0-13-451832-9, 1986