|
🐜
|
StarCoder: may the source be with you!
67 auth.
Raymond Li,
Loubna Ben Allal,
Yangtian Zi,
Niklas Muennighoff,
Denis Kocetkov,
Chenghao Mou,
Marc Marone,
Christopher Akiki,
Jia Li,
Jenny Chim,
Qian Liu,
Evgenii Zheltonozhskii,
Terry Yue Zhuo,
Thomas Wang,
Olivier Dehaene,
...
Mishig Davaadorj,
J. Lamy-Poirier,
João Monteiro,
Oleh Shliazhko,
Nicolas Gontier,
Nicholas Meade,
A. Zebaze,
Ming-Ho Yee,
Logesh Kumar Umapathi,
Jian Zhu,
Benjamin Lipkin,
Muhtasham Oblokulov,
Zhiruo Wang,
Rudra Murthy,
J. Stillerman,
S. Patel,
Dmitry Abulkhanov,
Marco Zocca,
Manan Dey,
Zhihan Zhang,
N. Fahmy,
Urvashi Bhattacharyya,
W. Yu,
Swayam Singh,
Sasha Luccioni,
Paulo Villegas,
M. Kunakov,
Fedor Zhdanov,
Manuel Romero,
Tony Lee,
Nadav Timor,
Jennifer Ding,
Claire Schlesinger,
Hailey Schoelkopf,
Jana Ebert,
Tri Dao,
Mayank Mishra,
A. Gu,
Jennifer Robinson,
Carolyn Jane Anderson,
Brendan Dolan-Gavitt,
Danish Contractor,
Siva Reddy,
Daniel Fried,
Dzmitry Bahdanau,
Yacine Jernite,
Carlos Muñoz Ferrandis,
Sean M. Hughes,
Thomas Wolf,
Arjun Guha,
L. V. Werra,
H. D. Vries
|
9 |
2023 |
9
🐜
|
|
🐜
|
NetKAT: semantic foundations for networks
7 auth.
Carolyn Jane Anderson,
Nate Foster,
Arjun Guha,
Jean-Baptiste Jeannin,
D. Kozen,
Cole Schlesinger,
...
D. Walker
|
8 |
2014 |
8
🐜
|
|
🐬
|
Participatory networking: an API for application control of SDNs
Andrew D. Ferguson,
Arjun Guha,
Chen Liang,
Rodrigo Fonseca,
S. Krishnamurthi
|
8 |
2013 |
8
🐬
|
|
🦁
|
The Essence of JavaScript
Arjun Guha,
Claudiu Saftoiu,
S. Krishnamurthi
|
7 |
2010 |
7
🦁
|
|
🐬
|
FatTire: declarative fault tolerance for software-defined networks
Mark Reitblatt,
Marco Canini,
Arjun Guha,
Nate Foster
|
7 |
2013 |
7
🐬
|
|
🐜
|
Languages for software-defined networks
12 auth.
Nate Foster,
Arjun Guha,
Mark Reitblatt,
A. Story,
M. Freedman,
N. Katta,
...
Christopher Monsanto,
Joshua Reich,
J. Rexford,
Cole Schlesinger,
D. Walker,
R. Harrison
|
7 |
2013 |
7
🐜
|
|
🐜
|
SantaCoder: don't reach for the stars!
41 auth.
Loubna Ben Allal,
Raymond Li,
Denis Kocetkov,
Chenghao Mou,
Christopher Akiki,
Carlos Muñoz Ferrandis,
Niklas Muennighoff,
Mayank Mishra,
A. Gu,
Manan Dey,
Logesh Kumar Umapathi,
Carolyn Jane Anderson,
Yangtian Zi,
J. Poirier,
Hailey Schoelkopf,
...
S. Troshin,
Dmitry Abulkhanov,
M. Romero,
M. Lappert,
F. Toni,
Bernardo Garc'ia del R'io,
Qian Liu,
Shamik Bose,
Urvashi Bhattacharyya,
Terry Yue Zhuo,
I. Yu,
Paulo Villegas,
Marco Zocca,
Sourab Mangrulkar,
D. Lansky,
Huu Nguyen,
Danish Contractor,
Luisa Villa,
Jia Li,
Dzmitry Bahdanau,
Yacine Jernite,
S. Hughes,
Daniel Fried,
Arjun Guha,
H. D. Vries,
L. V. Werra
|
7 |
2023 |
7
🐜
|
|
🦁
|
Verified Security for Browser Extensions
Arjun Guha,
Matt Fredrikson,
B. Livshits,
Nikhil Swamy
|
7 |
2011 |
7
🦁
|
|
🐬
|
Not So Fast: Analyzing the Performance of WebAssembly vs. Native Code
Abhinav Jangda,
Bobby Powers,
Arjun Guha,
E. Berger
|
7 |
2019 |
7
🐬
|
|
🐜
|
MultiPL-E: A Scalable and Polyglot Approach to Benchmarking Neural Code Generation
13 auth.
Federico Cassano,
John Gouwar,
Daniel Nguyen,
S. Nguyen,
Luna Phipps-Costin,
Donald Pinckney,
Ming-Ho Yee,
Yangtian Zi,
Carolyn Jane Anderson,
Molly Q. Feldman,
...
Arjun Guha,
Michael Greenberg,
Abhinav Jangda
|
6 |
2023 |
6
🐜
|
|
🦁
|
Machine-verified network controllers
Arjun Guha,
Mark Reitblatt,
Nate Foster
|
6 |
2013 |
6
🦁
|
