Phil Stocks

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