Márcio de Oliveira Buss

possui graduação em Engenharia Elétrica pela Universidade Federal de Santa Maria, mestrado em Ciência da Computação pela Universidade Estadual de Campinas (UNICAMP), e Ph.D. em ciência da computação pela Columbia University, New York, EUA. Tem experiência na área de Ciência da Computação, com ênfase em qualidade de software, busca automatizada de erros em software, linguagens de programação, semantica de programas, analise estatica de programas, compiladores, arquitetura de computadores, sistemas digitais, verificação de software e provadores automaticos de teoremas.

Informações coletadas do Lattes em 29/10/2022

Acadêmico

Formação acadêmica

Doutorado em Ciencia da Computacao

2004 - 2008

Columbia University
Título: Summary-Based Pointer Analysis Framework for Modular Bug-Finding
Orientador: Stephen A. Edwards e Alfred V. Aho
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico. Palavras-chave: Analise Estatica de Programas; Compiladores; Linguages de Programacao; Pointer Analysis; Bug-Finding.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação. Setores de atividade: Informática.

Mestrado em Ciência da Computação

1999 - 2001

Universidade Estadual de Campinas
Guido Costa Souza de Araújo.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: Compiladores; Arquitetura de Computadores; Otimização de Código; Program Dependence Graph; VLIW; Reconfigurable Computing. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Arquitetura de Sistemas de Computação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Hardware. Setores de atividade: Informática; Industria Eletro-Eletrônica.

Graduação em andamento em Ciência da Computação

1996 - Atual

Universidade Federal de Santa Maria

Graduação em Engenharia Elétrica

1993 - 1998

Universidade Federal de Santa Maria
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico.

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Espanhol

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.

Bandeira representando o idioma Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Hardware.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Linguagens de Programação.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos/Especialidade: Automação Eletrônica de Processos Elétricos e Industriais.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos/Especialidade: Eletrônica Industrial.

Produções bibliográficas

  • BUSS, M. O. ; BRAND, D. ; SREEDHAR, V. C. ; EDWARDS, S. A. . Flexible Pointer Analysis Using Assign-Fetch Graphs. In: 23rd ACM Symposium on Applied Computing, 2008. Proceedings of the ACM Symposium on Applied Computing, 2008, 2008. p. 234-239.

  • BRAND, D. ; BUSS, M. O. ; SREEDHAR, V. C. . Evidence-Based Analysis and Inferring Preconditions for Bug Detection. In: IEEE International Conference on Software Maintenance, 2007, Paris. Proceedings of the 23rd ICSM, 2007.

  • BUSS, M. O. ; EDWARDS, S. A. ; YAO, B. ; WADDINGTON, D. . Pointer Analysis for Source-to-Source Transformations. In: IEEE Source Code Analysis and Manipulation (SCAM), 2005, Budapeste. Proceedings of the 5th SCAM, 2005.

  • BUSS, M. O. ; Nikil Dutt ; Tony Givargis . Exploring Efficient Operating Points for Voltage Scaled Embedded Processor Cores. In: Real-Time Systems Symposium, 2003, Cancun, Mexico. Proceedings of the 24th Real-Time Systems Symposium. New York: IEEE, 2003.

  • BUSS, M. O. ; ARAUJO, G. ; AZEVEDO, R. J. ; CENTODUCATTE, P. C. . Tailoring Pipeline Bypassing and Functional Unit Mapping to Application in Clustered VLIW Architectures. In: International Conference on Compilers, Architectures and Synthesis for Embedded Systems, 2001, Atlanta, GA. Proceedings of the CASES2001, 2001.

  • BUSS, M. O. ; SCHRAMM, D. S. . Sensorless Cancellation of the Low-Frequency Harmonics in DICM-PFC Boost Converters. In: V Brazilian Power Electronics Conference, 1999, Foz do Iguaçú. Proceedings of the V Brazilian Power Electronics Conference, 1999. v. 1.

  • BUSS, M. O. ; BAMPI, S. ; REIS, R. ; ROCHOL, J. ; COSTA, E. ; FERREIRA, F. ; LIMA, F. ; FRAGOSO, J. ; BARCELOS, M. ; SANTOS, R. ; SERRA, T. . LAWAI: Uma Alternativa para a Interligação de LAN's a Grande Distência. In: V Workshop IBERCHIP, 1999, Lima. Quinto Workshop IBERCHIP - Memorias, 1999. v. 1. p. 325-333.

  • BUSS, M. O. ; SCHRAMM, D. S. . Mathematical Analysis of a New Harmonic Cancellation Technique of the Input Line Current in DICM Boost Converters. In: IEEE Power Electronics Specialists Conference, 1998, Fukuoka. Record of the 29th Annual IEEE Power Electronics Specialists Conference. Atlanta, Georgia: IEEE Power Electronics Society, 1998. v. 2. p. 1337-1343.

  • BUSS, M. O. ; DENARDIN, C. ; BELINAZO, H. ; BELINAZO, M. . Dimensionamento de Aquecedores de Acumulação para Unidades Habitacionais. In: VIII Simpósio Nacional de Sistemas Prediais, 1994, São Paulo. Anais do VIII Simpósio Nacional de Sistemas Prediais, 1994. v. 1. p. 123-130.

  • BUSS, M. O. ; SCHRAMM, D. S. . Sistema de Aquisição de Dados de 16 Bits. In: V Salão de Iniciação Científica da USP, 1997, São Paulo. Anais do V Salão de Iniciação Científica da USP, 1997.

  • BUSS, M. O. ; SCHRAMM, D. S. . Medição e Controle Microprocessado de Temperatura. In: XII Congresso Regional de Iniciação Científica e Tecnológica em Engenharia, 1996, Curitiba. Anais do XII CRICTE, 1996.

  • BUSS, M. O. ; SCHRAMM, D. S. . Estudo de um Circuito Retificador com Correção do Fator de Potência. In: XII Congresso Regional de Iniciação Científica e Tecnológica em Engenharia, 1996, Curitiba. Anais do XII CRICTE, 1996.

  • BUSS, M. O. ; SCHRAMM, D. S. . Controle de Motores de Passo para uma Estação de Solda Automatizada. In: XI Congresso Regional de Iniciação Científica e Tecnológica em Engenharia, 1995, Caxias do Sul. Anais do XI CRICTE, 1995.

