Följ
Christos Dimoulas
Christos Dimoulas
Verifierad e-postadress på northwestern.edu - Startsida
Titel
Citeras av
Citeras av
År
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
1422012
Correct blame for contracts: no more scapegoating
C Dimoulas, RB Findler, C Flanagan, M Felleisen
ACM SIGPLAN Notices 46 (1), 215-226, 2011
1092011
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
902012
Complete monitors for behavioral contracts
C Dimoulas, S Tobin-Hochstadt, M Felleisen
European Symposium on Programming, 214-233, 2012
882012
On contract satisfaction in a higher-order world
C Dimoulas, M Felleisen
ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (5), 16, 2011
542011
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
402017
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
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
252016
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
212016
Future contracts
C Dimoulas, R Pucella, M Felleisen
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of …, 2009
192009
Option contracts
C Dimoulas, RB Findler, M Felleisen
Proceedings of the 2013 ACM SIGPLAN international conference on Object …, 2013
182013
Whip: higher-order contracts for modern services
L Waye, S Chong, C Dimoulas
Proceedings of the ACM on Programming Languages 1 (ICFP), 36, 2017
142017
Complete monitors for gradual types
B Greenman, M Felleisen, C Dimoulas
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
132019
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
132015
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
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
102021
A Transient Semantics for Typed Racket.
B Greenman, L Lazarek, C Dimoulas, M Felleisen
Art Sci. Eng. Program. 6 (2), 9, 2022
72022
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
72019
The higher-order aggregate update problem
C Dimoulas, M Wand
Verification, Model Checking, and Abstract Interpretation, 44-58, 2009
52009
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20