This resume is for Krisstell Bonilla. She received a B.S. in Software Engineering from the University of Texas at Dallas in 2007. Her experience includes firmware test and QA engineering roles at IBM and HP, where she performed tasks such as developing test plans, executing test cases, identifying defects, and collaborating with teams. She also has experience in software engineering, developing systems BIOS code and network drivers. Her skills include programming languages like C, C++, and Python as well as operating systems like Linux, Windows, and Mac OS X.
GPCE16: Automatic Non-functional Testing of Code Generators FamiliesMohamed BOUSSAA
The intensive use of generative programming techniques provides an elegant engineering solution to deal with the heterogeneity of platforms and technological stacks. The use of domain-specific languages for example, leads to the creation of numerous code generators that automatically translate high-level system specifications into multi-target executable code. Producing correct and efficient code generator is complex and error-prone. Although software designers provide generally high-level test suites to verify the functional outcome of generated code, it remains challenging and tedious to verify the behavior of produced code in terms of non-functional properties. This paper describes a practical approach based on a runtime monitoring infrastructure to automatically check the potential inefficient code generators. This infrastructure, based on system containers as execution platforms, allows code-generator developers to evaluate the generated code performance. We evaluate our approach by analyzing the performance of Haxe, a popular high-level programming language that involves a set of cross-platform code generators. Experimental results show that our approach is able to detect some performance inconsistencies that reveal real issues in Haxe code generators.
Challenges operating and scaling GrapheneDB by Francisco Fernandez J On The Beach
GrapheneDB is a DaaS (database as a service) that hosts Neo4j databases. In this talk we will explore how we manage our service to achieve high reliability and performance. We use a wide variety of tools, from Rust to Akka, always using the one that fits better with our problems and use cases.We are faced with many challenges related to scale both technically and as an organization
GPCE16: Automatic Non-functional Testing of Code Generators FamiliesMohamed BOUSSAA
The intensive use of generative programming techniques provides an elegant engineering solution to deal with the heterogeneity of platforms and technological stacks. The use of domain-specific languages for example, leads to the creation of numerous code generators that automatically translate high-level system specifications into multi-target executable code. Producing correct and efficient code generator is complex and error-prone. Although software designers provide generally high-level test suites to verify the functional outcome of generated code, it remains challenging and tedious to verify the behavior of produced code in terms of non-functional properties. This paper describes a practical approach based on a runtime monitoring infrastructure to automatically check the potential inefficient code generators. This infrastructure, based on system containers as execution platforms, allows code-generator developers to evaluate the generated code performance. We evaluate our approach by analyzing the performance of Haxe, a popular high-level programming language that involves a set of cross-platform code generators. Experimental results show that our approach is able to detect some performance inconsistencies that reveal real issues in Haxe code generators.
Challenges operating and scaling GrapheneDB by Francisco Fernandez J On The Beach
GrapheneDB is a DaaS (database as a service) that hosts Neo4j databases. In this talk we will explore how we manage our service to achieve high reliability and performance. We use a wide variety of tools, from Rust to Akka, always using the one that fits better with our problems and use cases.We are faced with many challenges related to scale both technically and as an organization
Death to project documentation with eXtreme ProgrammingAlex Fernandez
How to connect the agile principle "Working software over comprehensive documentation" with eXtreme Programming values of Honest communication and Rapid feedback and practices as TDD, Continuous integration, Whole team and Small releases.
We will analyze why blending those ideas and techniques together in the real world, remove any need of upfront documentation and increases quality, communication and confidence.
Death to project documentation with eXtreme ProgrammingAlex Fernandez
How to connect the agile principle "Working software over comprehensive documentation" with eXtreme Programming values of Honest communication and Rapid feedback and practices as TDD, Continuous integration, Whole team and Small releases.
We will analyze why blending those ideas and techniques together in the real world, remove any need of upfront documentation and increases quality, communication and confidence.
1. Krisstell Bonilla
| Phone:(832) 229-4993 |Email:krisstell.bonilla@gmail.com|in/krisstellbonilla |
EDUCATION:
University of Texas at Dallas ‘07
B.S. Software Engineering, Cum Laude
EXPERIENCE:
IBM via Computer Task Group (CTG) | Jun 2014 - Apr 2016
Firmware Test/QA Engineer, IBM Systems
❏ Organized and executed driver test cases on P7/P8 servers, logging defects as issues arose
❏ Collaborated with team members through Gerrit web-based code review to develop python
scripts for automation
❏ Delegated tasks to fellow team members to complete firmware testing tasks such as cable
validation and code update
❏ Provided and organized test plans and tracked testing progress
Hewlett-Packard (Houston, TX) | Apr 2008 - Apr 2014
System/Software Test Engineer, NSP & SFT
❏ Functionally tested/QA’d network drivers/FW across Windows, Linux, VMware OSes
❏ Coordinated and mentored offshore and onsite QA Houston and Taiwan teams
❏ Configured sustaining test server setups for overseas team
❏ Created and maintained test plans with dynamic metrics customized to NSP’s releases as
periodic guideline for team
Linux Networking Software Engineer
❏ Integrated vendor network drivers and NIC firmware into HP smart component package.
❏ Identified and resolved Linux NIC firmware update tool and network driver issues with vendors
System/Software Engineer
❏ Developed system BIOS code for HP Business Desktop products in assembly
❏ Initiated and worked through transition from development in assembly to C when shifting to
UEFI BIOS
❏ Worked with R&D teams to debug and resolve BIOS/Hardware/Software interface issues
❏ Developed test plans and procedures for ODMs and peers
Cisco-Linksys (Richardson, TX) | Jan 2007 - Dec 2007
College Intern - Linksys One OAMP - Operations Administration Maintenance & Provisioning
❏ Collaborated with senior engineers to program for the Linksys One product line
❏ Fixed and enhanced unit test tools involving PHP, C/C++, bash shell scripts in Linux environment
❏ Developed C/C++ code evaluation tool in Linux environment using Standard Template Library
(STL) maps
❏ Executed and debugged sanity quality assurance tests involving batch and PERL scripts in
Windows
❏ Created C++ tool to provide test tools the ability to access/execute commands through sockets
IBM| Jan 2005 - Aug 2005
Co-op Pre-Professional Engineer - Global Firmware Test and Simulation
❏ Conducted automated driver verification tests on I-series/P-series servers, logged and
maintained relevant defects
❏ Maintained Perl code/cgi-scripts necessary to keep N-test website up to date
❏ Created instructional documents for future co-ops/co-workers to follow test scenarios
❏ Logged and communicated firmware issues between Austin and Rochester MN sites
❏ Facilitated one-week IBM EXITE Camp as a mentor to middle school girls (Exploring Interests in
Technology & Engineering) to build and program LEGO MindStorms Robots with RoboLab
ABOUT ME:
Profile:
Cooperative team player
with a penchant for problem
solving and troubleshooting
in fast-paced technical
environments. Key areas of
expertise include software
development, testing,
planning, debugging, and
defect logging, application
and systems QA, data QA,
and firmware testing and
automation.
Awards & Honors:
❏ Most Valuable Player
October 2015, CTG
❏ National Science
Foundation's Computer
Science, Engineering, &
Mathematics Scholarship
Recipient, Awarded by
University of Texas at
Dallas
❏ Eta Kappa Nu – National
Electrical Engineering
Honor Society
❏ Golden Key International
Honor Society
❏ Phi Theta Kappa Honor
Society
Skills & Tech:
❏ UNIX
❏ Linux
❏ Mac OS X
❏ Windows
❏ MS-DOS
❏ AIX
❏ C
❏ C++
❏ Python
❏ PHP
❏ Shell
❏ HTML
❏ MATLAB
❏ prolog
❏ JFLAP
❏ Gerrit