4
Publications
277
Citations
4
H-Index
2001
Active since
Affiliations
Samuele Pedroni is an author at Heinrich Heine University Düsseldorf specializing in engineering, formal methods, and computer engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputer EngineeringParallel ProgrammingSoftware EngineeringComputer Architecture
Publications per year
2001–2011
4
4
PyPy's approach to virtual machine construction
Armin Rigo, Samuele Pedroni · 2006 · 170 citations
Engineering, Compiler Technology, System Programming Language +20
Allocation removal by partial evaluation in a tracing JIT
Carl Friedrich Bolz, Antonio Cuni, Maciej FijaBkowski et al. · 2011 · 50 citations
Mathematical Programming, Engineering, Compiler Technology +24
Enumerating triangulation paths
Adrian Dumitrescu, Bernd Gärtner, Samuele Pedroni et al. · Computational Geometry · 2001 · 13 citations
Rows per page
1–4 of 4