Jonathan D. Pincus

According to our database, Jonathan D. Pincus authored at least 6 papers between 1986 and 2005.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2005

Towards an Algebra for Security Policies.

Jonathan D. Pincus, Jeannette M. Wing

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004

Righting Software.

James R. Larus, Thomas Ball, Manuvir Das, Robert DeLine, Manuel Fähndrich, Jonathan D. Pincus, Sriram K. Rajamani, Ramanathan Venkatapathy

IEEE Softw., 2004

Beyond Stack Smashing: Recent Advances in Exploiting Buffer Overruns.

Jonathan D. Pincus, Brandon Baker

IEEE Secur. Priv., 2004

2000

A static analyzer for finding dynamic programming errors.

William R. Bush, Jonathan D. Pincus, David J. Sielaff

Softw. Pract. Exp., 2000

Analysis is necessary, but far from sufficient: Experiences building and deploying successful tools for developers and testers (abstract only).

Jonathan D. Pincus

Proceedings of the International Symposium on Software Testing and Analysis, 2000

1986

Delay reduction using simulated annealing.

Jonathan D. Pincus, Alvin M. Despain

Proceedings of the 23rd ACM/IEEE Design Automation Conference. Las Vegas, 1986