Outras produções

BUSS, M. O. . ORCA. 1995.

BUSS, M. O. ; DENARDIN, C. ; BELINAZO, H. . DIMAQ. 1994.

Prêmios

2007

Invention Achievement Award (certificado mais US$ 1.500,00), IBM Corporation.

2006

IBM Thanks Award, IBM T.J. Watson Research.

2005

Extraordinary Teaching Assistant Award, Columbia University.

2004

Bell Laboratories Research Outstading Summer Internship, Lucent Technologies / Bell Labs Research.

1998

Primeiro Lugar na Turma de Formandos do Curso de Engenharia Elétrica do ano de 1998, Universidade Federal de Santa Maria.

1992

Primeiro Lugar na Turma de Formandos em Eletrotécnica do ano de 1992, Colégio Técnico Industrial de Santa Maria - UFSM.

Histórico profissional

Endereço profissional

  • McKinsey & Company. , Rua Alexandre Dumas, 1711 - 10o andar, Chacara Santo Antonio, 04717-004 - Sao Paulo, SP - Brasil

Experiência profissional

2006 - 2007

IBM Thomas J Watson Research Center - Yorktown Heights

Vínculo: "Full-time thesis student", Enquadramento Funcional: Pesquisador, Carga horária: 40

2005 - 2005

Bell Laboratories Research

Vínculo: Pesquisador, Enquadramento Funcional: Pesquisador, Carga horária: 40

1998 - 1999

Universidade Federal do Rio Grande do Sul

Vínculo: Colaborador, Enquadramento Funcional: Membro de um grupo RHAE, Carga horária: 40

Atividades

  • 09/1998 - 02/1999

    Pesquisa e desenvolvimento , Instituto de Informática, Grupo de Microeletrônica.,Linhas de pesquisa

1997 - 1997

Universidade Federal de Santa Maria

Vínculo: Colaborador, Enquadramento Funcional: Estagiário, Carga horária: 20

Atividades

  • 08/1997 - 11/1997

    Estágios , Núcleo de Automação e Processos de Fabricação, Laboratório de Eletrônica Aplicada.,Estágio realizado, Pesquisas e Desenvolvimentos em Eletrônica de Potência.

1995 - 1995

Nord Automação Industrial Ltda

Vínculo: Colaborador, Enquadramento Funcional: Estagiário, Carga horária: 40

Atividades

  • 02/1996 - 02/1996

    Estágios , Área Técnica, .,Estágio realizado, Informatização de Projetos de Automação Industrial.

  • 01/1995 - 03/1995

    Estágios , Área Técnica, .,Estágio realizado, Projeto de Sistemas de Automação Industrial.

1992 - 1992

Sadia Concórdia S A Ind e Com

Vínculo: Colaborador, Enquadramento Funcional: Estagiário, Carga horária: 40

Atividades

  • 01/1994 - 03/1994

    Estágios , Área Técnica, .,Estágio realizado, Projeto de Sistemas Elétricos e Eletrônicos.

  • 02/1992 - 07/1992

    Estágios , Área Técnica, .,Estágio realizado, Informatização do projeto de Iluminação de interiores.