Scott F. Smith

The Johns Hopkins University

other persons with the same name:

• Scott F. Smith - Purdue University
• Scott F. Smith - Boise State University

	2008
49		Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith: Sound and Complete Type Inference for a Systems Programming Language. APLAS 2008: 290-306
48		Yu David Liu, Xiaoqi Lu, Scott F. Smith: Coqa: Concurrent Objects with Quantized Atomicity. CC 2008: 260-275
47		Christian Skalka, Scott F. Smith, David Van Horn: Types and trace effects of higher order programs. J. Funct. Program. 18(2): 179-249 (2008)
46		Paritosh Shroff, Scott F. Smith, Mark Thober: Securing information flow via dynamic capture of dependencies. Journal of Computer Security 16(5): 637-688 (2008)
	2007
45		Paritosh Shroff, Christian Skalka, Scott F. Smith: The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. APLAS 2007: 2-18
44		Paritosh Shroff, Scott F. Smith, Mark Thober: Dynamic Dependency Monitoring to Secure Information Flow. CSF 2007: 203-217
43		Scott F. Smith, Mark Thober: Improving usability of information flow security in java. PLAS 2007: 11-20
	2006
42		Yu David Liu, Scott F. Smith: A formal framework for component deployment. OOPSLA 2006: 325-344
41		Xiaoqi Lu, Scott F. Smith: A microkernel virtual machine: : building security with clear interfaces. PLAS 2006: 47-56
40		Scott F. Smith, Mark Thober: Refactoring programs to secure information flows. PLAS 2006: 75-84
	2005
39		Yu David Liu, Scott F. Smith: Interaction-based programming with classages. OOPSLA 2005: 191-209
38		François Pottier, Christian Skalka, Scott F. Smith: A systematic approach to static access control. ACM Trans. Program. Lang. Syst. 27(2): 344-382 (2005)
37		Christian Skalka, Scott F. Smith, David Van Horn: A Type and Effect System for Flexible Abstract Interpretation of Java: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 131: 111-124 (2005)
36		Christian Skalka, Scott F. Smith: Static use-based object confinement. Int. J. Inf. Sec. 4(1-2): 87-104 (2005)
	2004
35		Christian Skalka, Scott F. Smith: History Effects and Verification. APLAS 2004: 107-128
34		Yu David Liu, Scott F. Smith: Modules with Interfaces for Dynamic Linking and Communication. ECOOP 2004: 414-439
	2002
33		Ran Rinat, Scott F. Smith: Modular Internet Programming with Cells. ECOOP 2002: 257-280
32		Christian Skalka, Scott F. Smith: Set Types and Applications. Electr. Notes Theor. Comput. Sci. 75: (2002)
31		Scott F. Smith, Carolyn L. Talcott: Specification Diagrams for Actor Systems. Higher-Order and Symbolic Computation 15(4): 301-348 (2002)
	2001
30		Tiejun Wang, Scott F. Smith: Precise Constraint-Based Type Inference for Java. ECOOP 2001: 99-117
29		François Pottier, Christian Skalka, Scott F. Smith: A Systematic Approach to Static Access Control. ESOP 2001: 30-45
	2000
28		Scott F. Smith, Carolyn L. Talcott: 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 Kluwer 2000
27		Scott F. Smith, Tiejun Wang: Polyvariant Flow Analysis with Constrained Types. ESOP 2000: 382-396
26		Christian Skalka, Scott F. Smith: Static enforcement of security with types. ICFP 2000: 34-45
	1999
25		Scott F. Smith, Carolyn L. Talcott: Modular Reasoning for Actor Specification Diagrams. FMOODS 1999
24		Ran Rinat, Menachem Magidor, Scott F. Smith: Correspondence Polymorphism for Object-Oriented Languages. OOPSLA 1999: 167-186
	1997
23		Scott F. Smith: Specification Diagrams for Actor Systems. Electr. Notes Theor. Comput. Sci. 10: (1997)
22		Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: A Foundation for Actor Computation. J. Funct. Program. 7(1): 1-72 (1997)
	1996
