Scott F. Smith

68 papers A* 2A 15B 14C 1Journal 22Unranked 11

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