Shu-Chun Weng

According to our database1, Shu-Chun Weng authored at least 12 papers between 2007 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
DeepSEA: a language for certified system software.
Proc. ACM Program. Lang., 2019

2017
Towards automatic resource bound analysis for OCaml.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2015
Deep Specifications and Certified Abstraction Layers.
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

A Compositional Semantics for Verified Separate Compilation and Linking.
Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2014
Fast Distributed Transactions and Strongly Consistent Replication for OLTP Database Systems.
ACM Trans. Database Syst., 2014

Security Analysis of Accountable Anonymity in Dissent.
ACM Trans. Inf. Syst. Secur., 2014

2012
Efficient system-enforced deterministic parallelism.
Commun. ACM, 2012

Calvin: fast distributed transactions for partitioned database systems.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2012

2011
Side-effect localization for lazy, purely functional languages via aspects.
High. Order Symb. Comput., 2011

2010
Type-directed weaving of aspects for polymorphically typed functional languages.
Sci. Comput. Program., 2010

2009
Designing aspects for side-effect localization.
Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2009

2007
A Compilation Model for Aspect-Oriented Polymorphically Typed Functional Languages.
Proceedings of the Static Analysis, 14th International Symposium, 2007


  Loading...