William Landi

According to our database1, William Landi authored at least 21 papers between 1990 and 2003.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2003
Secure De-identification and Re-identification.
Proceedings of the AMIA 2003, 2003

2001
Complexity of Points-To Analysis of Java in the Presence of Exceptions.
IEEE Trans. Software Eng., 2001

A schema for interprocedural modification side-effect analysis with pointer aliasing.
ACM Trans. Program. Lang. Syst., 2001

1999
Relevant Context Inference.
Proceedings of the POPL '99, 1999

An Incremental Flow- and Context-Sensitive Pointer Aliasing Analysis.
Proceedings of the 1999 International Conference on Software Engineering, 1999

Data-Flow Analysis of Program Fragments.
Proceedings of the Software Engineering, 1999

1998
Experiments with Combined Analysis for Pointer Aliasing.
Proceedings of the SIGPLAN/SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, 1998

Comparing Flow and Context Sensitivity on the Modification-Side-Effects Problem.
Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis, 1998

Complexity of Concrete Type-Inference in the Presence of Exceptions.
Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998

1997
Incremental Analysis of Side Effects for C Software System.
Proceedings of the Pulling Together, 1997

1996
Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses.
Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

1995
An Extended Form of Must Alias Analysis for Dynamic Allocation.
Proceedings of the Conference Record of POPL'95: 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1995

1994
Interprocedural Def-Use Associations for C Systems with Single Level Pointers.
IEEE Trans. Software Eng., 1994

1993
Pointer-Induced Aliasing: A Clarification.
ACM SIGPLAN Notices, 1993

Interprocedural Side Effect Analysis With Pointer Aliasing.
Proceedings of the ACM SIGPLAN'93 Conference on Programming Language Design and Implementation (PLDI), 1993

1992
Undecidability of Static Analysis.
LOPLAS, 1992

A safe approximate algorithm for interprocedural pointer aliasing (with retrospective)
Proceedings of the 20 Years of the ACM SIGPLAN Conference on Programming Language Design and Implementation 1979-1999, 1992

A Safe Approximate Algorithm for Interprocedural Pointer Aliasing.
Proceedings of the ACM SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), 1992

1991
Pointer-Induced Aliasing: A Problem Classification.
Proceedings of the Conference Record of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991

Interprocedural Def-Use Associations in C Programs.
Proceedings of the Symposium on Testing, Analysis, and Verification, 1991

1990
Profiling an Incremental Data Flow Analysis Algorithm.
IEEE Trans. Software Eng., 1990


  Loading...