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 Engenharia Elétrica
1993 - 1998
Universidade Federal de Santa Maria
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Razoavelmente.
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 HeightsVínculo: "Full-time thesis student", Enquadramento Funcional: Pesquisador, Carga horária: 40
2005 - 2005
Bell Laboratories ResearchVínculo: Pesquisador, Enquadramento Funcional: Pesquisador, Carga horária: 40
1998 - 1999
Universidade Federal do Rio Grande do SulVí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 MariaVí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 LtdaVí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 ComVí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.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Márcio de Oliveira Buss e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?