21		Valery Trifonov, Scott F. Smith: Subtyping Constrained Types. SAS 1996: 349-365
20		Jens Palsberg, Scott F. Smith: Constrained Types and Their Expressiveness. ACM Trans. Program. Lang. Syst. 18(5): 519-527 (1996)
19		Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: From Operational Semantics to Domain Theory. Inf. Comput. 128(1): 26-47 (1996)
	1995
18		Jonathan Eifrig, Scott F. Smith, Valery Trifonov: Sound Polymorphic Type Inference for Objects. OOPSLA 1995: 169-184
17		Jonathan Eifrig, Scott F. Smith, Valery Trifonov: Type inference for recursively constrained types and its application to OOP. Electr. Notes Theor. Comput. Sci. 1: (1995)
16		Scott F. Smith, Amy E. Zwarico: Correct Compilation of Specifications to Deterministic Asynchronous Circuits. Formal Methods in System Design 7(3): 155-226 (1995)
15		Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: A Variable Typed Logic of Effects Inf. Comput. 119(1): 55-90 (1995)
14		Scott F. Smith: Hybrid Partial-Total Type Theory. Int. J. Found. Comput. Sci. 6(3): 235-263 (1995)
13		Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico: An Interpretation of Typed OOP in a Language with State. Lisp and Symbolic Computation 8(4): 357-397 (1995)
12		Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce: On Binary Methods. TAPOS 1(3): 221-242 (1995)
	1994
11		Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico: Application of OOP Type Theory: State, Decidability, Integragtion. OOPSLA 1994: 16-30
	1993
10		Scott F. Smith, Amy E. Zwarico: Correct Compilation of Specifications to Deterministic Asynchronous Circuits. CHARME 1993: 179-190
9		Robert L. Constable, Scott F. Smith: Computational Foundations of Basic Recursive Function Theory. Theor. Comput. Sci. 121(1&2): 89-112 (1993)
	1992
8		Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: Towards a Theory of Actor Computation. CONCUR 1992: 565-579
7		Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott: A Theory of Classes for a Functional Language with Effects. CSL 1992: 309-326
6		Scott F. Smith, Amy E. Zwarico: Provably Correct Synthesis of Asynchronous Circuits. Designing Correct Circuits 1992: 237-260
	1991
5		Scott F. Smith: Extracting Recursive Programs in Type Theory. AMAST 1991: 341-349
4		Scott F. Smith: Reflective Semantics of Constructive Type Theory: Preliminary Report. Constructivity in Computer Science 1991: 33-45
3		Scott F. Smith: From Operational to Denotational Semantics. MFPS 1991: 54-76
	1988
2		Robert L. Constable, Scott F. Smith: Computational Foundations of Basic Recursive Function Theory LICS 1988: 360-371
	1987
1		Robert L. Constable, Scott F. Smith: Partial Objects In Constructive Type Theory LICS 1987: 183-193

Coauthor Index

1	Gul A. Agha (Gul Agha)	[8] [22]
2	Kim B. Bruce	[12]
3	Luca Cardelli	[12]
4	Giuseppe Castagna	[12]
5	Robert L. Constable	[1] [2] [9]
6	Jonathan Eifrig	[11] [12] [13] [17] [18]
7	Furio Honsell	[7] [15]
8	David Van Horn	[37] [47]
9	Gary T. Leavens	[12]
10	Yu David Liu	[34] [39] [42] [48]
11	Xiaoqi Lu	[41] [48]
12	Menachem Magidor	[24]
13	Ian A. Mason	[7] [8] [15] [19] [22]
14	Jens Palsberg	[20]
15	Benjamin C. Pierce	[12]
16	François Pottier	[29] [38]
17	Ran Rinat	[24] [33]
18	Jonathan S. Shapiro	[49]
19	Paritosh Shroff	[44] [45] [46]
20	Christian Skalka	[26] [29] [32] [35] [36] [37] [38] [45] [47]
21	Swaroop Sridhar	[49]
22	Carolyn L. Talcott	[7] [8] [15] [19] [22] [25] [28] [31]
23	Mark Thober	[40] [43] [44] [46]
24	Valery Trifonov	[11] [12] [13] [17] [18] [21]
25	Tiejun Wang	[27] [30]
26	Amy E. Zwarico	[6] [10] [11] [13] [16]

Colors in the list of coauthors