Question: What is the name of the Adult Swim pilot that was created by Aaron Springer and directed by Genndy Tartakovsky?

full_context: Document 1: Brian A. Miller: Brian A. Miller is an American television producer and the current Senior Vice President and General Manager of Cartoon Network Studios in Burbank, California, having assumed the title in 2000. He was formerly Vice President of Production at Nickelodeon Animation Studio, Vice President of Production at Hanna-Barbera, and Vice President of Production at DIC Entertainment. He also served as a production supervisor for "Alvin and the Chipmunks". He was also the executive in charge of production for various shows in the 1990s and early 2000s such as "Dexter's Laboratory", "CatDog", "Hey Arnold!", "The Angry Beavers", "ChalkZone", "", "The Powerpuff Girls", "Captain Planet and the Planeteers", "Adventures of Sonic the Hedgehog", "Cow and Chicken", "Johnny Bravo", and the first season of "SpongeBob SquarePants".
Document 2: Regular Show (season 7): The seventh season of the American animated comedy television series "Regular Show", created by J. G. Quintel, originally aired on Cartoon Network in the United States. Quintel originally created the series' pilot using characters from his comedy shorts for the cancelled anthology series "The Cartoonstitute". He developed "Regular Show" from his own experiences in college, while several of its main characters originated from his animated shorts "The Naïve Man from Lolliland" and "2 in the AM PM". He himself voices one of the main characters in the show, "Mordecai", a blue jay. The series was renewed for a seventh season at the 2014 San Diego Comic-Con International on July 25, 2014. The previous season contained 31 episodes in order to accommodate for the and this season will contain the normal 40 episodes from the previous seasons. However, it was technically 39 episodes because the last episode of the season was used for the five shorts which were broadcast on Cartoon Network in March and April 2016. Therefore, the five shorts took up one production code for the 40 episodes.
Document 3: Gravity Falls: Gravity Falls is an American animated television series produced by Disney Television Animation originally for Disney Channel (and then later for Disney XD) from June 15, 2012 to February 15, 2016.
Document 4: Genndy Tartakovsky: Genndy Tartakovsky ( ; born Gennady Borisovich Tartakovsky, Russian: Геннадий Борисович Тартаковский ; January 17, 1970) is a Russian–American animator, director, storyboard artist, producer, and screenwriter. He is best known for creating the Cartoon Network animated television series "Dexter's Laboratory", "Samurai Jack", and "."
Document 5: List of Dexter's Laboratory episodes: "Dexter's Laboratory" is an American animated television series created by Genndy Tartakovsky for Cartoon Network. Initially debuting on February 26, 1995, as a seven-minute "World Premiere Toons" pilot, it was expanded into a full series after gaining network approval. The first season, which consists of 13 episodes divided into three segments each, premiered on TNT on March 24, 1996, and TBS on April 14, 1996 and later Cartoon Network on April 28. A second season of 39 episodes followed in 1997. In this season, Allison Moore, the voice actor for Dee Dee, was replaced by Kathryn Cressida. "Last but Not Beast", the second-season finale, was originally supposed to conclude the series in 1998. However, Tartakovsky directed a television movie titled "" which aired on Cartoon Network on December 10, 1999. He left the series after the movie, focusing on his other projects, "Samurai Jack" and "".
Document 6: Samurai Jack: Samurai Jack is an American action-adventure animated television series created by Genndy Tartakovsky for Cartoon Network. The series follows "Jack", an unnamed samurai sent through time to a dystopian future ruled by the tyrannical shape-shifting demon Aku. Jack quests to travel back in time and defeat Aku before he can take over the world. The series premiered on August 10, 2001, with a TV movie called "The Premiere Movie", before ending in its fourth season on September 25, 2004, without concluding the story. A revival was produced twelve years later, resulting in a fifth season that concluded the series. The fifth season premiered on Adult Swim's Toonami block on March 11, 2017, and the series finale aired on May 20, 2017. A remastered version of "The Premiere Movie" is set to receive a special theatrical release on October 16, 2017; prior to "Samurai Jack: The Complete Series" being released on Blu-ray and Digital HD on October 17, 2017, contains remastered versions of the first four seasons of the series.
Document 7: SpongeBob SquarePants: SpongeBob SquarePants is an American animated television series created by marine biologist and animator Stephen Hillenburg for Nickelodeon. The series chronicles the adventures and endeavors of the title character and his various friends in the fictional underwater city of Bikini Bottom. The series' popularity has made it a media franchise, as well as the highest rated series to ever air on Nickelodeon, and the most distributed property of MTV Networks. As of 2015, the media franchise has generated $12 billion in merchandising revenue for Nickelodeon.
Document 8: SpongeBob SquarePants (season 9): The ninth season of the American animated television series "SpongeBob SquarePants", created by former marine biologist and animator Stephen Hillenburg, originally aired on Nickelodeon in the United States from July 21, 2012 to February 20, 2017, and contained 26 episodes, beginning with the episode "Extreme Spots"/"Squirrel Record". The series chronicles the exploits and adventures of the title character and his various friends in the fictional underwater city of Bikini Bottom. The season was executive produced by series creator Stephen Hillenburg and writer Paul Tibbitt, who also acted as the showrunner for the first 15 episodes of the season. Supervising producers Marc Ceccarelli and Vincent Waller acted as the showrunners for the remainder of the season.
Document 9: Billy Dilley's Super-Duper Subterranean Summer: Billy Dilley's Super-Duper Subterranean Summer (also known as Billy Dilley) is an American animated television series created and executive-produced by Aaron Springer, an animation veteran whose extensive credits include working on "Dexter's Laboratory", "SpongeBob SquarePants", "Samurai Jack", "The Grim Adventures of Billy & Mandy", "Gravity Falls", "Wander Over Yonder", and the current run of "Mickey Mouse" shorts. Springer was also behind the Cartoon Network pilots "Periwinkle Around the World" and "Baloobaloob's Fun Park", and the Adult Swim pilot "Korgoth of Barbaria". The show premiered on Disney XD on June 3, 2017.
Document 10: The Cartoonstitute: The Cartoonstitute was a planned Cartoon Network project created by Cartoon Network's executive Rob Sorcher that would have been a showcase for animated shorts created without the interference of network executives and focus testing. It was headed by Craig McCracken (creator of "The Powerpuff Girls", "Foster's Home for Imaginary Friends", and "Wander Over Yonder") and Rob Renzetti (creator of "My Life as a Teenage Robot"). 39 shorts for the project were in development at Cartoon Network Studios, but only 14 of these were completed. Eventually, balancing 5 upcoming shows and adding another proved difficult and the project was scrapped. Of the shorts which were made, only "Regular Show" and "Uncle Grandpa" have been greenlit to become animated series (the latter was initially greenlit as "Secret Mountain Fort Awesome", before becoming a series of its own). On May 7, 2010, Cartoon Network uploaded nearly all of the shorts to their website. The only shorts not uploaded were "Maruined", "3 Dog Band", and "Joey to the World".
Document 11: Andrew Overtoom: Andrew Overtoom is an American animation director, writer and photographer/cinematographer best known for his work on the Disney animated television series Billy Dilley where he was a Writer and Animation Supervisor for Creator/ Executive Producer Aaron Springer and Supervising Producer Clayton Morrow, as well as the Nickelodeon animated television series "SpongeBob SquarePants" for which he was nominated for the Emmy Awards in 2004, 2007 and 2011. "My Life with Morrissey" is his award winning first feature film, which he wrote, directed and photographed, and is distributed by MVD
Document 12: The Grim Adventures of Billy &amp; Mandy: The Grim Adventures of Billy & Mandy (also known as Billy & Mandy) is an American animated television series created by Maxwell Atoms for Cartoon Network, and is the 14th of the network's Cartoon Cartoons (albeit on when it was part of "Grim & Evil", due to the "Cartoon Cartoons" brand being temporarily discontinued earlier in June 2003; the show itself is considered by some to still be a "Cartoon Cartoon" show regardless). It follows two children named Billy—a slow-witted boy—and Mandy—the cynical best friend—who, after winning a limbo game to save Billy's pet hamster, gain the mighty Grim Reaper as their best friend in eternal servitude and slavery.
Document 13: Superjail!: Superjail! is an American animated television series produced by Augenblick Studios in its first season, and by Titmouse, Inc. in its second, third, and fourth seasons. A fourth season was confirmed on the Twitter page of David Wain, who voices the character of the Warden. The series follows the events that take place in an unusual prison. The pilot episode aired on television on May 13, 2007, and its first season began on September 28, 2008 on Adult Swim. "Superjail!" is characterized by its psychedelic shifts in setting and plot and extreme graphic violence, which give the series a TV-MA-V (for graphic violence, including scenes of bloodshed, dismemberment, torture, and extreme cruelty) rating. These elements are depicted through highly elaborate animated sequences, which have been described as "Baroque and complicated and hard to take in at a single viewing". On October 30, 2015, Titmouse confirmed at their panel at Comikaze Expo that "Superjail!" had been cancelled by drawing it along with previously cancelled shows like "Motorcity", "", and "Metalocalypse". The series was the creation of Christy Karacas, who was a member of the band Cheeseburger, and also directed "Robotomy" for Cartoon Network, Stephen Warbrick, who was originally a digital artist on MTV's "Celebrity Deathmatch" and was also an animatic artist at Blue Sky Studios, and Ben Gruber, who originally wrote for Ultracity 6060 on MTV's "Cartoon Sushi", and would also later write for shows like "Teen Titans Go!", "Breadwinners", and "SpongeBob SquarePants".
Document 14: Korgoth of Barbaria: Korgoth of Barbaria is a pilot episode for what was originally planned as an American animated television series created by Aaron Springer, a storyboard artist, writer and director for "Dexter's Laboratory", "The Grim Adventures of Billy & Mandy", "Samurai Jack", and "SpongeBob SquarePants", who previously created another failed pilot at Cartoon Network Studios called "Periwinkle Around the World", and is now the creator of "Billy Dilley's Super-Duper Subterranean Summer" on Disney XD. Genndy Tartakovsky, creator of "Dexter's Laboratory" and "Samurai Jack", directed the animation for the pilot, and was not the only time he's worked on a pilot created by Springer, as Tartakovsky also produced and directed "Periwinkle Around the World".
Document 15: Aaron Springer: Aaron Springer (born September 5, 1973) is an American cartoon director and storyboard artist. He is best known for his work on the Nickelodeon animated series "SpongeBob SquarePants". Springer has collaborated with various animation veterans such as Genndy Tartakovsky, Paul Rudish, Rumen Petkov, Stephen Hillenburg and John Kricfalusi. He created numerous pilots for Cartoon Network and Adult Swim that, although never made into full series, have developed cult followings. Springer's cartoons are unique for their inclusion of extended gags, anthropomorphism and off-model poses. He is also the creator of the Disney XD original series "Billy Dilley's Super-Duper Subterranean Summer", where he voiced the main character Billy Dilley.
ground_truth: Korgoth of Barbaria