Phil Stocks

Publication Activity (10 Years)

Years Active: 1992-2016
Publications (10 Years): 1

Top Topics

Information Flows

Specification Language

Scheduling Algorithm

Top Venues

Inf. Softw. Technol.

Publications

Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks
A low-overhead, value-tracking approach to information flow security. Inf. Softw. Technol. 73 (2016)
Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks
A concise specification language for trace monitoring. SAC (2015)
Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks
A Dynamic Approach to Locating Memory Leaks. ICTSS (2013)
Kostyantyn Vorobyov, Padmanabhan Krishnan, Phil Stocks
A Low-Overhead, Value-Tracking Approach to Information Flow Security. SEFM (2012)
Adrian Gepp, Phil Stocks
A review of procedures to evolve quantum algorithms. Genet. Program. Evolvable Mach. 10 (2) (2009)
James Larkin, Phil Stocks
Self-Replicating Expressions in the Lambda Calculus. ACSC (2004)
Barbara G. Ryder, William Landi, Phil Stocks, Sean Zhang, Rita Z. Altucher
A schema for interprocedural modification side-effect analysis with pointer aliasing. ACM Trans. Program. Lang. Syst. 23 (2) (2001)
Phil Stocks, Barbara G. Ryder, William Landi, Sean Zhang
Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem. ISSTA (1998)
Jyh-Shiarn Yur, Barbara G. Ryder, William Landi, Phil Stocks
Incremental Analysis of Side Effects for C Software System. ICSE (1997)
Phil Stocks, David A. Carrington
A Framework for Specification-Based Testing. IEEE Trans. Software Eng. 22 (11) (1996)
David A. Carrington, Phil Stocks
A Tale of Two Paradigms: Formal Methods and Software Testing. Z User Workshop (1994)
Phil Stocks, David A. Carrington
Test Templates: A Specification-Based Testing Framework. ICSE (1993)
Phil Stocks, David A. Carrington
Test Template Framework: A Specification-Based Testing Case Study. ISSTA (1993)
Phil Stocks, Kerry Raymond, David A. Carrington, Andrew Lister
Modelling open distributed systems in Z. Comput. Commun. 15 (2) (1992)