Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(61)
Patricia M. Hill
12
Giorgio Levi
7
Etienne Payet (Étienne Payet)
6
Thomas Jensen
2
Fred Mesnard
2
Conferences
(13)
SAS(WSA)
4
AGP
4
AMAST
3
VMCAI
3
ICSE
1
Journals
(12)
Higher-order and Symbolic Computation / Lisp and Symbolic Computation
2
TOPLAS
2
ENTCS
2
EAAI
2
IANDC
1
Keywords
(70)
Embed
Subscribe
Academic
Authors
Fausto Spoto
Edit
Fausto Spoto
Università degli Studi di Verona
Publications: 50
|
Citations: 351
|
G-Index: 16
|
H-Index: 11
The information is calculated based on the tens of millions of scholarly articles currently discoverable within Microsoft Academic Search. As more content gets indexed, the accuracy and completeness will continue to improve.
Interests:
Software Engineering
,
Programming Languages
,
Algorithms & Theory
View FAQ about top research area and research interests
Collaborated with
61 co-authors
from 1996 to 2011
; Cited by
212 authors
Homepage
|
Bing
Cumulative
Annual
Order by:
Publications
(50)
BibTeX
|
RIS
|
RefWorks
Download
Precise null-pointer analysis
(
Citations: 4
)
Fausto Spoto
Journal:
Software and System Modeling - SOSYM
, vol. 10, no. 2, pp. 219-252, 2011
Inference of field initialization
(
Citations: 1
)
Fausto Spoto
,
Michael D. Ernst
Conference:
International Conference on Software Engineering - ICSE
, pp. 231-240, 2011
A termination analyzer for Java bytecode based on path-length
(
Citations: 14
)
Fausto Spoto
,
Fred Mesnard
,
Étienne Payet
Journal:
ACM Transactions on Programming Languages and Systems - TOPLAS
, vol. 32, no. 3, pp. 1-70, 2010
The Nullness Analyser of julia
(
Citations: 1
)
Fausto Spoto
Published in 2010.
Magic-sets for localised analysis of Java bytecode
Fausto Spoto
,
Étienne Payet
Journal:
Higher-order and Symbolic Computation / Lisp and Symbolic Computation
, vol. 23, no. 1, pp. 29-86, 2010
Order by:
Citations
(351 times by 192 publications)
Closed-Form Upper Bounds in Static Cost Analysis
(
Citations: 5
)
Elvira Albert
,
Puri Arenas
,
Samir Genaim
,
Germán Puebla
Journal:
Journal of Automated Reasoning - JAR
, vol. 46, no. 2, pp. 161-203, 2011
Precise null-pointer analysis
(
Citations: 4
)
Fausto Spoto
Journal:
Software and System Modeling - SOSYM
, vol. 10, no. 2, pp. 219-252, 2011
Automated termination proofs for haskell by term rewriting
(
Citations: 4
)
Jürgen Giesl
,
Matthias Raffelsieper
,
Peter Schneider-Kamp
,
Stephan Swiderski
,
René Thiemann
Journal:
ACM Transactions on Programming Languages and Systems - TOPLAS
, vol. 33, no. 2, pp. 1-39, 2011
Inference of field initialization
(
Citations: 1
)
Fausto Spoto
,
Michael D. Ernst
Conference:
International Conference on Software Engineering - ICSE
, pp. 231-240, 2011
Task-level analysis for a language with async/finish parallelism
(
Citations: 1
)
Elvira Albert
,
Puri Arenas
,
Samir Genaim
,
Damiano Zanardini
Conference:
Languages, Compilers, and Tools for Embedded Systems - LCTES
, pp. 21-30, 2011
Comments