Travelled to:1 × Turkey
3 × USA
Collaborated with:K.Maillard B.C.Pierce A.Rastogi N.Swamy D.Ahman J.Hughes L.Lampropoulos A.A.d.Amorim G.M.Bierman A.D.Gordon D.E.Langworthy C.Fournet E.Rivas Antoine Van Muylder A.DeHon G.Martínez J.Protzenko Diane Gallois-Wong L.Xia A.Spector-Zabusky D.Vytiniotis G.D.Plotkin U.Dhawan R.Rubin N.Vasilakis S.Chiricescu J.M.Smith T.F.K.Jr. N.Collins D.Demange D.Pichardie R.Pollack A.Tolmach C.Keller Antoine Delignat-Lavaud Simon Forest K.Bhargavan P.Strub Markulf Kohlweiss Jean Karim Zinzindohoue S.Z.Béguelin V.Dumitrescu N.Giannarakis C.Hawblitzel M.Narasimhamurthy Z.Paraskevopoulou C.Pit-Claudel T.Ramananandro
Talks about:architectur (2) monad (2) smt (2) noninterfer (1) metaprogram (1) properti (1) metadata (1) dijkstra (1) support (1) softwar (1)
Person: Catalin Hritcu
DBLP: Hritcu:Catalin
Contributed to:
2015
2014
20132010
20192016201720182020Wrote 10 papers:
- ASPLOS-2015-DhawanHRVCSKPD #architecture #metadata
- Architectural Support for Software-Defined Metadata Processing (UD, CH, RR, NV, SC, JMS, TFKJ, BCP, AD), pp. 487–502.
- POPL-2014-AmorimCDDHPPPT #architecture #data flow
- A verified information-flow architecture (AAdA, NC, AD, DD, CH, DP, BCP, RP, AT), pp. 165–178.
- ICFP-2013-HritcuHPSVAL #testing
- Testing noninterference, quickly (CH, JH, BCP, ASZ, DV, AAdA, LL), pp. 455–468.
- ICFP-2010-BiermanGHL #semantics #smt #type system
- Semantic subtyping with an SMT solver (GMB, ADG, CH, DEL), pp. 105–116.
- 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.
- 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-2017-LampropoulosGHH #generative
- Beginner's luck: a language for property-based generators (LL, DGW, CH, JH, BCP, LyX), pp. 114–129.
- POPL-2018-AhmanFHMRS
- Recalling a witness: foundations and applications of monotonic state (DA, CF, CH, KM, AR, NS), p. 30.
- POPL-2020-MaillardHRM #logic #relational
- The next 700 relational program logics (KM, CH, ER, AVM), p. 33.