Travelled to:1 × France
1 × Portugal
1 × Spain
3 × USA
Collaborated with:P.López-García M.V.Hermenegildo M.Carro G.Puebla T.Trigo J.A.Navas
Talks about:time (5) program (3) analysi (3) profil (3) execut (3) logic (3) estim (3) static (2) combin (2) check (2)
Person: Edison Mera
DBLP: Mera:Edison
Contributed to:
2011
2009
2008200720072006Wrote 6 papers:
- PADL-2011-MeraTLH #debugging #logic programming #performance #profiling #runtime #source code
- Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs (EM, TT, PLG, MVH), pp. 38–53.
- ICLP-2009-MeraLH #framework #runtime #testing #verification
- Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework (EM, PLG, MVH), pp. 281–295.
- PPDP-2008-MeraLCH #automaton #estimation #execution #towards
- Towards execution time estimation in abstract machine-based languages (EM, PLG, MC, MVH), pp. 174–184.
- ICLP-2007-NavasMLH #analysis #bound #logic programming #source code
- User-Definable Resource Bounds Analysis for Logic Programs (JAN, EM, PLG, MVH), pp. 348–363.
- PADL-2007-MeraLPCH #execution #profiling #static analysis
- Combining Static Analysis and Profiling for Estimating Execution Times (EM, PLG, GP, MC, MVH), pp. 140–154.
- ICLP-2006-MeraLPCH #estimation #execution #logic programming #profiling #static analysis #using
- Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation (EM, PLG, GP, MC, MVH), pp. 431–432.