profile icon
Dr

Jorge Navas Laserna

Honorary
Computing And Information Systems
technology
computer science
science & technology
computer science, theory & methods
computer science, software engineering
science & technology - other topics
logic
programs
program analysis
Jorge Navas Laserna's Profile Picture
Dr

Jorge Navas Laserna

 
Division
Engineering
 
Primary Interest
Programing Languages in the area of program analysis
Jorge Navas Laserna's Profile Picture
Dr

Jorge Navas Laserna

 

Jorge A. Navas is currently a Research Scientist at NASA Ames Research Center. He received a Bachelor in Computer Science from Technical University of Madrid, Spain (2003) anda PhD in Computer Science from the University of New Mexico, USA in 2008.After graduation, he held post-doc positions at National University of Singapore (2008-2011) and The University of Melbourne (2011-2013).Jorge's primary research areas are programming languages, program analysis, software verification and testing.His work has been published in top conferences such as CAV, TACAS, SAS, FSE, and ICLP.

Scholarly Works

Displaying the 14 most recent scholarly works by Jorge Navas Laserna.

Scholarly works icon

Dissecting widening: Separating termination from information

G Gange, JA Navas, P Schachte, H Søndergaard, PJ Stuckey

Conference Proceedings  |  2019  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Widening ensures or accelerates convergence of a program analysis, and sometimes contributes a guarantee of soundness that would o..

Scholarly works icon

Analyzing Array Manipulating Programs by Program Transformation

JRM Cornish, G Gange, JA Navas, P Schachte, H SONDERGAARD, PJ Stuckey

Conference Proceedings  |  2015  |  LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014)

Scholarly works icon

Interval Analysis and Machine Arithmetic: Why Signedness Ignorance Is Bliss

G Gange, JA Navas, P Schachte, H Sondergaard, PJ Stuckey

Journal article  |  2015  |  ACM Transactions on Programming Languages and Systems

Scholarly works icon

Horn Clauses As an Intermediate Representation for Program Analysis and Transformation

G Gange, J Navas Laserna, P Schachte, H SONDERGAARD, PJ Stuckey

Journal article  |  2015  |  Theory and Practice of Logic Programming

Scholarly works icon

A tool for intersecting context-free grammars and its applications

G Gange, JA Navas, P Schachte, H Sondergaard, PJ Stuckey

Conference Proceedings  |  2015  |  Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Scholarly works icon

Failure tabled constraint logic programming by interpolation

Graeme Gange, Jorge A Navas, Peter Schachte, Harald Sondergaard, Peter J Stuckey

Journal article  |  2013  |  Theory and Practice of Logic Programming

Scholarly works icon

Boosting Concolic Testing via Interpolation

J Jaffar, V Murali, JA Navas

Conference Proceedings  |  2013  |  Proceedings of the 2013 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE)

Scholarly works icon

Unbounded model-checking with interpolation for regular language constraints

G Gange, JA Navas, PJ Stuckey, H Sondergaard, P Schachte

Conference Proceedings  |  2013  |  Tools and Algorithms for the Construction and Analysis of Systems

Scholarly works icon

Abstract Interpretation over Non-Lattice Abstract Domains

G Gange, JA Navas, P Schachte, H Sondergaard, PJ Stuckey

Conference Proceedings  |  2013  |  Static Analysis

Scholarly works icon

Modelling Destructive Assignments

K FRANCIS, JA Navas, PJ Stuckey

Conference Proceedings  |  2013  |  Principles and Practice of Constraint Programming

Scholarly works icon

TRACER: A symbolic execution tool for verification

J Jaffar, V Murali, JA Navas, AE Santosa

Conference Proceedings  |  2012  |  Lecture Notes in Computer Science

Scholarly works icon

Signedness-Agnostic Program Analysis: Precise Integer Bounds for Low-Level Code

JA Navas, P Schachte, H Sondergaard, PJ Stuckey

Conference Proceedings  |  2012  |  APLAS 2012: Proceedings of the 10th Asian Symposium on Programming Languages and Systems

Scholarly works icon

Path-Sensitive Backward Slicing

J Jaffar, V Murali, JA Navas, A Santosa

Conference Proceedings  |  2012  |  Lecture Notes in Computer Science

Scholarly works icon

Unbounded Symbolic Execution for Program Verification

J Jaffar, J Navas, A Santosa

Conference Proceedings  |  2012  |  Lecture Notes in Computer Science

14

Scholarly Works

Keyword Analysis

Computer Software
Computer Software and Services
Computation Theory and Mathematics
Expanding Knowledge

Honours, Awards and Fellowships

2004

Prince of Asturias Graduate Research Fellowship in Information Science and Technology at the University of New Mexico.

1

Award

Credentials

Positions

Honorary

Computing And Information Systems

Education

PhD in Computer Science

University of New Mexico