BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Greece
1 × India
1 × South Africa
1 × Vietnam
2 × Italy
6 × USA
Collaborated with:
∅ P.Müller O.Tripp M.Pistoia L.Brutschy A.Cortesi M.Novácek D.Schweizer M.Zanioli R.Fuchs U.Juhasz F.Logozzo M.Fähndrich A.Aydin D.Piorkowski
Talks about:
analysi (6) static (5) valu (3) multithread (2) interpret (2) abstract (2) program (2) privaci (2) generic (2) develop (2)

Person: Pietro Ferrara

DBLP DBLP: Ferrara:Pietro

Contributed to:

OOPSLA 20152015
VMCAI 20152015
FASE 20142014
ISSTA 20142014
OOPSLA 20142014
VMCAI 20142014
SAC 20122012
SEFM 20122012
VMCAI 20122012
SEFM 20092009
OOPSLA 20082008
SEFM 20082008
TAP 20082008
FASE 20172017

Wrote 15 papers:

OOPSLA-2015-BrutschyFTP #named #resource management
ShamDroid: gracefully degrading functionality in the presence of limited resource access (LB, PF, OT, MP), pp. 316–331.
VMCAI-2015-CortesiFPT #mobile #policy #privacy #semantics #verification
Datacentric Semantics for Verification of Privacy Policy Compliance by Mobile Applications (AC, PF, MP, OT), pp. 61–79.
VMCAI-2015-Ferrara0N #automation
Automatic Inference of Heap Properties Exploiting Value Domains (PF, PM, MN), pp. 393–411.
FASE-2014-FerraraSB #cost analysis #named
TouchCost: Cost Analysis of TouchDevelop Scripts (PF, DS, LB), pp. 109–124.
ISSTA-2014-TrippFP #analysis #hybrid #javascript #partial evaluation #security #web
Hybrid security analysis of web JavaScript code via dynamic partial evaluation (OT, PF, MP), pp. 49–59.
OOPSLA-2014-BrutschyF0 #developer #independence #static analysis
Static analysis for independent app developers (LB, PF, PM), pp. 847–860.
VMCAI-2014-Ferrara #abstract interpretation #analysis
Generic Combination of Heap and Value Analyses in Abstract Interpretation (PF), pp. 302–321.
SAC-2012-ZanioliFC #information management #named #static analysis
SAILS: static analysis of information leakage with sample (MZ, PF, AC), pp. 1308–1313.
SEFM-2012-FerraraFJ #analysis
TVAL+ : TVLA and Value Analyses Together (PF, RF, UJ), pp. 63–77.
VMCAI-2012-FerraraM #automation
Automatic Inference of Access Permissions (PF, PM), pp. 202–218.
SEFM-2009-Ferrara #java #named #parallel #source code #thread
Checkmate: A Generic Static Analyzer of Java Multithreaded Programs (PF), pp. 169–178.
OOPSLA-2008-FerraraLF #dot-net
Safer unsafe code for .NET (PF, FL, MF), pp. 329–346.
SEFM-2008-Ferrara #parallel #source code #static analysis #thread
Static Analysis of the Determinism of Multithreaded Programs (PF), pp. 41–50.
TAP-2008-Ferrara #abstract interpretation #memory management #static analysis
Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model (PF), pp. 116–133.
FASE-2017-AydinPTFP #mobile #policy #privacy #visual notation
Visual Configuration of Mobile Privacy Policies (AA, DP, OT, PF, MP), pp. 338–355.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.