Christos Dimoulas

Citat de

	Toate	Din 2020
Referințe bibliografice	853	311
h-index	15	11
i10-index	19	14

20102011201220132014201520162017201820192020202120222023202420253 11 39 28 56 76 76 73 70 87 38 55 52 63 90 13

Acces public

Afișați-le pe toate

11 articole

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

Matthias FelleisenTrustee Professor of Computer Science, Northeastern UniversityAdresă de e-mail confirmată pe felleisen.org
Robert Bruce FindlerNorthwestern UniversityAdresă de e-mail confirmată pe cs.northwestern.edu
Stephen ChongHarvard UniversityAdresă de e-mail confirmată pe seas.harvard.edu
Sam Tobin-HochstadtAssociate Professor, Indiana UniversityAdresă de e-mail confirmată pe cs.indiana.edu
Scott MooreGalois, Inc.Adresă de e-mail confirmată pe galois.com
Ben GreenmanUniversity of UtahAdresă de e-mail confirmată pe cs.utah.edu
Matthew FlattProfessor, School of Computing, University of UtahAdresă de e-mail confirmată pe cs.utah.edu
Jay McCarthyAssociate Professor of Computer Science, UMass LowellAdresă de e-mail confirmată pe cs.uml.edu
John ClementsProfessor of Computer Science, Cal Poly State UniversityAdresă de e-mail confirmată pe calpoly.edu
Aslan AskarovAssociate Professor at Aarhus UniversityAdresă de e-mail confirmată pe cs.au.dk
Cormac FlanaganProfessor of Computer Science, University of California Santa CruzAdresă de e-mail confirmată pe ucsc.edu
Amal AhmedNortheastern UniversityAdresă de e-mail confirmată pe ccs.neu.edu
Daniel PattersonAssistant Teaching Professor, Northeastern UniversityAdresă de e-mail confirmată pe dbpmail.net
Max S. NewAssistant Professor, University of MichiganAdresă de e-mail confirmată pe umich.edu
Lucas WayeMetaAdresă de e-mail confirmată pe fb.com
Mitchell WandProfessor of Computer Science, Northeastern UniversityAdresă de e-mail confirmată pe ccs.neu.edu
Jason HartlineProfessor of Computer Science, Northwestern U.Adresă de e-mail confirmată pe northwestern.edu
Chenhao ZhangPhD Student, Northwestern UniversityAdresă de e-mail confirmată pe u.northwestern.edu
Ezra ZigmondHarvard UniversityAdresă de e-mail confirmată pe college.harvard.edu
Aleksandar KuzmanovicProfessor of Computer Science, Northwestern UniversityAdresă de e-mail confirmată pe northwestern.edu

Urmăriți

Christos Dimoulas

PLT @ Northwestern University

Adresă de e-mail confirmată pe northwestern.edu - Pagina de pornire

Programming Languages


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
Run your research: on the effectiveness of lightweight mechanization C Klein, J Clements, C Dimoulas, C Eastlund, M Felleisen, M Flatt, ... ACM SIGPLAN Notices 47 (1), 285-296, 2012	146	2012
Correct blame for contracts: no more scapegoating C Dimoulas, RB Findler, C Flanagan, M Felleisen ACM SIGPLAN Notices 46 (1), 215-226, 2011	116	2011
Gradual typing for first-class classes A Takikawa, TS Strickland, C Dimoulas, S Tobin-Hochstadt, M Felleisen ACM SIGPLAN Notices 47 (10), 793-810, 2012	95	2012
Complete monitors for behavioral contracts C Dimoulas, S Tobin-Hochstadt, M Felleisen European Symposium on Programming, 214-233, 2012	93	2012
On contract satisfaction in a higher-order world C Dimoulas, M Felleisen ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (5), 16, 2011	57	2011
Declarative policies for capability control C Dimoulas, S Moore, A Askarov, S Chong 2014 IEEE 27th Computer Security Foundations Symposium, 3-17, 2014	43	2014
FunTAL: Reasonably mixing a functional language with assembly D Patterson, J Perconti, C Dimoulas, A Ahmed ACM SIGPLAN Conference on Programming Language Design and Implementation …, 2017	42	2017
SHILL: a secure shell scripting language S Moore, C Dimoulas, D King, S Chong Proceedings of the 11th USENIX conference on Operating Systems Design and …, 2014	37	2014
Oh Lord, please don't let contracts be misunderstood (functional pearl) C Dimoulas, MS New, RB Findler, M Felleisen Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016	32	2016
Extensible access control with authorization contracts S Moore, C Dimoulas, RB Findler, M Flatt, S Chong Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016	22	2016
Whip: higher-order contracts for modern services L Waye, S Chong, C Dimoulas Proceedings of the ACM on Programming Languages 1 (ICFP), 36, 2017	19	2017
Option contracts C Dimoulas, RB Findler, M Felleisen Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013	19	2013
Future contracts C Dimoulas, R Pucella, M Felleisen Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009	19	2009
How to evaluate blame for gradual types L Lazarek, B Greenman, M Felleisen, C Dimoulas Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021	15	2021
Complete monitors for gradual types B Greenman, M Felleisen, C Dimoulas Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019	15	2019
Contracts for First-Class Classes TS Strickland, C Dimoulas, A Takikawa, M Felleisen ACM Transactions on Programming Languages and Systems (TOPLAS) 35 (3), 11, 2013	13	2013
Cryptographic enforcement of language-based information erasure A Askarov, S Moore, C Dimoulas, S Chong 2015 IEEE 28th Computer Security Foundations Symposium, 334-348, 2015	12	2015
A Transient Semantics for Typed Racket. B Greenman, L Lazarek, C Dimoulas, M Felleisen Art Sci. Eng. Program. 6 (2), 9, 2022	11	2022
Does blame shifting work? L Lazarek, A King, S Sundar, RB Findler, C Dimoulas Proceedings of the ACM on Programming Languages 4 (POPL), 1-29, 2019	11	2019
Typed–Untyped Interactions: A Comparative Analysis B Greenman, C Dimoulas, M Felleisen ACM Transactions on Programming Languages and Systems 45 (1), 1-54, 2023	6	2023

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori