| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Zachary Palmer, Scott F. Smith |
Backstage Java: making a difference in metaprogramming.  |
OOPSLA  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aditya Kulkarni, Yu David Liu, Scott F. Smith |
Task types for pervasive atomicity. |
OOPSLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott F. Smith |
2008 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology (CIBCB 2008) [Conference Reports]. |
IEEE Comp. Int. Mag. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Paritosh Shroff, Scott F. Smith, Mark Thober |
Securing information flow via dynamic capture of dependencies. |
Journal of Computer Security |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Skalka, Scott F. Smith, David Van Horn |
Types and trace effects of higher order programs. |
J. Funct. Program. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott F. Smith, Kay C. Wiese |
Integrating Thermodynamic and Observed-Frequency Data for Non-coding RNA Gene Search. |
T. Comp. Sys. Biology |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott F. Smith |
RNA Search Acceleration with Genetic Algorithm Generated Decision Trees. |
ICMLA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu David Liu, Xiaoqi Lu, Scott F. Smith |
Coqa: Concurrent Objects with Quantized Atomicity. |
CC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Swaroop Sridhar, Jonathan S. Shapiro, Scott F. Smith |
Sound and Complete Type Inference for a Systems Programming Language. |
APLAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott F. Smith, Mark Thober |
Improving usability of information flow security in java. |
PLAS |
2007 |
DBLP DOI BibTeX RDF |
java, security policies, type inference, declassification, information flow security |
| 1 | Paritosh Shroff, Scott F. Smith, Mark Thober |
Dynamic Dependency Monitoring to Secure Information Flow. |
CSF |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paritosh Shroff, Christian Skalka, Scott F. Smith |
The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
0CFA, program analysis, program verification, higher-order |
| 1 | Xiaoqi Lu, Scott F. Smith |
A microkernel virtual machine: : building security with clear interfaces. |
PLAS |
2006 |
DBLP DOI BibTeX RDF |
Java, access control, frameworks, virtual machine, interface, kernel, language-based security |
| 1 | Scott F. Smith, Mark Thober |
Refactoring programs to secure information flows. |
PLAS |
2006 |
DBLP DOI BibTeX RDF |
refactoring, information flow, slicing, declassification |
| 1 | Yu David Liu, Scott F. Smith |
A formal framework for component deployment. |
OOPSLA |
2006 |
DBLP DOI BibTeX RDF |
component, deployment, version |
| 1 | Christian Skalka, Scott F. Smith |
Static use-based object confinement. |
Int. J. Inf. Sec. |
2005 |
DBLP DOI BibTeX RDF |
Security, Programming languages, Type systems, Confinement |
| 1 | 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. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | François Pottier, Christian Skalka, Scott F. Smith |
A systematic approach to static access control. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
access control, Type systems, stack inspection |
| 1 | Yu David Liu, Scott F. Smith |
Interaction-based programming with classages. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
classages, interaction, interface, encapsulation, relationship, confinement |
| 1 | Christian Skalka, Scott F. Smith |
History Effects and Verification. |
APLAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu David Liu, Scott F. Smith |
Modules with Interfaces for Dynamic Linking and Communication. |
ECOOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Skalka, Scott F. Smith |
Set Types and Applications. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott F. Smith, Carolyn L. Talcott |
Specification Diagrams for Actor Systems. |
Higher-Order and Symbolic Computation |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ran Rinat, Scott F. Smith |
Modular Internet Programming with Cells. |
ECOOP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Tiejun Wang, Scott F. Smith |
Precise Constraint-Based Type Inference for Java. |
ECOOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | François Pottier, Christian Skalka, Scott F. Smith |
A Systematic Approach to Static Access Control. |
ESOP |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott F. Smith, Carolyn L. Talcott (eds.) |
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 |
2000 |
DBLP BibTeX RDF |
|
| 1 | Christian Skalka, Scott F. Smith |
Static enforcement of security with types. |
ICFP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott F. Smith, Tiejun Wang |
Polyvariant Flow Analysis with Constrained Types. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott F. Smith, Carolyn L. Talcott |
Modular Reasoning for Actor Specification Diagrams. |
FMOODS |
1999 |
DBLP BibTeX RDF |
|
| 1 | Ran Rinat, Menachem Magidor, Scott F. Smith |
Correspondence Polymorphism for Object-Oriented Languages. |
OOPSLA |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott F. Smith |
Specification Diagrams for Actor Systems. |
Electr. Notes Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott |
A Foundation for Actor Computation. |
J. Funct. Program. |
1997 |
DBLP BibTeX RDF |
|
| 1 | Ian A. Mason, Scott F. Smith, Carolyn L. Talcott |
From Operational Semantics to Domain Theory. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Jens Palsberg, Scott F. Smith |
Constrained Types and Their Expressiveness. |
ACM Trans. Program. Lang. Syst. |
1996 |
DBLP DOI BibTeX RDF |
constraints |
| 1 | Valery Trifonov, Scott F. Smith |
Subtyping Constrained Types. |
SAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott F. Smith |
Hybrid Partial-Total Type Theory. |
Int. J. Found. Comput. Sci. |
1995 |
DBLP BibTeX RDF |
|
| 1 | Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott |
A Variable Typed Logic of Effects |
Inf. Comput. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim B. Bruce, Luca Cardelli, Giuseppe Castagna, Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Gary T. Leavens, Benjamin C. Pierce |
On Binary Methods. |
TAPOS |
1995 |
DBLP BibTeX RDF |
|
| 1 | Jonathan Eifrig, Scott F. Smith, Valery Trifonov |
Type inference for recursively constrained types and its application to OOP. |
Electr. Notes Theor. Comput. Sci. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico |
An Interpretation of Typed OOP in a Language with State. |
Lisp and Symbolic Computation |
1995 |
DBLP BibTeX RDF |
|
| 1 | Scott F. Smith, Amy E. Zwarico |
Correct Compilation of Specifications to Deterministic Asynchronous Circuits. |
Formal Methods in System Design |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Eifrig, Scott F. Smith, Valery Trifonov |
Sound Polymorphic Type Inference for Objects. |
OOPSLA |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonathan Eifrig, Scott F. Smith, Valery Trifonov, Amy E. Zwarico |
Application of OOP Type Theory: State, Decidability, Integragtion. |
OOPSLA |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert L. Constable, Scott F. Smith |
Computational Foundations of Basic Recursive Function Theory. |
Theor. Comput. Sci. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott F. Smith, Amy E. Zwarico |
Correct Compilation of Specifications to Deterministic Asynchronous Circuits. |
CHARME |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Gul Agha, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott |
Towards a Theory of Actor Computation. |
CONCUR |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott F. Smith, Amy E. Zwarico |
Provably Correct Synthesis of Asynchronous Circuits. |
Designing Correct Circuits |
1992 |
DBLP BibTeX RDF |
|
| 1 | Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott |
A Theory of Classes for a Functional Language with Effects. |
CSL |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott F. Smith |
Reflective Semantics of Constructive Type Theory: Preliminary Report. |
Constructivity in Computer Science |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott F. Smith |
From Operational to Denotational Semantics. |
MFPS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Scott F. Smith |
Extracting Recursive Programs in Type Theory. |
AMAST |
1991 |
DBLP BibTeX RDF |
|
| 1 | Robert L. Constable, Scott F. Smith |
Computational Foundations of Basic Recursive Function Theory |
LICS |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert L. Constable, Scott F. Smith |
Partial Objects In Constructive Type Theory |
LICS |
1987 |
DBLP BibTeX RDF |
|
| 1 | Robert L. Constable, Stuart F. Allen, Mark Bromley, Rance Cleaveland, J. F. Cremer, R. W. Harper, Douglas J. Howe, Todd B. Knoblock, N. P. Mendler, Prakash Panangaden, James T. Sasaki, Scott F. Smith |
Implementing mathematics with the Nuprl proof development system. |
|
1986 |
RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")