Follow
Christos Dimoulas
Christos Dimoulas
Verified email at northwestern.edu - Homepage
Title
Cited by
Cited by
Year
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
1192012
Correct blame for contracts: no more scapegoating
C Dimoulas, RB Findler, C Flanagan, M Felleisen
ACM SIGPLAN Notices 46 (1), 215-226, 2011
1012011
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
822012
Complete monitors for behavioral contracts
C Dimoulas, S Tobin-Hochstadt, M Felleisen
European Symposium on Programming, 214-233, 2012
782012
On contract satisfaction in a higher-order world
C Dimoulas, M Felleisen
ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (5), 16, 2011
492011
Declarative policies for capability control
C Dimoulas, S Moore, A Askarov, S Chong
2014 IEEE 27th Computer Security Foundations Symposium, 3-17, 2014
402014
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
322014
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
302017
Future contracts
C Dimoulas, R Pucella, M Felleisen
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009
182009
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
172016
Option contracts
C Dimoulas, RB Findler, M Felleisen
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
152013
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
132013
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
122016
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
122015
Whip: higher-order contracts for modern services
L Waye, S Chong, C Dimoulas
Proceedings of the ACM on Programming Languages 1 (ICFP), 36, 2017
92017
Complete monitors for gradual types
B Greenman, M Felleisen, C Dimoulas
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
52019
Foundations for behavioral higher-order contracts
C Dimoulas
Northeastern University, 2012
42012
The higher-order aggregate update problem
C Dimoulas, M Wand
Verification, Model Checking, and Abstract Interpretation, 44-58, 2009
42009
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
22019
A Transient Semantics for Typed Racket
B Greenman, L Lazarek, C Dimoulas, M Felleisen
arXiv preprint arXiv:2111.10411, 2021
12021
The system can't perform the operation now. Try again later.
Articles 1–20