Andrei Rimsa

According to our database, Andrei Rimsa authored at least 8 papers between 2009 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Instruction visibility in SPEC CPU2017.

Andrei Rimsa Álvares, José Nelson Amaral, Fernando Magno Quintão Pereira

J. Comput. Lang., 2021

Practical dynamic reconstruction of control flow graphs.

Andrei Rimsa, José Nelson Amaral, Fernando M. Q. Pereira

Softw. Pract. Exp., 2021

2019

Efficient and Precise Dynamic Construction of Control Flow Graphs.

Andrei Rimsa, José Nelson Amaral, Fernando Magno Quintão Pereira

Proceedings of the XXIII Brazilian Symposium on Programming Languages, 2019

2014

Efficient static checker for tainted variable attacks.

Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira, Roberto da Silva Bigonha

Sci. Comput. Program., 2014

2013

SCGaz - A Synthetic Formal Context Generator with Density Control for Test and Evaluation of FCA Algorithms.

Andrei Rimsa, Mark A. J. Song, Luis E. Zárate

Proceedings of the IEEE International Conference on Systems, 2013

2011

Tainted Flow Analysis on e-SSA-Form Programs.

Andrei Rimsa, Marcelo d'Amorim, Fernando Magno Quintão Pereira

Proceedings of the Compiler Construction - 20th International Conference, 2011

2009

Handling Large Formal Context Using BDD - Perspectives and Limitations.

Andrei Rimsa, Luis E. Zárate, Mark A. J. Song

Proceedings of the Formal Concept Analysis, 7th International Conference, 2009

Evaluation of Different BDD Libraries to Extract Concepts in FCA - Perspectives and Limitations.

Andrei Rimsa, Luis E. Zárate, Mark A. J. Song

Proceedings of the Computational Science, 2009