Travelled to:1 × India
2 × USA
Collaborated with:N.Swamy C.Fournet C.Hritcu D.Ahman G.M.Bierman A.Chaudhuri B.Hosmer K.Maillard N.Giannarakis C.Hawblitzel K.Bhargavan P.Strub G.Martínez J.Protzenko P.Vekris Aymeric Fromherz B.Parno J.Chen Suvam Mukherjee Nitin John Raj Krishnan Govindraj P.Deligiannis Chandramouleswaran Ravichandran A.Lal Raja Krishnaswamy G.D.Plotkin C.Keller Antoine Delignat-Lavaud Simon Forest Markulf Kohlweiss Jean Karim Zinzindohoue S.Z.Béguelin V.Dumitrescu M.Narasimhamurthy Z.Paraskevopoulou C.Pit-Claudel T.Ramananandro
Talks about:type (5) gradual (3) reliabl (2) verifi (2) effici (2) state (2) monad (2) embed (2) metaprogram (1) javascript (1)
Person: Aseem Rastogi
DBLP: Rastogi:Aseem
Contributed to:
201520142012
2019
20192016201720182019Wrote 9 papers:
- POPL-2015-RastogiSFBV #performance #type system #typescript
- Safe & Efficient Gradual Typing for TypeScript (AR, NS, CF, GMB, PV), pp. 167–180.
- POPL-2014-SwamyFRBCSB #embedded #javascript #type system
- Gradual typing embedded securely in JavaScript (NS, CF, AR, KB, JC, PYS, GMB), pp. 425–438.
- POPL-2012-RastogiCH #type inference
- The ins and outs of gradual type inference (AR, AC, BH), pp. 481–494.
- ESOP-2019-MartinezADGHHNP #automation #metaprogramming #proving #smt
- Meta-F* : Proof Automation with SMT, Tactics, and Metaprograms (GM, DA, VD, NG, CH, CH, MN, ZP, CPC, JP, TR, AR, NS), pp. 30–59.
- ECOOP-2019-MukherjeeRGDRLR #framework #programming #reliability #state machine
- Reliable State Machines: A Framework for Programming Reliable Cloud Services (SM, NJR, KG, PD, CR, AL, AR, RK), p. 29.
- POPL-2016-SwamyHKRDFBFSKZ #dependent type #multi
- Dependent types and multi-monadic effects in F (NS, CH, CK, AR, ADL, SF, KB, CF, PYS, MK, JKZ, SZB), pp. 256–270.
- POPL-2017-AhmanHMMPPRS #for free #monad
- Dijkstra monads for free (DA, CH, KM, GM, GDP, JP, AR, NS), pp. 515–529.
- POPL-2018-AhmanFHMRS
- Recalling a witness: foundations and applications of monotonic state (DA, CF, CH, KM, AR, NS), p. 30.
- POPL-2019-FromherzGHPRS #assembly #performance
- A verified, efficient embedding of a verifiable assembly language (AF, NG, CH, BP, AR, NS), p. 30.