Charm++ parallel programming system

["Padua, David A" <padua AT illinois.edu>]

 

 

From: Cascaval, Calin <calin.cascaval AT intel.com>
Sent: Thursday, September 26, 2019 7:47 PM
To: Padua, David A <padua AT illinois.edu>
Subject: Re: Compiler students

 

Hi David,

 

…I am looking for all types of candidates. Here is a bit of background on the work and the position requirements. We also have an official job description here: https://barefootnetworks.applytojob.com/apply/zCoPeyyDPg/Software-Engineer-Compilers-And-Tools?referrer=20190212012612SZVSKB1FQLDITEW7.

 

 

 

Background on the compiler

• C++ compiler written from scratch (domain specific).
• Split between an open-source (https://github.com/p4lang/p4c) front/mid-end and a proprietary backend
• Novel and challenging algorithms for resource placement and allocation: PHV, tables, and parser
• The entire P4 program is fully mapped and scheduled by the compiler -- there is no hardware support for any dynamic resource management.

• HW has various constraints that need to be managed by the compiler and ideally hidden from the programmer.

• The compiler supports two language flavors (P4-14 and P4-16) and two Tofino targets (Tofino and Tofino2).
• Language and tools are still evolving. As is the hardware -- opportunity to contribute across the entire software stack.

 

 

---

 

PHD/Experienced Candidate

• Responsible for the definition, design, development, test, debugging, release, enhancement and maintenance of the Tofino family backend compiler for the P4 domain specific language.
• Responsible for both proprietary and open source software development for compilers and tools for programmable network architectures.
• Design and develop tools that enable the P4 ecosystem and networking applications.
• Work with hardware teams to define compilation and optimization algorithms supported by hardware features for the networking domain
• Work with the advanced apps team to capture new domain specific properties that can drive optimization in hardware and compiler
• Contribute to the P4 language design and standardization and enable it to capture the semantics of new networking applications, allowing you to design new compiler optimizations specifically targeted for networking applications.
• Contribute to the technical development of the compiler suite designed for P4 (http://p4.org), a new domain specific language and targets the novel architecture of the fastest networking chip (Tofino)

Requirements:

• PHD in CS/EE or MSEE/CS with 5+ years of experience in a software development position
• Expertise in C++ programming
• Proficiency with code versioning systems (git/github), continuous integration frameworks (Jenkins, Travis), provide code reviews to peers.
• Experience in system software architecture design, implementation and debugging
• Excellent understanding of all aspects of compiler and related development and debugging technologies, especially code generation, program analysis, and pipeline optimizations.
• Strong communication, teamwork and problem solving skills are essential. 

Preferred

• Experience with program synthesis and verification
• Experience with domain specific language design and implementation
• Experience with hardware modeling and simulation tools
• Experience in constraint satisfaction problem solving techniques
• Experience with networking applications is a big plus

 

---

 

Junior Candidate

• Responsible for the development, test, debugging, release, enhancement and maintenance of the Tofino family backend compiler for the P4 domain specific language.
• Responsible for both proprietary and open source software development for compilers and tools for programmable network architectures.
• Contribute to the development of  tools that enable the P4 ecosystem and networking applications.
• Work with hardware teams to implement compilation and optimization algorithms supported by hardware features for the networking domain 
• Work with the advanced apps team to capture new domain specific properties that can drive optimization in hardware and compiler

Requirements:

• MSEE/CS
• Expertise in C++ programming
• Proficiency with code versioning systems (git/github), continuous integration frameworks (Jenkins, Travis), provide code reviews to peers.
• Good understanding of all aspects of compiler and related development and debugging technologies, especially code generation, program analysis, and pipeline optimizations.
• Background in software architecture design, implementation and debugging
• Strong communication, teamwork and problem solving skills are essential. 

Preferred:

• 2 or more years of experience in a software development position 
• Experience with networking applications is a big plus
• Experience with domain specific language design and implementation

 

--

Thanks, Calin