A Survey of Adaptive Optimization in Virtual Machines
Arnold, M., Fink, S.J., Grove, D., Hind, M., Sweeney, P.F.
Published in Proceedings of the IEEE (01.02.2005)
Published in Proceedings of the IEEE (01.02.2005)
Get full text
Journal Article
Static Specification Mining Using Automata-Based Abstractions
Shoham, S., Yahav, E., Fink, S.J., Pistoia, M.
Published in IEEE transactions on software engineering (01.09.2008)
Published in IEEE transactions on software engineering (01.09.2008)
Get full text
Journal Article
When Role Models Have Flaws: Static Validation of Enterprise Security Policies
Pistoia, M., Fink, S.J., Flynn, R.J., Yahav, E.
Published in 29th International Conference on Software Engineering (ICSE'07) (01.05.2007)
Published in 29th International Conference on Software Engineering (ICSE'07) (01.05.2007)
Get full text
Conference Proceeding
Parallel cluster identification for multidimensional lattices
Fink, S.J., Huston, C., Baden, S.B., Jansen, K.
Published in IEEE transactions on parallel and distributed systems (01.11.1997)
Published in IEEE transactions on parallel and distributed systems (01.11.1997)
Get full text
Journal Article
Cluster identification on a distributed memory multiprocessor
Fink, S.J., Baden, S.B., Jansen, K.
Published in Proceedings of IEEE Scalable High Performance Computing Conference (1994)
Published in Proceedings of IEEE Scalable High Performance Computing Conference (1994)
Get full text
Conference Proceeding