9 citations · 14 across the 4 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2013★ 5 cited
Probabilistic data flow analysis: a linear equational approach
Alessandra Di Pierro, Herbert Wiklicky
Speculative optimisation relies on the estimation of the probabilities that certain properties of the control flow are fulfilled. Concrete or estimated branch probabilities can be…
cs.PL2010
Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages
Alessandra Di Pierro, Gethin Norman
This volume contains the proceedings of the Eighth Workshop on Quantitative Aspects of Programming Languages (QAPL 2010), held in Paphos, Cyprus, on March 27-28, 2010. QAPL 2010 is…