Research
My topics of interest include the development of static
analysis-based tools for optimization, debugging, and
verification of programs. Check also my
CV
[pdf]
and
my
LinkedIn profile .
Drafts
-
J. Jaffar,
J. Navas, and
A. E. Santosa.
Path-Sensitive Timing Analysis .
Submitted 2010.
Publications in Conferences and Workshops
( DBLP )
-
F. Bueno,
J. Navas,
M. Hermenegildo
Towards Parameterized Regular Type Inference
Using Set Constraints
19th Workshop on Logic-based methods in Programming Environments.
(WLPE'09)
-
J. Navas,
M. Méndez,
M. Hermenegildo
Generic Resource Usage Bounds Analysis for
Java Bytecode
4th Workshop on Bytecode Semantics,
Verification, Analysis and
Transf.
(BYTECODE'09)
-
E. Trias,
J. Navas,
E. S. Ackley,
S. Forrest,
M. Hermenegildo
Negative Ternary Set-Sharing
24th International Conference on Logic Programming
(ICLP'08)
-
J. Navas,
E. Mera,
P. López-García,
M. Hermenegildo
User-Definable Resource Bounds Analysis
for Logic Programs
23rd
International Conference on Logic Programming
(ICLP'07)
-
M. Méndez,
J. Navas,
M. Hermenegildo
A Flexible, (C)LP-based Approach to the Analysis of
Object-Oriented Programs
17th Int. Symposium on Logic-Based
Program Synthesis and Transf.
(LOPSTR'07)
-
J. Navas,
M. Méndez,
M. Hermenegildo
A Generic, Context Sensitive Analysis Framework
for Object Oriented Programs
9th Workshop on Formal Techniques for Java-like
Programs
(FTfJP'07)
-
M. Méndez,
J. Navas,
M. Hermenegildo
Efficient, Parametric Fixpoint Algorithm
for Analysis of Java Bytecode
2nd Workshop on Bytecode Semantics, Verification,
Analysis and Transf.
(BYTECODE'07)
-
J. Navas,
F. Bueno,
M. Hermenegildo
Efficient top-down set-sharing analysis using cliques
8th Int. Symposium on Practical
Aspects of Declarative Languages
(PADL'06)
Books and Monographs
-
J. Navas.
Analysis and Inference of Resource Usage
Information. Ph.D. Thesis,
University of New Mexico (UNM), Department of Computer Science, August
2008.
