| Eval begone!: semi-automated removal of eval from javascript programs F Meawad, G Richards, F Morandat, J Vitek Proceedings of the ACM international conference on Object oriented …, 2012 | 63 | 2012 |
| Loci: Simple Thread-Locality for Java. T Wrigstad, F Pizlo, F Meawad, L Zhao, J Vitek ECOOP, 445-469, 2009 | 53 | 2009 |
| Real-time wait-free queues using micro-transactions F Meawad, M Schoeberl, K Iyer, J Vitek Proceedings of the 9th International Workshop on Java Technologies for Real …, 2011 | 11 | 2011 |
| Collecting transactional garbage F Meawad, R Macnak, J Vitek TRANSACT, 2011 | 6 | 2011 |
| Microtransactions for concurrent data structures F Meawad, K Iyer, M Schoeberl, J Vitek Concurrency and Computation: Practice and Experience 25 (16), 2252-2268, 2013 | 1 | 2013 |
| Full Proofs for Loci T Wrigstad, F Pizlo, F Meawad, L Zhao, J Vitek | | |
