dblp.uni-trier.dewww.uni-trier.de

Scott F. Smith

The Johns Hopkins University

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2008
49EESwaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith: Sound and Complete Type Inference for a Systems Programming Language. APLAS 2008: 290-306
48EEYu David Liu, Xiaoqi Lu, Scott F. Smith: Coqa: Concurrent Objects with Quantized Atomicity. CC 2008: 260-275
47EEChristian Skalka, Scott F. Smith, David Van Horn: Types and trace effects of higher order programs. J. Funct. Program. 18(2): 179-249 (2008)
46EEParitosh Shroff, Scott F. Smith, Mark Thober: Securing information flow via dynamic capture of dependencies. Journal of Computer Security 16(5): 637-688 (2008)
2007
45EEParitosh Shroff, Christian Skalka, Scott F. Smith: The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. APLAS 2007: 2-18
44EEParitosh Shroff, Scott F. Smith, Mark Thober: Dynamic Dependency Monitoring to Secure Information Flow. CSF 2007: 203-217
43EEScott F. Smith, Mark Thober: Improving usability of information flow security in java. PLAS 2007: 11-20
2006
42EEYu David Liu, Scott F. Smith: A formal framework for component deployment. OOPSLA 2006: 325-344
41EEXiaoqi Lu, Scott F. Smith: A microkernel virtual machine: : building security with clear interfaces. PLAS 2006: 47-56
40EEScott F. Smith, Mark Thober: Refactoring programs to secure information flows. PLAS 2006: 75-84
2005
39EEYu David Liu, Scott F. Smith: Interaction-based programming with classages. OOPSLA 2005: 191-209
38EEFrançois Pottier, Christian Skalka, Scott F. Smith: A systematic approach to static access control. ACM Trans. Program. Lang. Syst. 27(2): 344-382 (2005)
37EEChristian 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)
36EEChristian Skalka, Scott F. Smith: Static use-based object confinement. Int. J. Inf. Sec. 4(1-2): 87-104 (2005)
2004
35EEChristian Skalka, Scott F. Smith: History Effects and Verification. APLAS 2004: 107-128
34EEYu David Liu, Scott F. Smith: Modules with Interfaces for Dynamic Linking and Communication. ECOOP 2004: 414-439
2002
33EERan Rinat, Scott F. Smith: Modular Internet Programming with Cells. ECOOP 2002: 257-280
32EEChristian 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
30EETiejun Wang, Scott F. Smith: Precise Constraint-Based Type Inference for Java. ECOOP 2001: 99-117
29EEFranç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
27EEScott F. Smith, Tiejun Wang: Polyvariant Flow Analysis with Constrained Types. ESOP 2000: 382-396
26EEChristian 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
24EERan Rinat, Menachem Magidor, Scott F. Smith: Correspondence Polymorphism for Object-Oriented Languages. OOPSLA 1999: 167-186
1997
23EEScott 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
20EEJens 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
17EEJonathan 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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)